Pertanyaan yang diberi tag «church-turing-thesis»

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 perhitungan fungsi, yang merupakan bagian yang …

38 computability  turing-machines  machine-models  church-turing-thesis 

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 tautan dan komentar yang luas, silakan lihat pertanyaan …

35 soft-question  lo.logic  church-turing-thesis 

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 . Memang, tampaknya ia menjelaskan Kalkulus Lambda Cukup Ketik untuk mengurangi …

16 lambda-calculus  church-turing-thesis  lisp  typed-lambda-calculus 

Ini mungkin pertanyaan yang naif, tapi begini saja. (Sunting - ini tidak mendapatkan upvotes, tetapi tidak ada yang menawarkan tanggapan; mungkin pertanyaannya lebih sulit, tidak jelas, atau tidak jelas daripada yang saya kira?) Teorema Ketidaklengkapan Pertama Gödel dapat dibuktikan sebagai akibat wajar dari ketidakpastian masalah penghentian (misalnya Sipser Bab 6; …

11 lo.logic  computability  church-turing-thesis 

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 menjadi hasil pergeseran paradigma untuk matematika dan fisika …

8 church-turing-thesis  hypercomputation