000059148 001__ 59148 000059148 005__ 20170127103259.0 000059148 037__ $$aTAZ-TFG-2016-2115 000059148 041__ $$aspa 000059148 1001_ $$aLópez Martínez, Víctor 000059148 24200 $$aGödel's Incompleteness Theorem 000059148 24500 $$aEl Teorema de Incompletitud de Gödel 000059148 260__ $$aZaragoza$$bUniversidad de Zaragoza$$c2016 000059148 506__ $$aby-nc-sa$$bCreative Commons$$c3.0$$uhttp://creativecommons.org/licenses/by-nc-sa/3.0/ 000059148 520__ $$aEn 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. 000059148 521__ $$aGraduado en Matemáticas 000059148 540__ $$aDerechos regulados por licencia Creative Commons 000059148 700__ $$aGómez Ambrosi, Carlos$$edir. 000059148 7102_ $$aUniversidad de Zaragoza$$bMatemáticas$$cAlgebra 000059148 8560_ $$f571738@celes.unizar.es 000059148 8564_ $$s213239$$uhttps://zaguan.unizar.es/record/59148/files/TAZ-TFG-2016-2115.pdf$$yMemoria (spa) 000059148 909CO $$ooai:zaguan.unizar.es:59148$$pdriver$$ptrabajos-fin-grado 000059148 950__ $$a 000059148 951__ $$adeposita:2017-01-26 000059148 980__ $$aTAZ$$bTFG$$cCIEN