Este libro también examina la computabilidad desde las ideas iniciales de Leibniz y Boole hasta la influencia clave de Turing en la informática.
La Máquina Universal: Un Siglo de Matemáticas, Ordenadores y la Mente
por Martin Davis · 2000
Ver sugerenciasSinopsis
Este libro narra la historia intelectual del concepto de computación, desde los trabajos de lógica formal de Leibniz y Boole hasta la invención de la máquina de Turing y el desarrollo de la informática moderna.
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
Al igual que el libro de referencia, explora el desarrollo histórico del pensamiento computacional, abarcando desde Leibniz hasta las aportaciones de Gödel y Turing.
Proporciona un relato accesible sobre la evolución del concepto de computación, desde su origen teórico hasta la creación de computadoras modernas, encajando con el enfoque del libro de referencia.
Ofrece una historia detallada de los fundamentos matemáticos y lógicos detrás de la computación, alineándose con la narrativa del libro de referencia sobre la historia intelectual del tema.
Al igual que el título de referencia, sigue la evolución de la computación desde sus raíces lógicas y matemáticas, enfatizando el papel de Turing en la era digital.
Narra la evolución de la idea de la computación desde la lógica inicial hasta los ordenadores modernos, haciendo eco del recorrido histórico presentado por Martin Davis.