数学2009 · 分享于 Hacker News
On proof and progress in mathematics
探索《On proof and progress in mathematics》的原文与 Hacker News 社区讨论，查看来源并加入阅读清单。
从论文，走向讨论
看看社区如何讨论这个想法。
来自 Hacker News 的原始讨论。不同的视角、疑问，以及值得继续思考的线索。
最多展示 100 条相关讨论。论文可能出现在评论中，并非原帖投稿内容。
在讨论中发现的引用
按 HN 条目顺序展示最近的 50 条引用来源。
评论 #49367227 评论 #49366949 评论 #47574978 评论 #45077592 评论 #42401211 评论 #38340648 评论 #38215021 评论 #36778799 评论 #36774994 评论 #36770214 帖子正文 #36478839 评论 #36344681 评论 #27956478 评论 #27728184 评论 #24222443 评论 #23554706 评论 #23463017 评论 #23407352 评论 #15477562 评论 #13940790 评论 #12280961 评论 #11744378 评论 #9863121 评论 #9162533 评论 #8266577 评论 #7045905 评论 #6607163 评论 #6272389 评论 #6236645 评论 #4420117 评论 #4419847 评论 #982319
Ynromiun ·
Cognitive load is what matters
1,582 赞同522 评论
Yverbify ·
Fermat's Last Theorem – how it’s going
443 赞同210 评论
Yluu ·
Some stuff I found interesting about number theory research
348 赞同115 评论
Ykercker ·
The Mathematics Autodidact’s Aid (2005) [pdf]
216 赞同47 评论
Yrobinhouston ·
I hate the Pumping Lemma
167 赞同48 评论
Yjliszka ·
Exact numeric nth derivatives
164 赞同47 评论
Yyarapavan ·
In Mathematics, It Often Takes a Good Map to Find Answers
153 赞同23 评论
Yyummyfajitas ·
Will Our Understanding of Math Deteriorate Over Time?
144 赞同71 评论
Yyitchelle ·
Terence Tao: the Mozart of maths
143 赞同51 评论
YStandardFuture ·
What's a Mathematician to do?
140 赞同44 评论
Ygruseom ·
Bill Thurston has died
138 赞同18 评论
Yfanf2 ·
Boiling lead and black art: a history of mathematical typography
138 赞同39 评论
Ymatt_d ·
The Dawn of Formalized Mathematics
127 赞同58 评论
YCarolineW ·
Functional Programming, Abstraction, and Names
122 赞同72 评论
Yadenadel ·
Bill Thurston's answer to “What's a mathematician to do?” (2010)
104 赞同21 评论
Ybeefman ·
Computer Search Settles 90-Year-Old Math Problem
81 赞同19 评论
Ymikevm ·
15-819 Homotopy Type Theory
79 赞同32 评论
Ymaverick_iceman ·
On Proof and Progress in Mathematics (1994) [pdf]
63 赞同8 评论
Yur-whale ·
An enormous theorem: the classification of finite simple groups (2006)
54 赞同26 评论
Yfogus ·
What is math?
43 赞同35 评论
Ynikhilarundesai ·
Proof School
40 赞同32 评论
Ymreid ·
On proof and progress in mathematics
25 赞同5 评论
Ybeefman ·
Ninth Dedekind number found by two independent groups
12 赞同1 评论
Yjonbaer ·
Mathematics in the Age of AI
3 赞同0 评论
Yaakil ·
What do Mathematicians Do?
2 赞同0 评论
Ysebg ·
The Matrix Cookbook [pdf]
2 赞同0 评论
Ysusam ·
It's not mathematics that you need to contribute to (2010)
2 赞同0 评论
Yfor_i_in_range ·
The Sokal Hoax
2 赞同0 评论
Ygmays ·
Proof and Progress in Mathematics (1994)
2 赞同0 评论
Ytzury ·
Proof and Progress in Mathematics
2 赞同0 评论
YDavidSJ ·
On proof and progress in mathematics (1994)
1 赞同1 评论
Yjgyou ·
On proof and progress in mathematics (1994)
1 赞同0 评论
Yedjroot ·
On proof and progress in mathematics (1994) [pdf]
1 赞同0 评论
YSongofEarth ·
Ask HN: What are you farovite essay-papers?
1 赞同0 评论
Yisaacfrond ·
In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?
1 赞同0 评论