「ABC予想」の証明理論、欠陥見つけたら1.4億円
数学の超難問「ABC予想」を証明したとする京都大数理解析研究所の望月新一教授の理論について、ドワンゴ創業者で実業家の川上量生(のぶお)さんが7日、「間違いの証明」に100万ドル(約1億4千万円)の賞金をかけると発表した。
https://www.asahi.com/sp/articles/ASR7731Y5R76TOLB018.html この論争は原理的には"証明"を機械的に検証可能な形に変換することで解決できるのだが、
問題は懐疑論者たちの"無知"だけであり、その必要はないと信奉者は主張する。
しかし歴史が教えてくれることは、もしユークリッドに倣って数学を自分たちの考えに合うように作り直したいなら、
まずは誰もが理解できる言語で書かなければならないということだ。
https://press.princeton.edu/ideas/why-prove-it >>631
「解決」すると、論文書いた人は何も証明できてないと分かるから
なんとしても「解決」を阻止したいんだろう
しかし
2015年の時点で「ああ、こいつ何もできてねぇな」とばれてるし
2018年のSSの指摘で「完全に終わってる」
2020年の出版強行は不正査読の隠蔽
RIMSはダイハツ並みに腐敗堕落している