作者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