计算机科学2015 · 分享于 Hacker News
The Limits of Correctness in Computers (1985) [pdf]
研究 PDF · 待核实探索《The Limits of Correctness in Computers (1985) [pdf]》的原文与 Hacker News 社区讨论，查看来源并加入阅读清单。
从论文，走向讨论
看看社区如何讨论这个想法。
来自 Hacker News 的原始讨论。不同的视角、疑问，以及值得继续思考的线索。
最多展示 100 条相关讨论。论文可能出现在评论中，并非原帖投稿内容。
在讨论中发现的引用
按 HN 条目顺序展示最近的 50 条引用来源。
Ylainon ·
Ask HN: What is your favorite CS paper?
793 赞同257 评论
Ymathgenius ·
Artificial Intelligence Hits the Barrier of Meaning
213 赞同148 评论
Yhiq ·
TLA+ in Practice and Theory, Part 4: Order in TLA+
143 赞同11 评论
Ymatt_d ·
Why code that never goes wrong can still be wrong
134 赞同55 评论
Ybpierre ·
Why Smart Contracts Fail: Undiscovered bugs and what we can do about them
41 赞同17 评论
Yprostoalex ·
Learned helplessness and the languages of DAO
22 赞同20 评论
Yvestingz ·
The Limits of Correctness in Computers (1985) [pdf]
15 赞同1 评论
Ydecisiveness ·
The Limits of Correctness (1985) [pdf]
14 赞同3 评论
Yjjuhl ·
The Limits of Correctness [pdf]
2 赞同0 评论
Ydecisiveness ·
The Limits of Correctness (1985) [pdf]
1 赞同0 评论