Tesis Gereja-Turing menyatakan bahwa segala sesuatu yang secara fisik dapat dihitung, dapat dihitung pada Mesin Turing. Makalah "Komputasi analog melalui jaringan saraf" (Siegelmannn dan Sontag, Theoretical Computer Science , 131: 331-360, 1994; PDF ) mengklaim bahwa jaring saraf dari bentuk...
Ini adalah pertanyaan yang naif dan, karenanya, mungkin cacat, jadi minta maaf terlebih dahulu! Pandangan saya adalah bahwa Mesin Turing dapat dilihat sebagai dasar komputasi untuk bahasa pemrograman prosedural / imperatif. Demikian pula, kalkulus lambda adalah dasar untuk bahasa pemrograman...
Ada banyak (dan maksud saya banyak) bahasa yang dapat dihitung yang dapat didekati oleh Turing. Bisakah bahasa yang tak terhitung dapat menjadi pilihan
Ada ruangwaktu relativistik (mis. Ruangwaktu MH; lihat Hogarth 1994) di mana garis dunia durasi tak terbatas dapat dimuat di masa lalu dari pengamat terbatas. Ini berarti bahwa pengamat normal dapat memiliki akses ke langkah perhitungan jumlah yang tak terbatas. Dengan asumsi itu mungkin bagi...
Jika kita memiliki program komputer sewenang-wenang yang dapat memodifikasi instruksinya, apakah mungkin untuk mensimulasikan program itu dengan program yang tidak dapat memodifikasi instruksinya? Edit: Saya baru mengenal stackexchange jadi tidak yakin apakah saya diperbolehkan mengajukan...
Saya telah melihat situs web yang mengaku "membuktikan" bahwa HTML5 + CSS Turing Lengkap. Saya telah melihat situs web yang mengaku "membuktikan" bahwa SQL adalah Turing Lengkap. Saya telah melihat banyak situs web yang dimaksudkan untuk "menjelaskan" apa artinya menjadi Lengkap...
Saya ingin mengutip dari Nielsen & Chuang, Komputasi Quantum dan Informasi Quantum, edisi ulang tahun ke 10, halaman 5 (penekanan pada saya): Satu kelas tantangan untuk tesis Gereja-Turing yang kuat berasal dari bidang perhitungan analog. Pada tahun-tahun sejak Turing, banyak tim peneliti...
Dengan tesis Church-Turing, mustahil untuk merancang algoritma untuk memutuskan masalah penghentian. Apakah kata algoritma dalam konteks ini termasuk kecerdasan buatan atau tidak, yaitu apakah tesis Church-Turing juga berlaku untuk kecerdasan buatan? Apakah mungkin untuk merancang sistem...
Ketika saya membaca tentang tesis Gereja-Turing, tampaknya menjadi klaim umum bahwa "realitas fisik dapat dihitung-Turing." Apa dasar dari klaim ini? Apakah ada hasil teoretis di sepanjang garis ini? Untuk konteks, saya adalah seorang peneliti yang bekerja pada simulasi fisik, jadi tentu saja saya...
Pertama-tama, saya minta maaf jika ini ditanyakan, tetapi saya benar-benar tidak menemukan apa pun. Saya menemukan artikel ini . Dikatakan bahwa ada masalah yang hanya bisa diselesaikan oleh Komputer Quantum. Dalam pemahaman saya, ini harus berarti, secara intuitif, bahwa masalah ini "dapat...