Church-Turing Tezi ile Hesaplanabilirlik Sınırı
Matematik
Aritmetik
Kritik
Özet
Etkin biçimde hesaplanabilen her işlevin, bir makineyle de hesaplanabileceğini öne süren tezdir. İLE Hangi problemlerin hiçbir yöntemle hesaplanamayacağını belirleyen sınırdır. İlki hesaplanabilirin tanımını, ikincisi hesaplanamazın sınırını verir.
Ayrıntılı Açıklama
Alan Turing tarafından 1936 yılında keşfedildi/formüle edildi. (1912-1954) (Ülke: İngiltere) (Alan: Matematik, Bilgisayar) (Önemli katkıları: Turing makinesi, yapay zeka)