[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 49 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
299(1): 2020/04/12(日)20:26:35.46 ID:/FOR6Xpt(11/18) AAS
>>287
これ不自然だよね
2月の時点でアクセプトが決まってたんだろ？
なんで3月に証明がアップデートされたんだ？
773: 2020/04/14(火)12:47:23.46 ID:KBbdfDDX(8/11) AAS
若くしてフィールズ賞受賞したイケイケの数学者が
自分の整数畑でとんでもない基礎理論をぶち上げた日本人数学者が出現
名のある数学者が理解できないと匙を投げる中がんばって読んで噛み付いたけど
そっこーモッチーに反論されてしまい査読が終わるまでの2年間再反論はしなかった
できなかったと言うのが本当のところじゃないかな
実は数学そのものの概念を変えてしまうほどの理論だったと若い天才は気付いたのかも
932: 野暮天 2020/04/14(火)22:31:42.46 ID:KeVcPD0N(48/51) AAS
見栄坊は日本語で書かれた数学書や数学雑誌の記事も誤読するからのう
正規部分群の定義は間違う
数セミの記事「箱入り無数目」の無限列の尻尾の同値関係および
決定番号の定義も読み間違う
上記は初歩レベルであってこんなところで読み間違う人は珍しい
読字障害もしくは注意欠陥多動性障害（ADHD)を疑わせる
前者はともかく、後者は💊で改善するらしいぞい
983(2): 2020/04/15(水)12:59:36.46 ID:LTi2Xsr9(1/5) AAS
>>979-980
１．有限単純群の分類で、2012年 証明支援言語Coqを用いたファイト・トンプソンの定理(1963)の機械的チェックの成功をアナウンスした
しかし、その他の大部分は 機械的チェックなしなのです
２．1983 ゴーレンシュタインが、分類の証明が完了したとアナウンスした後、実は大穴が明いていることが判明(下記)
３．2004 アシュバッハーとスミス（ドイツ語版）が準薄群（すなわち偶数標数の体上の多くともランク2のリー型の群）について彼らの仕事を出版し、この時点で知られている分類の最後のギャップが埋められた
４．2008 原田とソロモンがマシュー群 M22（英語版） をカバーする、標準成分をもつ群についての分類の小さなギャップを埋めた。まあ、小さなピンホールがあったんだねｗ
省14
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.045s