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

Vista senzilla d'ítem
dc.contributor.advisorBagaria, Joan
dc.contributor.authorPastó Pellicer, Paula
dc.date.accessioned2023-01-13T08:09:55Z
dc.date.available2023-01-13T08:09:55Z
dc.date.issued2022-06-13
dc.descriptionTreballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2022, Director: Joan Bagariaca
dc.description.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.ca
dc.format.extent26 p.
dc.format.mimetypeapplication/pdf
dc.identifier.urihttps://hdl.handle.net/2445/192141
dc.language.isocatca
dc.rightscc-by-nc-nd (c) Paula Pastó Pellicer, 2022
dc.rights.accessRightsinfo:eu-repo/semantics/openAccessca
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/*
dc.sourceTreballs Finals de Grau (TFG) - Matemàtiques
dc.subject.classificationDecidibilitat (Lògica matemàtica)ca
dc.subject.classificationTreballs de fi de grau
dc.subject.classificationTeoria axiomàtica de conjuntsca
dc.subject.classificationTeoria de la provaca
dc.subject.classificationHistòria de la matemàticaca
dc.subject.otherDecidability (Mathematical logic)en
dc.subject.otherBachelor's theses
dc.subject.otherAxiomatic set theoryen
dc.subject.otherProof theoryen
dc.subject.otherHistory of mathematicsen
dc.titleVeritats aritmètiques indemostrables en l'aritmètica de Peanoca
dc.typeinfo:eu-repo/semantics/bachelorThesisca

Fitxers

Paquet original

Mostrant 1 - 1 de 1
Miniatura
Nom:
tfg_pasto_pellicer_paula.pdf
Mida:
903.85 KB
Format:
Adobe Portable Document Format
Descripció:
Memòria
Descarregar

Col·leccions

Treballs Finals de Grau (TFG) - Matemàtiques