Por favor, use este identificador para citar o enlazar este ítem:http://uvadoc.uva.es/handle/10324/39831
Título
Recorrido por las diferentes versiones del teorema de incompletitud de Kurt Gödel
Autor
Director o Tutor
Año del Documento
2019
Titulación
Grado en Filosofía
Resumen
En el presente trabajo se ofrece un recorrido explicativo por las diferentes versiones del Teorema de Incompletitud presentado por el lógico Kurt Gödel. La primera será la más sencilla, la cual se demuestra a través del teorema propuesto por Tarski. En segundo lugar veremos una demostración de incompletitud para un sistema aritmético básico con suma, multiplicación y exponenciación, para posteriormente demostrar que es posible llevar a cabo la
demostración en un sistema equivalente que prescinde de la exponenciación. Mostraremos también la
demostración de Gödel para los sistemas que él denominará m-consistentes y finalizaremos con
la demostración de incompletitud que ofrece Rosser a través de una nueva fórmula diferente a la
empleada por Gödel.
Materias Unesco
72 Filosofía
Palabras Clave
Kurt Gödel
Incompletitud
Departamento
Departamento de Filosofía (Filosofía, Lógica y Filosofía de la Ciencia, Teoría e Historia de la Educación, Filosofía Moral, Estética y Teoría de las Artes)
Idioma
spa
Derechos
openAccess
Aparece en las colecciones
- Trabajos Fin de Grado UVa [28700]
Ficheros en el ítem
![Attribution-NonCommercial-NoDerivatives 4.0 Internacional](/themes/Mirage2//images/creativecommons/cc-by-nc-nd.png)