Timeline for Theorems with many distinct proofs
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 27 at 2:50 | comment | added | John Stillwell | The proof by Harnack is in Mathematische Annalen 25 (1885) pp. 241 - 250. It can indeed be viewed as a measure theory proof that the reals are uncountable, but Harnack misunderstood what he had proved. For a discussion of Harnack's mistake, see David Bressoud's A Radical Approach To Lebesgue's Theory of Integration, p. 63. | |
| Apr 21, 2022 at 23:34 | comment | added | bof | Gleasoin & Dilworth proved a generalization of Cantor's theorem (the one about no surjection from $X$ to $\mathcal P(X)$) which in particular gave a new proof of Cantor's theorom, quite different from the classical diagonalization proof. | |
| Aug 14, 2021 at 3:47 | history | edited | BCLC | CC BY-SA 4.0 |
added 169 characters in body; added 5 characters in body
|
| Aug 12, 2021 at 16:11 | history | edited | Holo | CC BY-SA 4.0 |
deleted 5 characters in body
|
| S Aug 12, 2021 at 16:02 | history | answered | Holo | CC BY-SA 4.0 | |
| S Aug 12, 2021 at 16:02 | history | made wiki | Post Made Community Wiki by Holo |