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, 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

Creative Commons License

El registro pertenece a las siguientes colecciones:
Academic Works > Trabajos Académicos por Centro > facultad-de-ciencias
Academic Works > End-of-grade works



Back to search

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)