literatürde genellikle church-turing thesis olarak geçen, hesaplanabilir bütün fonksiyonların/algoritmaların turing makinası veya lamda calculus gibi eşdeğer mekanizmalarla hesaplanabileceğini gösteren tez.
turing testi ise yapay zekanın inandırıcılığını test eder ve church-turing teziyle tamamen farklı kavramlardır.
