Presenta una narrativa similar sobre la evolución histórica de la computación, desde Leibniz hasta Turing, enfocándose en las ideas matemáticas que impulsaron estos desarrollos.
El ordenador universal: El camino de Leibniz a Turing
por Martin Davis · 2000
Ver sugerenciasSinopsis
Un viaje histórico y conceptual a través del desarrollo de la computación, desde las ideas de Leibniz hasta los trabajos de Turing, incluyendo la contribución de Gödel a la lógica formal y la teoría de la computabilidad.
Sé el primero en valorar este libro.
Más de Martin Davis
Ver autor →Otras obras del mismo autor en el catálogo
Máquinas de Turing y funciones recursivas
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
Sobre los Números y la Computación
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
Explora la noción de computabilidad y su impacto, igual que el libro de referencia, uniendo las contribuciones de pensadores clave en un marco analítico.
Ofrece una descripción accesible y resumida de la historia de la computación, enfatizando cómo conceptos abstractos de Leibniz influenciaron la creación de computadoras modernas.
Analiza en profundidad las bases lógicas y matemáticas detrás de la computación, conectando las ideas de Leibniz con la obra de Turing de manera similar al texto original.
Examina las ideas que condujeron al desarrollo de la informática, al igual que el de referencia, subrayando la relación entre teoría y práctica en computación.
Rastrea el desarrollo de la computación desde sus fundamentos lógicos, similar a la estructura del libro de referencia, resaltando la conexión entre historia y teoría.