Timeline for The use of computers leading to major mathematical advances II
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 4, 2023 at 22:17 | comment | added | Sam Nead | +1 - Just spent 30 minutes skimming the paper. The title of Section 16: "How wrong was Euclid?". Full disclosure - in that section they only sketch the various problems they found. As they repeatedly note, mostly this paper is about the work needed to carry out the proof checking (of their formalised, and corrected!, proofs). They promise a future paper which will expand upon the fixes needed... | |
| Jun 30, 2021 at 14:52 | history | edited | Dmitri Pavlov | CC BY-SA 4.0 |
deleted 9 characters in body
|
| S Jun 30, 2021 at 13:14 | history | answered | Archie | CC BY-SA 4.0 | |
| S Jun 30, 2021 at 13:14 | history | made wiki | Post Made Community Wiki by Archie |