Mathematics2017 · shared on Hacker News
How to Write a 21st Century Proof (2011) [pdf]
Research PDF · needs verificationExplore How to Write a 21st Century Proof (2011) [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.
Ycurryhoward ·
My unusual hobby
856 points147 comments
Ymosconaut ·
Ask HN: How do I learn math/physics in my thirties?
441 points154 comments
Ydigital55 ·
Titans of Mathematics Clash Over Epic Proof of ABC Conjecture
373 points261 comments
Ynatemcintosh ·
Interactive Linear Algebra (2019)
365 points42 comments
Ysubroutine ·
Confession as an AI researcher; seeking advice
346 points98 comments
Ykelvich ·
Leslie Lamport: Video course on TLA+
328 points74 comments
Ynetworked ·
Why Don't We Have a General-Purpose Tree Editor? (2014)
308 points212 comments
Ysmithmayowa ·
Leslie Lamport Tells Mathematicians How to Write Proofs (2014)
142 points100 comments
Ydeboniscognitio ·
Ask HN: How do I improve my command of mathematical language?
122 points46 comments
Ymindcrime ·
Learning How to Prove: From the Coq Proof Assistant to Textbook Style
115 points19 comments
Ympweiher ·
The Origins of the Linguistic Conception of Programming (2014) [pdf]
77 points44 comments
YUser23 ·
How to Write a 21st Century Proof (2011) [pdf]
23 points3 comments
Ynill0 ·
How to Write a 21st Century Proof – Leslie Lamport 2011 [pdf]
3 points0 comments