Church-Turing thesis: hipoteza Churcha-Turinga > Dodaj do ulubionych Twierdzenie, że każdy problem, który można rozwiązać przy nieograniczonych zasobach pamięciowych i czasowych da się rozwiązać na maszynie Turinga (turing-machine).