El Teorema de Incompletitud de Gödel

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

Universidad de Zaragoza, CIEN, 2016
Matemáticas department, Algebra area

Graduado en Matemáticas

Abstract: 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