Turing 1936: máquinas, números computables y el halting problem
Alan Turing definió un modelo abstracto de cómputo y demostró la indecidibilidad del problema de la parada, base de la ciencia de la computación.
1 artículos
Computabilidad
Índice de etiquetas editoriales y cobertura filtrada.