[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
686: 2022/04/28(木)20:02 ID:2eKniQGM(1/4) AAS
Cor 3.12の証明は出来ていないと思われる
それが出来ているならそもそも認められている
アイデアが求められるのは、証明出来ていないものは理解できないコンピュータと異なって、人間には埋めることができるから、証明できていないものを出来る形に汲み取ろうとしているだけ
687(3): 2022/04/28(木)20:05 ID:2eKniQGM(2/4) AAS
別スレに貼ってあったが、このショルツも参加するトークセッション「数学の形式化 コンピュータはいつ証明を行うのですか？」を、
日本の数学者はきちんと見て勉強したほうがいいんじゃないか？ドイツ語っぽいが
外部ﾘﾝｸ:hcm.uni-bonn.de
(Google翻訳、都度割愛)
今日、研究コミュニティは、証明が正しいかどうか、および数学的定理がピアレビュープロセスによって、つまり最終的にはコンセンサスによって証明されたと見なされるかどうかを決定します。原則として、誤った評価の可能性があります。
このような証明は、コンピューターによって正しいかどうかをチェックできます。
これが標準になることはもはやユートピア的ではないようです。
省1
688: 2022/04/28(木)20:07 ID:2eKniQGM(3/4) AAS
>>687
ちなみにこれ明日だな
youtube liveでも見られるらしい
690: 2022/04/28(木)20:35 ID:2eKniQGM(4/4) AAS
>>689
もちろんするが
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.045s