Aproximación al Entscheidungsproblem desde la teoría de autómatas y máquinas de Turing
Tipo de documento
Lista de autores
Castellanos, Cristian Camilo y Díaz, Yerson Libardo
Resumen
Trabajo de grado que se propone para el estudio de la teoría de la computación o análisis del Entscheidungsproblem, por medio de la definición de máquinas de Turing (MT); en el cual se encontrará una breve reseña histórica desde Leibniz hasta Turing del desarrollo de la noción de algoritmo. Se definen y clasifican los autómatas finitos para entender el funcionamiento, definición, caracterización y simulación de las Máquinas de Turing, con el fin de reconocer los lenguajes recursivamente enumerables que son recursivos, los cuales son equivalentes a una definición de decibilidad y serán de gran importancia para la aproximación a la demostración del Entscheidungsproblem.
Fecha
2015
Tipo de fecha
Estado publicación
Términos clave
Contextos o situaciones | Evolución histórica de conceptos | Otro (tipos investigación) | Reflexión sobre la enseñanza
Enfoque
Idioma
Revisado por pares
Formato del archivo
Usuario
Tipo de tesis
Institución (tesis)
Referencias
Apostol, T. (2001). Calculus (Segunda edición, Vols. 1-2, Vol. 2). Barcelona: Reverté. Beuchot, M. (1986). La conceptografía y la lógica formal de Frege. Revista Elementos, Ciencia y Cultura, 2(9), 70-75. Beuchot, M. (2008). Introducción a la lógica. México, D.F: UNAM. Beuchot, M. (2011). Manual de Filosofía. México, D.F: Ediciones Paulinas. Boole, G. (1854). An Investigation of the Laws of Thought: On which are Founded the Mathematical Theories of Logic and Probabilities. New York: Dover Publications. Cadevall, S. (1976). Decibilidad de la Lógica de Predicados Monádicos por el Método de la Recusación. Teorema: Revista Internacional de Filosofía, 6(3-4), 455-484. Davis, M. (2002). La computadora universal. De Leibniz a Turing. Barcelona: Debate. De Castro, R. (2004). Teoría de la computación. Lenguajes, autómatas, gramáticas (Primera edición). Bogotá: Universidad Nacional de Colombia. Gallardo, D., Arques, P., & Lesta, I. (2003). Introducción a la teoría de la computabilidad (Segunda Edición). Alicante: Publicaciones Universidad de Alicante. García, L., & Martínez, G. (2005). Apuntes de Teoría de Autómatas y lenguajes formales. Recuperado a partir de http://repositori.uji.es/xmlui/handle/10234/5995?locale attribute=es Hernández, F., & Morado, R. (2007). Hilbert, Turing y la Noción de Procedimiento Efectivo. En Sociedad y ciencia (pp. 313-320). México D.F: Siglo XXI editores. Holcombe, M. (1982). Algebraic Automata Theory. Cambridge University Press. Martínez, P. (1985). El origen histórico de la lógica matemática: Boole. Thémata: Revista de filosofía, (2), 87 - 98. Meléndez, R. (1992). Observaciones sobre la demostración de Gödel. En P. Gómez & C. Gómez, Sistemas Formales, informalmente ¿Por qué intentaron formalizar a la matemática si era tan buena muchacha? (Segunda edición, pp. 109-111). Bogotá: Una empresa docente/Universidad de los Andes. Recuperado a partir de http://funes.uniandes.edu.co/668/1/Gomez1999Sistemas.pdf Muñoz, J. (2002). Introducción a la teoría de conjuntos (Cuarta edición). Bogotá: Universidad Nacional de Colombia. Navarrete, I., Cárdenas, M., Sánchez, D., Botía, J., Marín, R., & Martínez, R. (2003). Teoría de autómatas y lenguajes formales. Universidad de Murcia. Recuperado a partir de http://tux.uis.edu.co/lenguajes/doc/Murcia.pdf Pérez, J., & Caparrini, F. (2003). Máquinas moleculares basadas en ADN. Universidad de Sevilla. Wise, H. (1996). Breaking the Code. Documental, biografía, British Broadcasting Corporation (BBC). Recuperado a partir de https://www.youtube.com/watch?v=S23yie-779k.
Proyectos
Cantidad de páginas
126