Turing

Máquinas de Turing y teoría de la computabilidad
La principal forma de computabilidad estudiada en la teoría de la computabilidad fue introducida por Turing (1936). Una función f de números naturales...