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.