There's more to mathematics than rigour and proofs (2007)
Report a link problem
Submission timeline
2007–2026One slot for every year since HN launched. Height is that year's peak points; orange marks a 100+ point or 50+ comment breakout. Select a bar to open its strongest thread.
Top comments
> The distinction between the three types of errors can lead to the phenomenon ... of a mathematical argument by a post-rigorous mathematician which locally contains a number of typos and other formal errors, but is globally quite sound, with the local errors propagating for a while before being cancelled out by other local errors I was initially amazed at this when I was in graduate school, but with enough experience I started to do it myself. Handwaving can be…
One day I'll retire and go back to school. The idea of learning Math - really learning & understanding Math - as a fun pastime is so appealing. What's stopping me now? That sweet overpaid SDE salary and the endless obligations that come from being an adult. I suspect I am not alone...
The first top-level comment from each of the four biggest threads, in HN’s own order. Excerpts are shortened; open a comment for full context.
HN stats
- Breakout years
- 2
- Total points
- 352
- Total comments
- 188
100+ points or 50+ comments
reference only — not used in Hall rules or ranking
reference only — not used in Hall rules or ranking
Every submission
| Date | Title as submitted | By | Points | Comments |
|---|---|---|---|---|
| 2020-02-10 | There’s more to mathematics than rigour and proofs (2009) | phonebucket | 2 | 0 |
| 2021-01-15 | There’s more to mathematics than rigour and proofs | jasim | 3 | 0 |
| 2021-11-08 | There’s more to mathematics than rigour and proofs | ent101 | 4 | 0 |
| 2022-04-19 | There’s more to mathematics than rigour and proofs (2007)First breakout | _ttg | 145 | 90 |
| 2024-03-06 | There's more to mathematics than rigour and proofs (2009) | fzliu | 3 | 0 |
| 2024-06-19 | There's more to mathematics than rigour and proofs (2007)Best thread · Latest 20+ point return | haraball | 195 | 98 |