TAZ-TFG-2015-3181


Gödel's Incompleteness

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

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

Graduado en Matemáticas

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

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)