【数学】人類史上最大の難問の一つ 「リーマン予想」 ついに解明か / 名乗り出たのはフィールズ賞受賞数学者マイケル・アティヤ氏[09/26]

[0571 ニュースソース検討中＠自治議論スレ 2018/10/13(土) 05:50:28.22 ID:oK8SmSaL]

無矛盾性は証明不能としても、数学の世界で一応一度正しいと証明された定理が後に覆されることなんてあるのか？