- 28 名前：１３２人目の素数さん mailto:sage [2011/07/01(金) 16:51:46.00 ]
- >>4
> ゲーデルの不完全性定理が出た時点で、数理論理はｵﾜｺﾝなんじゃないの？
>>6
>解のない方程式の存在が代数の終焉を意味するだろうか？
6のツッコミは正しくない。
いかなる代数方程式にも複素数解は存在する。
（ガウスの「代数学の基本定理」）
正しくは
「方程式が代数的に解けないことが代数の終焉を意味するだろうか？」
もちろん、意味しない。
そもそも、フレーゲも他の人も、
「述語論理式の証明可能性は決定可能だ」
などと請け負った覚えはない。
|
 |
