Inter-universal geometry と ABC予想 (応援スレ) 74 (963レス)
前次1-
抽出解除 レス栞

899
(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/10(水)14:38 ID:+PMnxHB8(2/4) AAS
>>898
>数学はディベートじゃねぇよ

それは、まさに正しい
「数学はディベートじゃない」は正しい
一方で、世の中の現実を 数学で扱うとき
なんらかの ”simplification” を 採らざるを得ない

例えば、ニュートン力学による 皆既月食の計算だが
省23
900: 09/10(水)15:16 ID:9SZ3T+Dk(1) AAS
>>899
>数学は現実は切り離した 理想状態の純粋にロジックの議論

だろ?
しかし、望月新一はそのロジックの構築に完全失敗した
ショルツェは、望月新一の1000p超の記述は全くロジックとして解釈できないこと
そして、もし、ロジックとして解釈できるようにするには ”simplification”が必要であり
その ”simplification”を行うとロジックとして矛盾することを示した
省7
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 2.308s*