| TAZ-TFG-2023-2976 |
La máquina de Turing: un modelo para la computación.
Maeso Bayo, Mayte
Ciria Cosculluela, José Carlos (dir.)
Universidad de Zaragoza,
CIEN,
2023
Graduado en Matemáticas
Abstract: 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.
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.
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.
Tipo de Trabajo Académico: Trabajo Fin de Grado
Permalink:
El registro pertenece a las siguientes colecciones:
Academic Works > Trabajos Académicos por Centro > facultad-de-ciencias
Academic Works > End-of-grade works