Este libro examina el pensamiento filosófico que acompañó el desarrollo de la computación, alineándose con la historia de figuras clave como Turing y Leibniz.
Máquinas que Piensan: Los Fundamentos de la Computación
por Martin Davis · 2000
Ver sugerenciasSinopsis
Este libro traza la historia y las ideas de los pioneros de la lógica matemática y la computación que sentaron las bases para las computadoras modernas 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
Mentes, máquinas y matemáticas: Introducción a la teoría de la computación de Turing
Bernard E. L. Londey
1980·filosofia
Ofrece una visión detallada de la máquina de Turing y articula los principios filosóficos subyacentes a la computación, similar al enfoque histórico de Davis.
Al igual que Davis, profundiza en la historia de ideas matemáticas y lógicas que fundamentan la computación, destacando conexiones entre teoría y práctica.
Explora la evolución de conceptos fundamentales de la computación, desde el siglo XIX hasta la actualidad, uniendo historia y matemáticas como lo hace el libro de referencia.