Ambos ensayos examinan conceptos fundamentales de computación, pero Gurevich se centra en las definiciones filosóficas mientras que este profundiza en modelos no deterministas.

por Y. Gurevich · 1985
Ver sugerenciasSinopsis
Un ensayo técnico que explora las distintas formalizaciones matemáticas y las definiciones filosóficas de lo que constituye un algoritmo, desde los modelos más abstractos hasta su implementación práctica.
Sé el primero en valorar este libro.
Libros relacionados según distintos criterios de búsqueda
Ambos ensayos examinan conceptos fundamentales de computación, pero Gurevich se centra en las definiciones filosóficas mientras que este profundiza en modelos no deterministas.
Dessalles analiza la noción de algoritmo desde una perspectiva interdisciplinaria, similar a cómo Gurevich busca definiciones filosóficas en la computación matemática.
El texto de Dowek reflexiona sobre la lógica y su evolución en la computación, un enfoque que complementa las discusiones de Gurevich sobre definiciones matemáticas.
Kolmogorov aborda la complejidad algorítmica, un tema matemático conectado a la investigación de Gurevich sobre las formalizaciones de algoritmos y su aplicación práctica.
Gurevich y este volumen coinciden en tratar la computación como un modo de pensamiento, aunque Gurevich se enfoca más en la lógica que en la filosofía.
Calude explora los límites de la computación, un aspecto que complementa la investigación sobre algoritmos de Gurevich al considerar nuevas posibilidades computacionales.