La biografía de Turing por Hodges explora sus contribuciones teóricas, al igual que 'La máquina universal', resaltando la historia de la computación.
La máquina universal
por Martin Davis · 2000
Ver sugerenciasSinopsis
Una biografía intelectual de la idea de la computabilidad, desde Leibniz y Boole hasta Turing y Gödel, explicando cómo la lógica formal y las matemáticas sentaron las bases de la informática.
Sé el primero en valorar este libro.
Más de Martin Davis
Ver autor →Otras obras del mismo autor en el catálogo
Sobre los Números y la Computación
1958
El Problema de la Computación: La Teoría de la Calculabilidad
1958
Máquinas de Post: Una Introducción a la Teoría de la Computación
1958
Computability and Unsolvability
1958
Máquinas de Turing y funciones recursivas
1958
Principles of Mathematical Logic
1965
Sobre la Computabilidad y la Indecidibilidad
1965
Máquinas de Turing
1965
The Logic of Computation
1967
Mathematics and the Mind
1980
La Máquina Universal: Fundamentos de la Computabilidad
1980
Computability, Complexity, And Languages: Fundamentals Of Theoretical Computer Science
1983
Introduction to Recursion Theory
1991
El Problema de la Parada: Un Tour A Través de la Teoría de la Computación
1993
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
1994
Libros similares
Libros relacionados según distintos criterios de búsqueda
Davis analiza el impacto de Turing en la lógica matemática, similar al enfoque sobre computabilidad en 'La máquina universal'.
La Máquina Universal de Turing: Una Introducción al Problema de la Parada
Andrew Hodges
1983·biografia
Hodges examina conceptos filosóficos detrás del trabajo de Turing, lo que se alinea con la exploración de la lógica formal en 'La máquina universal'.
En esta biografía, Hodges detalla la relación entre matemáticas y computación, reflejando la conexión entre estos temas en 'La máquina universal'.
Davis ofrece un recorrido histórico sobre la computabilidad, similar a la exploración de influencias desde Leibniz hasta Gödel en 'La máquina universal'.
El libro de Davis narra la evolución del concepto de computación, alineándose con la narrativa histórica presentada en 'La máquina universal'.