| TAZ-TFG-2016-2115 |
El Teorema de Incompletitud de Gödel
López Martínez, Víctor
Gómez Ambrosi, Carlos (dir.)
Universidad de Zaragoza,
Facultad de Ciencias,
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
Licencia Creative Commons.
El registro pertenece a las siguientes colecciones:
Trabajos académicos Universidad de Zaragoza > Trabajos Académicos por Centro > Facultad de Ciencias
Trabajos académicos Universidad de Zaragoza > Trabajos fin de grado
Matemáticas