estadounidense
Martin Davis es un destacado matemático y científico estadounidense conocido por sus contribuciones a la lógica y la teoría de computación. Es reconocido por su trabajo en complejidad computacional y su impacto en la filosofía de la matemática.
1958
Este libro explora los fundamentos de la teoría de la computabilidad y los límites de lo que puede ser resuelto mediante procedimientos algorítmicos, combinando aspectos matemáticos y filosóficos de la no computabilidad.
1958
Un texto clásico que presenta una exposición rigurosa de las máquinas de Turing, las funciones recursivas (generalizadas y primitivas) y el teorema de incompletitud de Gödel, considerado uno de los primeros y más influyentes tratamientos formales de la teoría de la computabilidad.
1965·no ficcion
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.
1965
Este libro ofrece un enfoque riguroso sobre la lógica matemática, explorando temas como la teoría de la computación y la decidibilidad, a partir de fundamentos formales y conceptos esenciales en la lógica.
1967
Este libro explora los fundamentos matemáticos y filosóficos de la computación, analizando las teorías de la computabilidad y la naturaleza de los problemas que las computadoras pueden resolver.
1983·no ficcion
Un libro de texto que cubre extensamente los pilares de la ciencia de la computación teórica, incluyendo la computabilidad, la complejidad algorítmica y las teorías de lenguajes formales, con un enfoque riguroso.
2000
Explora la historia de la computación desde los inicios del pensamiento computacional de Leibniz hasta las innovaciones de Alan Turing, examinando conceptos fundamentales que han moldeado la informática moderna.
2000·no ficcion
Un recorrido por las ideas fundamentales que llevaron al desarrollo de la informática, desde Leibniz y Boole hasta Turing y Gödel, explicando las contribuciones clave a la teoría de la computabilidad.
Aparecen junto a Martin Davis en búsquedas del archivo
