Pertanyaan yang diberi tag «halting-problem»

Sepengetahuan saya, menghentikan masalah bertanya apakah ada program yang memutuskan apakah suatu program sedang diuji, diberi beberapa data input (tidak peduli program apa itu, atau data input apa yang kami berikan) akan berakhir atau tidak. Jawaban untuk masalah ini adalah 'tidak'. Dengan kata lain, tidak ada program 'tunggal' yang dapat …

8 computability  halting-problem 

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 …

8 computability  artificial-intelligence  halting-problem  church-turing-thesis 

Ketika saya pertama kali mendengar hal-hal ini saya sangat terpesona karena saya pikir itu benar-benar menetapkan batas untuk matematika dan sains secara umum. Tetapi seberapa praktis hal-hal ini relevan? Untuk Masalah Berhenti: Apakah ada lebih dari beberapa kasus yang dibuat secara artifisial, di mana orang tidak dapat memutuskan apakah algoritma …

8 computability  logic  halting-problem  applied-theory