ProofWiki is an online compendium of mathematical proofs
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.
First comments on top threads
HN comment orderI remember that when I was a sophomore in high school I wanted to give a shot at higher maths and started reading some articles there. I found [0], which states that between any pair of distinct real numbers there exists a rational number. It was one of the first proofs I read, and found it so ingenious that I wrote it down and read it while commuting to school. Then I went on to study maths and found that…
The featured proof about the sum of Fibonacci numbers divided by 2^n is beautiful. When I started reading the proof I thought it was a mistake, a mismatch between the theorem to proof and the linked proof. I didn't expect using Kolmogorov axioms to prove this kind of sums. I really enjoyed reading it. I just learned something new today, thanks!
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.
- Breakout years
- 2
- Total points
- 321
- Total comments
- 48
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-06-15 | ProofWiki: An online compendium of mathematical proofs | seesawtron | 6 | 0 |
| 2022-05-07 | ProofWiki is an online compendium of mathematical proofsFirst breakout · Best thread | Tomte | 160 | 16 |
| 2023-09-02 | ProofWiki | Tomte | 1 | 0 |
| 2024-02-04 | ProofWiki: Online compendium of mathematical proofsLatest 20+ point return | Tomte | 154 | 32 |