Church's Thesis after 70 years / Adam Olszewski, Jan Woleński, Robert Janusz (eds.). - Frankfurt, 2006.

Stanford Encyclopedia of Philosophy, 17.06.2020 https://plato.stanford.edu/entries/church-turing/#NoteTerm

KABA

pl.wikipedia, 17.06.2020 (zwana również Tezą Churcha-Turinga) jest hipotezą określającą możliwości komputerów i innych maszyn obliczeniowych. Mówi ona, że każdy problem, dla którego przy nieograniczonej pamięci oraz zasobach istnieje efektywny algorytm jego rozwiązywania, da się rozwiązać na maszynie Turinga. Hipotezy tej nie da się ściśle sformułować w języku matematyki, ponieważ łączy w sobie zarówno ścisłe, jak i nieprecyzyjne sformułowania, których interpretacja może zależeć od konkretnej osoby. Dlatego traktowana jest bardziej jako filozoficzny punkt widzenia) https://pl.wikipedia.org/wiki/Hipoteza_Churcha-Turinga