Church-Turing Tezi ile Hesaplanabilirlik Sınırı
Matematik
Aritmetik
Kritik
Özet
Church-Turing tezi etkin hesaplanabilir fonksiyonlar Turing makinesi ile hesaplanabilir İLE hesaplanabilirlik sınırı mekanik çözümün sınırlarıdır. Bu tez matematiksel olarak kanıtlanamaz İLE ama evrensel olarak kabul edilir.