Gödel's Incompleteness

Sauras Altuzarra, Lorenzo
Gómez Ambrosi, Carlos (dir.)

Universidad de Zaragoza, CIEN, 2015
Departamento de Matemáticas, Área de Algebra

Graduado en Matemáticas

Resumen: Tras un capítulo preliminar dedicado a la lógica proposicional y a la lógica de predicados, se intoduce el sistema formal de la aritmética de Peano. A continuación, se exponen las nociones de recursividad, expresabilidad de relaciones y representabilidad de funciones. Finalmente, se aborda la demostración del teorema de incompletitud de Gödel y se extraen del mismo algunas consecuencias.

Tipo de Trabajo Académico: Trabajo Fin de Grado