[過去ﾛｸﾞ] Inter-universal geometry と ABC 予想 45 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
41: 2020/03/03(火)23:28:26.39 ID:nAXxpE7n(1) AAS
京都でも大阪ライブハウスが発生源
でついに感染者がでたが
IUTは何も予想できなかった。
焼肉屋で唾を飛ばす勢いでIUTの会話して
も周囲の人たちは大丈夫だろうか？
焼肉も盛り合わせだろうし
203: 2020/03/09(月)15:37:57.39 ID:bYkUA0JQ(1) AAS
U+2026
207: 2020/03/09(月)17:15:04.39 ID:N/3DceFI(1) AAS
秋田弁ならショッルツ
284: 2020/03/13(金)21:47:51.39 ID:COJG8+zw(1) AAS
まずでか
438: 2020/03/24(火)12:42:37.39 ID:eRmTrzOC(1/4) AAS
>>435
彼らは「知ってた」か「従来の証明より簡潔になった」かと思ってるはず
知らんけど
595: 2020/04/03(金)03:29:40.39 ID:HZBBJGPF(5/5) AAS
>>520
>おそらく、「コンピュータを使用しない証明は、得られない！」
>最初の例になるのではないかといわれている
>「4色問題」は、これはこれで意義があると思う。定理証明系Coqなどにも繋がっている
>そういう意味で、「コンピュータしらみつぶし」証明の歴史を開いた意義があると思う
数学的な意味はないし数学的な価値もないし
数学の理論でもない
618: 2020/04/03(金)14:34:58.39 ID:eZTNngAk(1) AAS
これで望月さんは佐藤幹夫を超えたの？
779: 2020/04/03(金)18:43:10.39 ID:i9sncep7(2/2) AAS
コロナ騒ぎあるから映像ニュースはないな。
平時だったら京大にマスコミ殺到してたろう。
モッチーからしたらラッキーだろうが。
807(1): 2020/04/03(金)19:30:29.39 ID:dOTyGJJe(2/5) AAS
EMSが今回のプレスリリースを知らず、またmajor revisionsがあるかどうかも知らないなら、
査読結果がEMSに送られていないのだろう。掲載の通知を一度もしていないということ。
Sholzeは今回の報道でも意見を変える気がないらしいので今後海外勢の説得はかなり難しいんじゃないか。
812: 2020/04/03(金)19:37:38.39 ID:Giqrz/Jd(12/13) AAS
>>806
Fumiharu Kato 加藤文元@FumiharuKato 41分
IUT理論によるフェルマーの最終定理の証明は、まだ今のところはなされていません。
フェルマーが出るためには「強いABC予想」が証明される必要がありますが、それはIUT理論を使っても証明はまだされていません。
シータ@Perfect_Insider 2017年12月16日
ABC予想は
強いABC予想「互いに素な正整数a,b,c(a+b=c)について、c<rad(abc)^2」
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s