Churchi tees

Allikas: Vikipeedia
(Ümber suunatud leheküljelt Churchi-Turingi tees)
Jump to navigation Jump to search

Churchi tees (ka Churchi-Turingi tees) on hüpotees, mis väidab, et kõiki võimalikke arvutusi saab läbi viia arvuti algoritmide abil. Iga algoritmiliselt arvutatav funktsioon on Turingi mõttes arvutatav.

Hüpoteesi käis esmakordselt välja Stephen C. Kleene aastal 1943, kuid see nimetati Alonzo Churchi ja Alan Turingi järgi.