Pertanyaan yang diberi tag «halting-problem»

Masalah-masalah tertentu diketahui tidak dapat diputuskan, tetapi masih mungkin untuk membuat beberapa kemajuan dalam memecahkannya. Misalnya, masalah penghentian tidak dapat diputuskan, tetapi kemajuan praktis dapat dibuat pada pembuatan alat untuk mendeteksi potensi loop tak terbatas dalam kode Anda. Masalah ubin sering kali tidak dapat dipastikan (mis., Apakah ubin polyomino ini …

48 computability  approximation-algorithms  parameterized-complexity  halting-problem 

Saya tahu bahwa masalah penghentian tidak dapat diputuskan secara umum tetapi ada beberapa mesin Turing yang jelas berhenti dan beberapa yang jelas tidak. Dari semua mesin turing yang mungkin, apa yang terkecil di mana tidak ada yang punya bukti apakah itu berhenti atau tidak?

31 halting-problem 

Diketahui bahwa dengan seperangkat algoritma yang dapat dihitung (dicirikan oleh nomor Gödel), kita tidak dapat menghitung (membangun algoritma biner yang memeriksa kepemilikan) semua himpunan bagian dari N. Sebuah bukti dapat diringkas sebagai: jika kita bisa, maka himpunan semua himpunan bagian N akan dihitung (kita dapat mengasosiasikan ke setiap subset jumlah …

29 computability  halting-problem 

Saya mencari jawaban pasti untuk pertanyaan judul. Apakah ada seperangkat aturan yang menerjemahkan program apa pun ke dalam konfigurasi potongan terbatas di papan infinite, sehingga jika hitam dan putih hanya memainkan gerakan hukum, permainan berakhir pada waktu terbatas jika program berhenti? Aturannya sama dengan catur biasa minus 50 aturan gerak, …

16 computability  turing-machines  board-games  halting-problem  recreational 

Saya bertanya-tanya apakah ada bibliografi yang baik tentang upaya untuk menyelidiki dugaan Collatz sebagai tata bahasa formal? (atau upaya lain apa pun dalam komunitas CS untuk menangani kelas fenomena generatif ini & sifat "tersendat" mereka).

16 fl.formal-languages  nt.number-theory  halting-problem 

Saya tertarik pada masalah "terdekat" (dan "paling kompleks") dengan dugaan Collatz yang telah berhasil diselesaikan (yang menurut Erdos terkenal "matematika belum matang untuk masalah seperti itu"). Telah terbukti bahwa kelas masalah "Collatz-like" tidak dapat diputuskan. Namun, masalah yang samar-samar mirip seperti game MIU Hofstadter (diselesaikan, tetapi harus diakui lebih dari …

14 reference-request  open-problem  nt.number-theory  halting-problem  computability 

Apakah ada Mesin Turing yang dapat memutuskan apakah hampir semua Mesin Turing lainnya berhenti? Misalkan kita memiliki beberapa enumerasi N→{Mi}N→{Mi}\mathbb{N} \rightarrow \{M_i\} dari mesin Turing, dan beberapa gagasan "ukuran" dari satu set bilangan alami ∥⋅∥‖⋅‖\| \cdot \| , dan kami mendefinisikan: f(i)=∥{n:Mi can't decide whether Mn halts}∥.f(i)=‖{n:Mi can't decide whether …

12 turing-machines  halting-problem 

Teori tipe konstruktif dengan interpretasi dasarnya di bawah korespondensi curry howard hanya terdiri dari total, fungsi yang dapat dihitung. Dalam literatur, beberapa telah dikatakan menggunakan "teori tipe komputasi" untuk mewakili non-terminasi dalam program fungsional, namun dalam makalah yang saya temui, ini tampaknya tidak menjadi motivasi utama untuk teori (Misalnya Benton …

10 lo.logic  type-theory  oracles  halting-problem 

Bentuk yang lebih lemah dari Teorema Ketidaklengkapan Pertama Gödel, bukti langsung yang menurut Gödel panjang, terlibat dan di beberapa tempat agak kontra-intuitif, memiliki bukti sederhana dan intuitif berdasarkan pada ketidakpastian masalah penghentian - lihat misalnya https: / /en.wikipedia.org/wiki/Halting_problem#Sketch_of_proof Siapa yang pertama kali mengajukan bukti ini dan di artikel atau buku …

9 cc.complexity-theory  lo.logic  halting-problem 

Saya punya pertanyaan naif: apakah ada mesin Turing yang pemutusannya benar tetapi tidak dapat dibuktikan oleh teori yang alami, konsisten, dan tidak aksiomatis? Saya meminta bukti keberadaan belaka daripada contoh khusus. Ini mungkin memiliki beberapa hubungan dengan analisis ordinal . Memang, untuk mesin Turing , kita dapat mendefinisikan sebagai teori …

9 turing-machines  proof-theory  halting-problem 

Karena kedua bukti menggunakan argumen diagonal, saya bertanya-tanya apakah ada hubungan yang tidak jelas antara keberadaan himpunan tak terbatas yang tak terhitung dan ketidakpastian masalah penghentian. Apakah masalah penghentian bisa ditentukan jika semua set dapat dihitung?

9 halting-problem