Files

tfg_pasto_pellicer_paula.pdf (903.85 KB)

Document type

Bachelor thesis

Publication date

2022-06-13

Publication license

cc-by-nc-nd (c) Paula Pastó Pellicer, 2022
Please use this identifier to cite or link to this item: https://hdl.handle.net/2445/192141

Veritats aritmètiques indemostrables en l'aritmètica de Peano

Journal Title

Authors

Director/Tutor

Journal ISSN

Volume Title

Related resource

Abstract

[en] Peano’s arithmetic is given by a set of axioms that express the basic properties and operations of natural numbers. This paper introduces the basics of this theory and studies the undecidability of certain results in it. To do so, it focuses on the Hydra and Hercules theorem, and on Goodstein’s theorem.

Description

Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2022, Director: Joan Bagaria

Subject

Decidibilitat (Lògica matemàtica), Treballs de fi de grau, Teoria axiomàtica de conjunts, Teoria de la prova, Història de la matemàtica

Subject (English)

Decidability (Mathematical logic), Bachelor's theses, Axiomatic set theory, Proof theory, History of mathematics

Citation

Collections

Treballs Finals de Grau (TFG) - Matemàtiques

Citation

PASTÓ PELLICER, Paula. Veritats aritmètiques indemostrables en l'aritmètica de Peano. [consulted: 16 of June of 2026]. Available at: https://hdl.handle.net/2445/192141

Export metadata

JSON - METS

Share record