Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/192141
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Bagaria, Joan | - |
dc.contributor.author | Pastó Pellicer, Paula | - |
dc.date.accessioned | 2023-01-13T08:09:55Z | - |
dc.date.available | 2023-01-13T08:09:55Z | - |
dc.date.issued | 2022-06-13 | - |
dc.identifier.uri | http://hdl.handle.net/2445/192141 | - |
dc.description | Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2022, Director: Joan Bagaria | ca |
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.extent | 26 p. | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | cat | ca |
dc.rights | cc-by-nc-nd (c) Paula Pastó Pellicer, 2022 | - |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ | * |
dc.source | Treballs Finals de Grau (TFG) - Matemàtiques | - |
dc.subject.classification | Decidibilitat (Lògica matemàtica) | ca |
dc.subject.classification | Treballs de fi de grau | - |
dc.subject.classification | Teoria axiomàtica de conjunts | ca |
dc.subject.classification | Teoria de la prova | ca |
dc.subject.classification | Història de la matemàtica | ca |
dc.subject.other | Decidability (Mathematical logic) | en |
dc.subject.other | Bachelor's theses | - |
dc.subject.other | Axiomatic set theory | en |
dc.subject.other | Proof theory | en |
dc.subject.other | History of mathematics | en |
dc.title | Veritats aritmètiques indemostrables en l'aritmètica de Peano | ca |
dc.type | info:eu-repo/semantics/bachelorThesis | ca |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | ca |
Appears in Collections: | Treballs Finals de Grau (TFG) - Matemàtiques |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
tfg_pasto_pellicer_paula.pdf | Memòria | 903.85 kB | Adobe PDF | View/Open |
This item is licensed under a
Creative Commons License