Ideas & society2017 · shared on Hacker News
academic-pdf · Lakatos.pdf
Research PDF · needs verificationExplore academic-pdf · Lakatos.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.
Ymathgenius ·
Why do many math books have so much detail and so little enlightenment? (2010)
620 points260 comments
Ylainon ·
Set Theory and Algebra in CS: Introduction to Mathematical Modeling (2013) [pdf]
317 points50 comments
Ysebg ·
Geometry, Algebra, and Intuition (2017)
244 points39 comments
Ymichaelsbradley ·
Proofs are Programs – 19th Century Logic and 21st Century Computing (2000) [pdf]
152 points77 comments
Ymemexy ·
Twenty Proofs of Euler's Formula: V-E+F=2
126 points12 comments
Yjimsojim ·
Intuition in Mathematics (2012) [pdf]
119 points34 comments
Ydigital55 ·
In Search of Proofs from “The Book”
94 points50 comments