Shtetl-Optimized » Blog Archive » The Zombie Misconc...
想起我第一次學到停機問題時確實曾經有這個疑問：如果停機問題是不可判定的，那人類怎麼能 debug 一段 code 決定它是否會停機呢
雖然後來搞懂了，但是在第一次聽到 Busy Beaver 的時候我又犯下(本質)一樣的錯誤：既然 BB 是不可計算的，那人類怎麼知道 BB(4) 的值呢