Turing

A principal forma de computabilidade estudada na teoria da computabilidade foi introduzida por Turing (1936). Uma função f de números naturais para nú...