Iga algoritmiliselt arvutatav funktsioon on Turingi mõttes arvutatav.
Kategooriad: Toimetamist ootavad (november 2006)