Timeline for Results that are widely accepted but no proof has appeared
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 25, 2022 at 22:24 | comment | added | Timothy Chow | An example of a (minor) gap that was filled after the Aschbacher-Smith books were published is a 2008 paper by Harada and Solomon. As the introduction to the paper explains, proofs of the theorems in question had been announced more than once before, but either had errors or were unpublished. | |
| Apr 14, 2020 at 3:36 | comment | added | Praphulla Koushik | @MarkSapir would that contradict what Kevin Buzzard said in the slides? | |
| Apr 14, 2020 at 1:58 | comment | added | Alon Amit | Well, Ron Solomon says they’re still finding gaps. I don’t think anyone expects dramatic changes, but it’s hard to argue that the proof is as solid and final as the typical published paper. | |
| Apr 14, 2020 at 1:28 | comment | added | user6976 | A complete proof exists. Just not in one place. | |
| Apr 13, 2020 at 22:48 | comment | added | arsmath | Isn't there a now complete proof after the publication of Aschbacher and Smith? The point of the book series is to have the proof in one place, and because it can be proven more efficiently once you already know the complete list of simple groups. | |
| Apr 13, 2020 at 21:21 | comment | added | Alon Amit | Ah, didn't recall that. | |
| Apr 13, 2020 at 21:07 | comment | added | Wojowu | This is the first example discussed in Buzzard's talk (though he doesn't go over where CFSG is applied) | |
| S Apr 13, 2020 at 21:01 | history | answered | Alon Amit | CC BY-SA 4.0 | |
| S Apr 13, 2020 at 21:01 | history | made wiki | Post Made Community Wiki by Alon Amit |