Mathematics2009 · shared on Hacker News
On proof and progress in mathematics
Explore On proof and progress in mathematics, 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.
Comment #49367227 Comment #49366949 Comment #47574978 Comment #45077592 Comment #42401211 Comment #38340648 Comment #38215021 Comment #36778799 Comment #36774994 Comment #36770214 Post text #36478839 Comment #36344681 Comment #27956478 Comment #27728184 Comment #24222443 Comment #23554706 Comment #23463017 Comment #23407352 Comment #15477562 Comment #13940790 Comment #12280961 Comment #11744378 Comment #9863121 Comment #9162533 Comment #8266577 Comment #7045905 Comment #6607163 Comment #6272389 Comment #6236645 Comment #4420117 Comment #4419847 Comment #982319
Ynromiun ·
Cognitive load is what matters
1,582 points522 comments
Yverbify ·
Fermat's Last Theorem – how it’s going
443 points210 comments
Yluu ·
Some stuff I found interesting about number theory research
348 points115 comments
Ykercker ·
The Mathematics Autodidact’s Aid (2005) [pdf]
216 points47 comments
Yrobinhouston ·
I hate the Pumping Lemma
167 points48 comments
Yjliszka ·
Exact numeric nth derivatives
164 points47 comments
Yyarapavan ·
In Mathematics, It Often Takes a Good Map to Find Answers
153 points23 comments
Yyummyfajitas ·
Will Our Understanding of Math Deteriorate Over Time?
144 points71 comments
Yyitchelle ·
Terence Tao: the Mozart of maths
143 points51 comments
YStandardFuture ·
What's a Mathematician to do?
140 points44 comments
Ygruseom ·
Bill Thurston has died
138 points18 comments
Yfanf2 ·
Boiling lead and black art: a history of mathematical typography
138 points39 comments
Ymatt_d ·
The Dawn of Formalized Mathematics
127 points58 comments
YCarolineW ·
Functional Programming, Abstraction, and Names
122 points72 comments
Yadenadel ·
Bill Thurston's answer to “What's a mathematician to do?” (2010)
104 points21 comments
Ybeefman ·
Computer Search Settles 90-Year-Old Math Problem
81 points19 comments
Ymikevm ·
15-819 Homotopy Type Theory
79 points32 comments
Ymaverick_iceman ·
On Proof and Progress in Mathematics (1994) [pdf]
63 points8 comments
Yur-whale ·
An enormous theorem: the classification of finite simple groups (2006)
54 points26 comments
Yfogus ·
What is math?
43 points35 comments
Ynikhilarundesai ·
Proof School
40 points32 comments
Ymreid ·
On proof and progress in mathematics
25 points5 comments
Ybeefman ·
Ninth Dedekind number found by two independent groups
12 points1 comments
Yjonbaer ·
Mathematics in the Age of AI
3 points0 comments
Yaakil ·
What do Mathematicians Do?
2 points0 comments
Ysebg ·
The Matrix Cookbook [pdf]
2 points0 comments
Ysusam ·
It's not mathematics that you need to contribute to (2010)
2 points0 comments
Yfor_i_in_range ·
The Sokal Hoax
2 points0 comments
Ygmays ·
Proof and Progress in Mathematics (1994)
2 points0 comments
Ytzury ·
Proof and Progress in Mathematics
2 points0 comments
YDavidSJ ·
On proof and progress in mathematics (1994)
1 points1 comments
Yjgyou ·
On proof and progress in mathematics (1994)
1 points0 comments
Yedjroot ·
On proof and progress in mathematics (1994) [pdf]
1 points0 comments
YSongofEarth ·
Ask HN: What are you farovite essay-papers?
1 points0 comments
Yisaacfrond ·
In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?
1 points0 comments