Paul Wegner dan Dina Goldin telah lebih dari satu dekade menerbitkan makalah dan buku dengan alasan utama bahwa tesis Church-Turing sering salah diartikan dalam komunitas Teori CS dan di tempat lain. Yaitu, ia disajikan sebagai mencakup semua perhitungan padahal sebenarnya itu hanya berlaku untuk...
Salah satu pertanyaan yang paling banyak dibahas di situs itu adalah Apa Artinya Membantah Tesis Gereja-Turing . Ini sebagian karena Dershowitz dan Gurevich menerbitkan bukti Tesis Gereja-Turing adalah Buletin Logika Simbolik pada tahun 2008. (Saya tidak akan membahasnya di sini, tetapi untuk...
Saya sedang berdiskusi dengan seorang teman baru-baru ini (yang merupakan penganjur bahasa yang sangat diketik). Dia membuat komentar: Para penemu Lambda Calculus selalu berniat untuk mengetik. Sekarang kita dapat melihat bahwa Gereja dikaitkan dengan yang Cukup Diketik Lambda Kalkulus ....
Pemahaman saya tentang tesis Gereja-Turing adalah: Menempatkan batas pada apa yang dapat dihitung dengan setiap proses diskrit dan terbatas. Meskipun masih merupakan tesis, bukan teorema, jika itu akan dibantah, ini tidak berarti hanya pembaruan untuk model perhitungan kita saat ini. Ini akan...