La Noción de Algoritmo en las Matemáticas
1954·ensayo
Este libro presenta una formalización del concepto de algoritmo a través de las 'cadenas normales', un precursor menos conocido de las máquinas de Turing y el cálculo lambda, explorando las capacidades computacionales y los límites de la decidibilidad.