レンマ：
決定不能命題が証明不可能であれば数学は無矛盾であるｗ
それにしてもゲーデルの間抜けさったらないですのや。「数学は無矛盾であれば無矛盾性は証明デキない」「数学が矛盾しておれば無矛盾性は証明デキる」とか言いますやろ、で、そしたら逆もまた真になるので「無矛盾性が証明デキなければ数学は無矛盾である」とだって言えてしまいますがな、そうですわな。
そこが形式主義だと
「無矛盾性は証明デキないとも証明デキない」
だから何も言えない、となるのですがなｗ
そこでワシは
「ゲーデル命題は決定不能命題の集合である」
と考えておるのじゃ！
そしたら
「決定不能命題が証明不可能であれば数学は無矛盾」
とだって言えますがな、そうですがなｗ
ゆえに「数学は無矛盾である」と証言し得る！
メ デ タ シ メ デ タ シ
決定不能命題が証明不可能であれば数学は無矛盾であるｗ
それにしてもゲーデルの間抜けさったらないですのや。「数学は無矛盾であれば無矛盾性は証明デキない」「数学が矛盾しておれば無矛盾性は証明デキる」とか言いますやろ、で、そしたら逆もまた真になるので「無矛盾性が証明デキなければ数学は無矛盾である」とだって言えてしまいますがな、そうですわな。
そこが形式主義だと
「無矛盾性は証明デキないとも証明デキない」
だから何も言えない、となるのですがなｗ
そこでワシは
「ゲーデル命題は決定不能命題の集合である」
と考えておるのじゃ！
そしたら
「決定不能命題が証明不可能であれば数学は無矛盾」
とだって言えますがな、そうですがなｗ
ゆえに「数学は無矛盾である」と証言し得る！
メ デ タ シ メ デ タ シ
アクセス
トータル
ランキング
「矛盾している体系では肯定と否定の両方が証明されるであろう決定不能命題が、どっちとも証明デキないのだから数学は矛盾していない」
残念ながらこれは証言です。
けどな、こういったことも言えないよりはマシｗ
先生の論は、形式主義ではないとすると、直観主義に分類されるものですか？
私は数学は専攻したことが無いので、良くは知らないのですが。
ドッチかと言ったら直観主義でショーね！