Loogika aine ja ajalugu
algoritmi saab esitada lambda-arvutuse abil. Sellest teesist tuleneb, et ükskõik millise algoritmi saab esitada ka Turingi
masina abil või iga tegelikult kasutatava programmeerimiskeele abil. Tuleb tähele panna, et Churchi tees ei ole teoreem
ega ole see tees ka kindlasti õige. Nimelt ei ole võimalik täpselt defineerida loomulikus keeles kasutatava sõna algoritm
sisu, näiteks ei saa me kindlad olla, et ühel hetkel ei leita mingit uut ja hoopis eriskummalist, senitundmatut ja
ettekujutamatut meetodit, mida siiski algoritmiliseks võib pidada. See on küll äärmiselt ebatõenäone - siiamaani pole
kellelgi tekkinud tõsist soovi või võimalust Churchi teesi kuidagi kahtluse alla seada.
Lisaks Churchile ja Turingile tegelesid lahenduvuse problemaatikaga veel päris paljud loogikud: probleemiklasside
lahenduvuse uurimine on 20. sajandi loogika klassikaline temaatika, ning praegusajal töötatakse selle teema kallal
aktiivselt
annaabi.ee 
