El Teorema de Incompletitud de Gödel

López Martínez, Víctor
Gómez Ambrosi, Carlos (dir.)

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

Graduado en Matemáticas

Resumen: En este trabajo se introducen los conceptos clave referentes a los sistemas formales, y después se da una demostración del teorema de incompletitud de Gödel. A grandes rasgos, este teorema dice que cualquier sistema formal en el que se pueda hacer aritmética va a estar incompleto; es decir, que existen verdades que son matemáticamente imposibles de demostrar.

Tipo de Trabajo Académico: Trabajo Fin de Grado