por Martin Davis · 1965
Sinopsis
Un texto fundamental que introduce la teoría de la computabilidad, las máquinas de Turing y sus implicaciones para los fundamentos de las matemáticas y la informática, de forma concisa y rigurosa.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo
1958
1958
1965
1967
1980
1983
1991
1995
1998
2000
2000
2000
Libros relacionados según distintos criterios de búsqueda
Douglas R. Hofstadter·1979·filosofia
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.
Ted M. Nelson·1965·no ficcion
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.
Alan Turing·1950·filosofia
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?
Thomas S. Kuhn·1962·filosofia
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.
A.I. Mal'tsev·1968·filosofia
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.
Georg Kreisel·1970·filosofia
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.
Bertrand Russell, Alfred North Whitehead·1910·filosofia
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.
Gottlob Frege·1884·filosofia
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.
