Máquinas de Turing

Aunque no trata directamente de máquinas de Turing, Hofstadter utiliza los principios de la recursión, los sistemas formales y la indecibilidad (inherentes a las máquinas de Turing) para analizar fenómenos de la mente y la conciencia. Es una exploración indirecta y mucho más amplia de las implicaciones filosóficas subyacentes.

Mientras que 'Máquinas de Turing' se centra en la teoría computacional fundamental, este libro salta a las implicaciones prácticas y filosóficas de cómo la computación podría transformar la información y la sociedad. Se aleja de la maquinaria teórica para visualizar un futuro radicalmente diferente basado en la computación, sin ser una historia tecnológica habitual.

Este es el trabajo fundacional de la inteligencia artificial, directamente derivado de las implicaciones filosóficas del concepto de la máquina de Turing. Permite profundizar en las preguntas existenciales que surgieron de la formalización de la computación: ¿qué significa computar y puede la computación replicar la cognición humana?

La 'Máquina de Turing' de Martin Davis es la formulación canónica de un paradigma computacional. Kuhn, aunque no habla directamente de computación, analiza los mecanismos internos de la ciencia que permiten que tales conceptos fundamentales (como el de Turing) surjan, se consoliden y transformen un campo entero, ofreciendo una lente meta-científica para entender cómo las ideas computacionales se llegaron a entender.

Mientras que Davis presenta la teoría de la computabilidad desde una perspectiva occidental y de los fundamentos, Mal'tsev ofrece una mirada profunda y rigurosa desde la tradición matemática soviética. Expone los mismos conceptos fundamentales de manera formal pero con un énfasis y desarrollo de la teoría a menudo menos conocido en la literatura anglosajona, permitiendo una comprensión más global del problema.

Kreisel, aunque contemporáneo de muchas de las ideas en 'Máquinas de Turing', ofrece una visión filosófica profunda y a menudo crítica de los límites y el significado de la computación formal. Su trabajo no es tan central en las listas canónicas de la computación, pero ofrece una reflexión intelectual de alto nivel sobre los fundamentos que subyacen a las máquinas de Turing y sus limitaciones, desde una perspectiva filosófica europea.

Similar a 'Máquinas de Turing' de Davis, que formaliza la computación, los 'Principia Mathematica' representan un esfuerzo ambicioso por formalizar la matemática en su totalidad. Ambos libros comparten una estructura de construcción rigurosa y axiomática, partiendo de los fundamentos más básicos para construir un sistema complejo y coherente, utilizando un lenguaje formalizado para su propósito principal.

Este libro, al igual que el estudio exhaustivo de las máquinas de Turing, se centra en desmantelar un concepto fundamental (el número) hasta sus componentes lógicos más básicos. La estructura se basa en una definición axiomática y una deducción rigurosa de las propiedades, un enfoque que refleja la necesidad de una formalización precisa y absoluta que es central en la obra de Turing y los fundamentos de la computación.