000032252 001__ 32252 000032252 005__ 20160204081725.0 000032252 037__ $$aTAZ-TFG-2015-3181 000032252 041__ $$aspa 000032252 1001_ $$aSauras Altuzarra, Lorenzo 000032252 24500 $$aGödel's Incompleteness 000032252 260__ $$aZaragoza$$bUniversidad de Zaragoza$$c2015 000032252 506__ $$aby-nc-sa$$bCreative Commons$$c3.0$$uhttp://creativecommons.org/licenses/by-nc-sa/3.0/ 000032252 520__ $$aTras 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. 000032252 521__ $$aGraduado en Matemáticas 000032252 540__ $$aDerechos regulados por licencia Creative Commons 000032252 700__ $$aGómez Ambrosi, Carlos$$edir. 000032252 7102_ $$aUniversidad de Zaragoza$$bMatemáticas$$cAlgebra 000032252 8560_ $$f591876@celes.unizar.es 000032252 8564_ $$s672825$$uhttps://zaguan.unizar.es/record/32252/files/TAZ-TFG-2015-3181.pdf$$yMemoria (spa) 000032252 909CO $$ooai:zaguan.unizar.es:32252$$pdriver$$ptrabajos-fin-grado 000032252 950__ $$a 000032252 951__ $$adeposita:2015-11-11 000032252 980__ $$aTAZ$$bTFG$$cCIEN