Mathematics2014 · shared on Hacker News
Leslie Lamport – How to Write a 21st Century Proof (2012) [pdf]
Research PDF · needs verificationExplore Leslie Lamport – How to Write a 21st Century Proof (2012) [pdf], its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.
GO BEYOND THE ABSTRACT
The conversation around the idea.
Original Hacker News threads. Different perspectives, questions, and things worth thinking about.
Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.
Links found in the discussion
Up to 50 recent source links, in HN item order.
Ybemmu ·
How to Write Articles and Essays Quickly and Expertly (2006)
490 points75 comments
Yjoaorico ·
Marvin Minsky: What makes mathematics hard to learn? (2008)
476 points167 comments
Yacidflask ·
Letters between Backus and Dijkstra (1979)
237 points122 comments
Yjanvdberg ·
The C standard formalized in Coq
231 points109 comments
Yxhevahir ·
A Computer Scientist Tells Mathematicians How to Write Proofs
230 points101 comments
YColinWright ·
When Greedy Algorithms Are Good Enough (2014)
106 points7 comments
Ydlo ·
How to Read Proofs Faster: A Summary of Useful Advice
98 points25 comments
Ylourencoo ·
One-sentence proof of Fermat's theorem on sums of two squares
97 points45 comments
Ysargun ·
Paxos Made Moderately Complex
85 points29 comments
Yblackhole ·
Mathematical Notation Is Awful
69 points94 comments
Ypron ·
Leslie Lamport: How to Write a 21st Century Proof (2014) [video]
60 points6 comments
Ymindcrime ·
Object Oriented Mathematics (1995) [pdf]
24 points20 comments
Yoskarth ·
Leslie Lamport – How to Write a 21st Century Proof (2012) [pdf]
5 points0 comments