作者YAMAPO (Bye bicycle~)
看板TransCSI
標題[問題] 97台聯第二一題
時間Sun Jul 5 00:25:06 2009
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
1F：推 zptdaniel:就是在問halting problem XD 07/05 06:36
2F：推 FRAXIS:他是要你用對角線法來證明 07/05 09:53
3F：→ zptdaniel:想知道要怎麼用Godel Number證明halting problem @@ 07/05 11:22
4F：推 future1234:我比較想聽聽怎用對角線來證 07/05 12:09