Turing

Maszyny Turinga i teoria obliczalności
Główna forma obliczalności badana w teorii obliczalności została wprowadzona przez Turinga (1936). Funkcja f od liczb naturalnych do liczb naturalnych...