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