作者Lizstlin (Lizst)
看板TransCSI
标题[问题] 如何用Godel Number 证明halting problem?
时间Sat Jul 3 14:35:32 2010
如题, 这是台联97计概的问答题
希望有高手愿意指点一下, 谢谢 ^^
另外, 如果有人有台联计概97年的解答可以分享一下吗?
谢谢 ^^
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 116.118.137.131
1F:推 FRAXIS:好难的题目.. 07/04 08:04
2F:推 t0036776: 一定要用Godel证?老师是用别种方法证的,说离散会教到 07/27 17:00