Timeline for Use of Conjectures to Prove a Theorem
Current License: CC BY-SA 2.5
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 24, 2010 at 3:29 | answer | added | David Spivak | timeline score: 22 | |
| Jul 24, 2010 at 3:11 | answer | added | Richard Borcherds | timeline score: 31 | |
| Jul 24, 2010 at 2:41 | vote | accept | KmL | ||
| Jul 24, 2010 at 1:49 | comment | added | Arturo Magidin | @Anweshi: Aha! Yes, that sounds exactly like what I would have read; sorry I didn't notice it when I posted my comment. Thanks. | |
| Jul 24, 2010 at 1:45 | comment | added | Anweshi | @Arturo Magidin: That is the Gauss class number problem. See my answer. | |
| Jul 24, 2010 at 1:44 | comment | added | Arturo Magidin | @wzzx: it would in the end be a proof by cases. But for example, I dimly remember a book (number theory or algebraic geometry almost certainly) that talked about a major conjecture; it was first proven by one person that the conjecture was a consequence of the Riemann hypothesis being true; some years later, someone else proved that the conjecture would also follow from assuming the Riemann hypothesis was false. This final link was, of course, seen together with the original work as a proof of the original conjecture. Perhaps someone can fill in my dim memory... or I'll try to find it Monday. | |
| Jul 24, 2010 at 1:18 | answer | added | Anweshi | timeline score: 20 | |
| Jul 24, 2010 at 1:15 | comment | added | Ryan Thorngren | Shouldn't any such two proofs be able to be rewritten as cases? | |
| Jul 24, 2010 at 1:13 | history | asked | KmL | CC BY-SA 2.5 |