Pertanyaan yang diberi tag «church-turing-thesis»

2
Tesis Gereja-Turing dan kekuatan komputasi jaringan saraf
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 tertentu (pengaturannya disajikan dalam makalah) lebih kuat. Para penulis mengatakan …
2
Apakah ada bahasa pemrograman yang menggunakan fungsi rekursif umum sebagai dasarnya?
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 fungsional. Baru-baru ini saya mengetahui bahwa Tesis Gereja-Turing juga menunjukkan …
3
Bisakah setiap algoritma modifikasi diri dimodelkan oleh algoritma non-selfmodifying?
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 pertanyaan BARU di sini, tapi begini: Ok jadi buktinya mungkin sebenarnya sebenarnya sangat sederhana seperti …
2
Komputer analog dan tesis Gereja-Turing
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 yang berbeda telah memperhatikan bahwa beberapa jenis komputer …
2
Apakah artikel ini menyiratkan bahwa Turing-Computability tidak sama dengan "computable secara efektif"?
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 dihitung secara efektif", karena kita memiliki metode yang …
1
Turing Gereja dan PDE fisik
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 sadar bahwa banyak persamaan diferensial parsial (PDE) …
1
Apakah tesis Church-Turing juga berlaku untuk kecerdasan buatan?
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 intelijen di masa depan untuk memutuskan masalah ini, atau, dengan tesis Church-Turing, tidak ada …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.