154697 20250513101704.0 TAZ-TFG-2023-2976 spa Maeso Bayo, Mayte Turing machine: a computational model. La máquina de Turing: un modelo para la computación. Zaragoza Universidad de Zaragoza 2023 by-nc-sa Creative Commons 3.0 http://creativecommons.org/licenses/by-nc-sa/3.0/ El 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 /> Graduado en Matemáticas Derechos regulados por licencia Creative Commons Ciria Cosculluela, José Carlos dir. Universidad de Zaragoza 784040@unizar.es 302768 http://zaguan.unizar.es/record/154697/files/TAZ-TFG-2023-2976_ANE.pdf Anexos (spa) 549524 http://zaguan.unizar.es/record/154697/files/TAZ-TFG-2023-2976.pdf Memoria (spa) oai:zaguan.unizar.es:154697 driver trabajos-fin-grado TAZ TFG CIEN 20230705124558.CREATION_DATE deposita:2025-05-13