25/10/05 11:09:29.12 WQCiyDJV.net
>>457
>IUT理論の方は、既存の数学とはその基本的な考え方のみならず、それが使用している言語が全く異なるものです
例えば現代数学の基礎となっている一階述語論理はフレーゲが1879年に出版した「概念記法」に始まり、1929年にゲーデルが完全性を証明するまで実に50年かかっており、その間に歴史に名を遺すような大数学者が何人も関わっている。
「既存の数学とは言語が全く異なる」と簡単に言ってくれるが、望月一人でそんな大仕事を成し遂げたとはとても信じられない。
その新たな言語が完全でなければ証明は意味を為さない。証明された定理が論理的帰結である保証が無いのだから。