Churchi tees

Vajab keelelist või sõnastuslikku toimetamist

Iga algoritmiliselt arvutatav funktsioon on Turingi mõttes arvutatav.