永远未决
Forever undecided: a puzzle guide to Gödel
Raymond M. Smullyan · 初版 1987 年
- 7次提及
- 4人推荐
- 4位 HN 评论者
Hacker News 读者推荐
……由图灵机模拟），那你可能想看看《Gödel, Escher, Bach》，Hofstadter 在里面讨论了第二不完备性定理如何适用于图灵机。你也许还会喜欢 Smullyan 的《Forever Undecided》。它通过谜题带你建立起直觉，去理解不完备性定理对人类知识及其局限性意味着什么。退一步讲，拿来当消遣读物也很棒。祝好！
TelmoMenezes 在 HN 的推荐
……一站式搞定大量内容的好方法。《The Night is Large》也很赞，但数学比重没那么多。我还没看到有人推荐 Smullyan 呢。我觉得《The Lady or the Tiger》是经典，但我真的很喜欢《Forever Undecided》。
pjungwir 在 HN 的推荐
……给你答案，但要做到这一点，你必须构造出某种自指。（就像哥德尔那样！）如果你喜欢思考这类事情，Raymond Smullyan 写过很多精彩的作品——更通俗的入门我推荐比如《Forever Undecided》或《To Mock a Mockingbird》，想看形式化严谨推导的可以看《First-Order Logic》。
Bakkot 在 HN 的推荐
找书
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。