数学2014 · 分享于 Hacker News
Leslie Lamport – How to Write a 21st Century Proof (2012) [pdf]
研究 PDF · 待核实探索《Leslie Lamport – How to Write a 21st Century Proof (2012) [pdf]》的原文与 Hacker News 社区讨论，查看来源并加入阅读清单。
从论文，走向讨论
看看社区如何讨论这个想法。
来自 Hacker News 的原始讨论。不同的视角、疑问，以及值得继续思考的线索。
最多展示 100 条相关讨论。论文可能出现在评论中，并非原帖投稿内容。
在讨论中发现的引用
按 HN 条目顺序展示最近的 50 条引用来源。
Ybemmu ·
How to Write Articles and Essays Quickly and Expertly (2006)
490 赞同75 评论
Yjoaorico ·
Marvin Minsky: What makes mathematics hard to learn? (2008)
476 赞同167 评论
Yacidflask ·
Letters between Backus and Dijkstra (1979)
237 赞同122 评论
Yjanvdberg ·
The C standard formalized in Coq
231 赞同109 评论
Yxhevahir ·
A Computer Scientist Tells Mathematicians How to Write Proofs
230 赞同101 评论
YColinWright ·
When Greedy Algorithms Are Good Enough (2014)
106 赞同7 评论
Ydlo ·
How to Read Proofs Faster: A Summary of Useful Advice
98 赞同25 评论
Ylourencoo ·
One-sentence proof of Fermat's theorem on sums of two squares
97 赞同45 评论
Ysargun ·
Paxos Made Moderately Complex
85 赞同29 评论
Yblackhole ·
Mathematical Notation Is Awful
69 赞同94 评论
Ypron ·
Leslie Lamport: How to Write a 21st Century Proof (2014) [video]
60 赞同6 评论
Ymindcrime ·
Object Oriented Mathematics (1995) [pdf]
24 赞同20 评论
Yoskarth ·
Leslie Lamport – How to Write a 21st Century Proof (2012) [pdf]
5 赞同0 评论