Miniatura

Fitxers

tfg_pasto_pellicer_paula.pdf (903.85 KB)

Tipus de document

Treball de fi de grau

Data de publicació

2022-06-13

Llicència de publicació

cc-by-nc-nd (c) Paula Pastó Pellicer, 2022
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/192141

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

Títol de la revista

Autors

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

Resum

[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.

Descripció

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

Matèries

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

Matèries (anglès)

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

Citació

Col·leccions

Treballs Finals de Grau (TFG) - Matemàtiques

Citació

PASTÓ PELLICER, Paula. Veritats aritmètiques indemostrables en l'aritmètica de Peano. [consulta: 14 de gener de 2026]. [Disponible a: https://hdl.handle.net/2445/192141]

Exportar metadades

JSON - METS

Compartir registre