26/04/21 21:06:05.48 GgJAWoSf.net
数学・ABC予想、証明に暗雲？ 国際チーム検証中、望月氏と議論へ
URLﾘﾝｸ(www.asahi.com)
>数学の超難問「ABC予想」の証明について、ZEN大学などの国際研究チームが31日、「1年半前から証明の検証を進めていた」と発表した。検証は途中だが、京都大の望月新一教授（57）の証明には「現時点で解明できていないポイントがある」「ギャップ（論理的な飛躍）の可能性もある」として、望月氏らと議論を続けているという。
2:１３２人目の素数さん
26/04/22 11:22:16.96 BuskvW/w.net
そもそも証明の形式化は証明を読んで理解するよりも大変なのに、世界の数論幾何の専門家がお手上げのものを形式化できるわけないじゃん
3:１３２人目の素数さん
26/05/05 06:11:57.94 kcfPwpMU.net
正論
4:１３２人目の素数さん
26/06/21 22:36:11.06 bGBrTD1VI
バカ市早苗が石油は足りてるだのほざきながらあちこちで不足してるのはクソ国土破壞省天下り賄賂癒着クソ航空テロリストが原因だからな
海外ではどの国もクソ航空テロリス├への供給優先度最低だが天下り強盗殺人犯罪腐敗テロ国家日本はあるゆる産業を潰してでも最優先にクソ
航空テ囗を継続させるべく最優先で供給させてるからな人類の未来を保全できるのはドナルドだけた゛とクソ原油価格上昇させてくれてんだから
日本は毎日グルク゛ルハ゛カ犬がてめえのシッポ追い回してるみたいな殺人テロリストクソポリ公へリ廃絶させるとともにクソ航空機に地球破壊税
としてクソヘリ含めて一回離発着するごとに数千万課税してクソ羽田もクソ成田も潰して永久に復活できないように住居専用地域にして切売り
地球破壊テロ抑制することて゛応えるのが事実上の属国としての義務だわなトランプが狂ってるた゛のほざいてるハ゛カがいるが狂ってるのは
カンコ一が經済だのほざいて莫大な温室効果ガスまき散らして気候変動災害連発人殺して私腹を肥やしてる何ひとつ価値生産できないどころか
騷音まき散らして知的産業壊滅させて日本をポンコツ貧乏国家に陥れた特に寄生虫だらけの痴呆に多いてめえら地球に湧いた害虫と゛もだろ
令和の成田闘争頑張ろう！ noise.wｅb.fc2.com