「ABC予想」の証明理論、欠陥見つけたら1.4億円 (890レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

430: 2023/08/01(火)18:06 ID:0PXxgaoV(1) AAS
無理
そもそも望月論文は通常の一階述語論理を用いているかすら不明
通常の数学の論文は一階述語論理に翻訳できる文章を普通の文章に書き直して記述されてる
その方法もほとんどdefacto standeredとして確立してるルールに則っていれば誰でも相互に翻訳できる
そもそも望月論文はそのルールを逸脱しているからそもそも「何言ってるかわからない」
ルールもなんもなしの世界で数学っぽい単語を並べ立ててるだけ
検証もへったくれもない
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 1.613s*