Los Sistemas Formales de Alan Turing
por Andrew Hodges · 2007
Sinopsis
Este libro analiza en profundidad los trabajos fundacionales de Alan Turing sobre la computabilidad, la noción de algoritmo y los límites de la prueba, a menudo a través del análisis de sus propios escritos y manuscritos.
Sé el primero en valorar este libro.
Más de Andrew Hodges
Ver autor →Otras obras del mismo autor en el catálogo
El Problema de Turing: Computabilidad y Lógica
1983
Alan Turing: The Enigma
1983
The Writing of the English Constitution
1989
Logic and Reality
1995
Turing y la condición humana
2012
sin portada
Turing's Cathedral: The Origins of the Digital Universe
2012
Alan Turing: His Life and Legacy
2012
Hugh Everett's Many Worlds
2013
sin portada
The Language of Mathematics
2014
The Mind of God
2016
Libros similares
Libros relacionados según distintos criterios de búsqueda
Restará un crédito a tus libros recomendados de esta semana.