000154697 001__ 154697 000154697 005__ 20250513101704.0 000154697 037__ $$aTAZ-TFG-2023-2976 000154697 041__ $$aspa 000154697 1001_ $$aMaeso Bayo, Mayte 000154697 24200 $$aTuring machine: a computational model. 000154697 24500 $$aLa máquina de Turing: un modelo para la computación. 000154697 260__ $$aZaragoza$$bUniversidad de Zaragoza$$c2023 000154697 506__ $$aby-nc-sa$$bCreative Commons$$c3.0$$uhttp://creativecommons.org/licenses/by-nc-sa/3.0/ 000154697 520__ $$aEl 1936 Alan Turing escribió su artículo "On computable numbers, with an application to the Entscheidungsproblem" en el que daba respuesta al problema de la decisión propuesto por David Hilbert. Este problema discutía la fundamentación de las matemáticas y, en concreto, la noción de decidibilidad, es decir, si somos capaces de, dada una fórmula matemática, determinar si esta es demostrable o no.<br />En este trabajo de fin de grado analizaremos el artículo de Turing. Estudiaremos las máquinas de Turing: qué son, qué elementos las componen y cómo funcionan. Después estudiaremos algunos resultados teóricos necesarios para resolver el Entscheidungsproblem y, por último, daremos una respuesta negativa al problema de la decisión.<br /><br /> 000154697 521__ $$aGraduado en Matemáticas 000154697 540__ $$aDerechos regulados por licencia Creative Commons 000154697 700__ $$aCiria Cosculluela, José Carlos$$edir. 000154697 7102_ $$aUniversidad de Zaragoza$$b $$c 000154697 8560_ $$f784040@unizar.es 000154697 8564_ $$s302768$$uhttps://zaguan.unizar.es/record/154697/files/TAZ-TFG-2023-2976_ANE.pdf$$yAnexos (spa) 000154697 8564_ $$s549524$$uhttps://zaguan.unizar.es/record/154697/files/TAZ-TFG-2023-2976.pdf$$yMemoria (spa) 000154697 909CO $$ooai:zaguan.unizar.es:154697$$pdriver$$ptrabajos-fin-grado 000154697 950__ $$a 000154697 951__ $$adeposita:2025-05-13 000154697 980__ $$aTAZ$$bTFG$$cCIEN 000154697 999__ $$a20230705124558.CREATION_DATE