[問題] 如何用Godel Number 證明halting problem?

[Lizstlin (Lizst)]

如題, 這是台聯97計概的問答題
希望有高手願意指點一下, 謝謝 ^^


另外, 如果有人有台聯計概97年的解答可以分享一下嗎?
謝謝 ^^

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 116.118.137.131
推 FRAXIS:好難的題目..
推 t0036776: 一定要用Godel證?老師是用別種方法證的，說離散會教到