[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 49 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
594(2): 2020/04/13(月)17:50 ID:TnD+4OAc(1/8) AAS
>>446
>数論幾何の専門家が中高年になるまで心血注ぎ込んで掛けて来た時間と人数にくらべて、
>若い天才といっても１人の専門外の人がチョチョイと直ぐ見抜ける
>「修正不可能なギャップが根幹に有って誰も専門家が気が付かなかった」
>って考え難いんですよね
違う。望月は証明できたとし、周囲の人間は理解できないけれども身内びいきの感情で、
認めてしまったというだけのこと。
省4
599(1): 2020/04/13(月)17:56 ID:TnD+4OAc(2/8) AAS
>>483
望月の側に査読者を選ぶ権利無し。
こんなことをいう時点で世界の笑いもの
605(2): 2020/04/13(月)18:05 ID:TnD+4OAc(3/8) AAS
>>598
分かってないまま正しいと認めたんだろう。
612(3): 2020/04/13(月)18:11 ID:TnD+4OAc(4/8) AAS
>>609
説明できていないから.
ちなみに、ギャップのない証明があるならば、機械で検証できる。
望月応援団は機械で検証できる証明を提示していない。
ゆえにギャップのない証明は存在しない。
事実として今現在存在しない。
617: 2020/04/13(月)18:19 ID:TnD+4OAc(5/8) AAS
コンピュータによる証明検証だよ。
今はそれが可能。
近い将来
「証明がわかる」ということを、コンピュータで証明可能な書き下しをすることを意味するようになるだろう。、
「証明になっている・なっていない」の押し問答でエネルギーを無駄に消費するのは意味がないから。
619(1): 2020/04/13(月)18:22 ID:TnD+4OAc(6/8) AAS
望月は今や、ケプラー予想の先行権を主張したウーイーシアンみたいな立ち位置だな。
これだからアジアンは、って言われないことを希望するよｗ
624: 2020/04/13(月)18:35 ID:TnD+4OAc(7/8) AAS
>>622
ケプラー予想の証明はこの度機械で検証した。
査読者は99％正しいとといっていたが、残り1％の可能性を消すためにも必要だったのだろう。
今までの数学の確立された業績で、証明に疑問のあるものは存在しない。
望月のは現に異議存在する以上機械で検証にかけるよう求めるのは当然だろう。
627(1): 2020/04/13(月)18:57 ID:TnD+4OAc(8/8) AAS
最近の一流の棋士は将棋ソフトで学ぶそうだが、
もうすぐ数学者たちも機械にセンスを学ぶようになるだろう。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.060s