000059157 001__ 59157 000059157 005__ 20170127103300.0 000059157 037__ $$aTAZ-TFG-2016-2053 000059157 041__ $$aeng 000059157 1001_ $$adel Castillo Tierz, Jorge 000059157 24200 $$aGödel's Incompleteness Theorem 000059157 24500 $$aTeorema de Incompletitud de Gödel 000059157 260__ $$aZaragoza$$bUniversidad de Zaragoza$$c2016 000059157 506__ $$aby-nc-sa$$bCreative Commons$$c3.0$$uhttp://creativecommons.org/licenses/by-nc-sa/3.0/ 000059157 520__ $$aEn este trabajo, se estudiará el Teorema de Incompletitud de Gödel, clave en el campo de la Lógica matemática. En pocas palabras, lo que dice es que si un sistema matemático contiene suficiente aspectos de la Aritmética y es consistente, es decir, que no se pueda probar a la vez una cosa y su contrario, entonces, por desgracia, ese sistema siempre va a ser incompleto. Esto quiere decir que hay alguna fórmula que, a pesar de ser verdadera, no puede ser probada. No porque la demostración sea extremadamente complicada, sino porque esa demostración, simplemente, no existe. 000059157 521__ $$aGraduado en Matemáticas 000059157 540__ $$aDerechos regulados por licencia Creative Commons 000059157 700__ $$aGómez Ambrosi, Carlos$$edir. 000059157 7102_ $$aUniversidad de Zaragoza$$bMatemáticas$$cAlgebra 000059157 8560_ $$f569220@celes.unizar.es 000059157 8564_ $$s221503$$uhttp://zaguan.unizar.es/record/59157/files/TAZ-TFG-2016-2053.pdf$$yMemoria (eng) 000059157 909CO $$ooai:zaguan.unizar.es:59157$$pdriver$$ptrabajos-fin-grado 000059157 950__ $$a 000059157 951__ $$adeposita:2017-01-26 000059157 980__ $$aTAZ$$bTFG$$cCIEN