「ABC予想」の証明理論、欠陥見つけたら1.4億円 (890ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
584: 2023/12/22(金)09:32 ID:79/AVPdI(1/2) AAS
>>581
証明にギャップがあるので望月以外には機械的に検証可能な形に変換ができない
585: 2023/12/22(金)10:15 ID:79/AVPdI(2/2) AAS
世の中の他の数学論文も大半が機械証明できるほど厳密に書かれていないが
前後の流れや分野ごとの慣習や結論からの逆算などで予想してギャップを埋めている
なので同じ考え方をしている仲間内では理解できるが外部の人間には理解不可能な論文などが偶に出てくる
機械証明するには望月とその愉快な仲間たちの輪の中に入って理解を深めないといけない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s