Timeline for Endless controversy about the correctness of significant papers
Current License: CC BY-SA 4.0
14 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 9 at 14:28 | comment | added | Timothy Chow | @Riemann Not necessarily. See for example the Liquid Tensor Experiment. And the Feit-Thompson odd order theorem was formalized over ten years ago. | |
| May 9 at 13:33 | comment | added | Riemann | Aren't proof assistants decades away from formalizing higher mathematics? | |
| May 8 at 12:40 | history | edited | Timothy Chow | CC BY-SA 4.0 |
Added a fourth update
|
| May 8 at 12:32 | comment | added | Timothy Chow | @Riemann I wish Kawakami had instead offered $1 million for a formal proof of the abc conjecture (in a proof assistant such as Lean or Coq). Actually, I guess that someone else can still offer such a prize. It would then be interesting to see what the general public makes of it when years go by with neither prize being claimed. | |
| May 8 at 9:57 | comment | added | Riemann | Nobuo Kawakami is now stimulating research into Mochizuki's theory with cash rewards. scientificamerican.com/article/… | |
| May 8 at 9:50 | comment | added | Riemann | A question about editors-in-chief publishing in their own journal is asked here: academia.stackexchange.com/questions/10049/… | |
| Jun 14, 2023 at 6:37 | comment | added | Olivier | Then again, if I were told in Japanese that my proof is "too difficult to understand" or that "lemma X seems difficult", I would immediately interpret this as my interlocutor trying to convey that my proof is faulty without upsetting social norms. | |
| Feb 6, 2023 at 11:19 | comment | added | David Roberts♦ | What muddies the water is that either of the two main parties in the dispute may have flaws in their argument, but have the correct conclusion. Both of these opinions have been expressed to me by people who I know are not just leaping to a conclusion! | |
| Feb 3, 2023 at 23:56 | history | edited | Timothy Chow | CC BY-SA 4.0 |
Added another update
|
| Feb 3, 2023 at 16:21 | comment | added | Rafał Gruszczyński | Mochizuki being the editor-in-chief of PRIMS does not contribute to the validity of his work, to put it mildly. | |
| May 31, 2021 at 12:30 | history | edited | Timothy Chow | CC BY-SA 4.0 |
Added link to published version of papers
|
| Jun 1, 2020 at 17:43 | history | edited | Timothy Chow | CC BY-SA 4.0 |
Added an update
|
| S Dec 31, 2018 at 19:37 | history | answered | Timothy Chow | CC BY-SA 4.0 | |
| S Dec 31, 2018 at 19:37 | history | made wiki | Post Made Community Wiki by Timothy Chow |