[問題] 97台聯第二一題

看板TransCSI作者 (Bye bicycle~)時間16年前 (2009/07/05 00:25), 編輯推噓3(3推 0噓 1→)
留言4則, 3人參與, 最新討論串1/1
21. The halting problem is not solvable. Use the concept of Godel Number to show it. (I) Describe the halting problem. (II)Show the halting problem is unsolvable. 我有GOOGLE過Godel Number了，不過還是不太了解呀！ 可以請問板上各位高手，這一題究竟在問什麼，又應該要回答什麼嗎？~"~ 謝謝。m(＿　＿)m -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 114.39.169.35
推
07/05 06:36, , 1F
就是在問halting problem XD
07/05 06:36, 1F
推
07/05 09:53, , 2F
他是要你用對角線法來證明
07/05 09:53, 2F
→
07/05 11:22, , 3F
想知道要怎麼用Godel Number證明halting problem @@
07/05 11:22, 3F
推
07/05 12:09, , 4F
我比較想聽聽怎用對角線來證
07/05 12:09, 4F
‣ 更多 YAMAPO 的文章
文章代碼(AID): #1AJu9ZZu (TransCSI)