Por favor, use este identificador para citar o enlazar este ítem:https://uvadoc.uva.es/handle/10324/63171
Título
Los teoremas de incompletitud de Gödel
Autor
Director o Tutor
Año del Documento
2023
Titulación
Grado en Matemáticas
Abstract
En este trabajo se presentan los teoremas de incompletitud de Gödel, que certifican que cualquier sistema formal capaz de expresar la aritmética, si es
consistente, es incompleto. Y además, que una proposición indecidible en el sistema es su propia consistencia. Para ello se realiza una aproximación
tanto filosófica como formal, con el objetivo de comprenderlos lo mejor posible. Trataremos las filosofías de la Matemática más importantes y su relación
con los teoremas de incompletitud. Así mismo, estudiaremos detalladamente las teorías formales de primer orden hasta llegar a una demostración de los
teoremas.
Palabras Clave
Lógica matemática
Fundamentos
Incompletitud
Teorías formales
Departamento
Departamento de Algebra, Geometría y Topología
Idioma
spa
Derechos
openAccess
Collections
- Trabajos Fin de Grado UVa [28807]
Files in this item
![Attribution-NonCommercial-NoDerivatives 4.0 Internacional](/themes/Mirage2//images/creativecommons/cc-by-nc-nd.png)