全ての命題が真かもしれないという事実

全ての命題が真かもし ..

70:１３２人目の素数さん
20/08/03 04:00:51.81 Bkb4DfVJ.net
>>67
あんたが主張できてるのは「ペアノの公理に矛盾が見つかった時にペアノの公理とプレスバーガー算術の
差分を考えることでプレスバーガー算術の無矛盾性が矛盾の原因の特定に役立つ」ということだけど
そういう"もしも"の有用性はあるかもしれないけど現実にはペアノの公理に矛盾があるという前提はないし
その有用性が発揮される未来があるのか不明だよね
人類の歴史が今後矛盾を発見せずに終われば「結局役に立つことはありませんでした」ってなる
仮想的な話じゃなくて、「数学の無矛盾性が証明できないがゆえに数学の証明には信憑性がない
（Pを証明しても￢Pが真である可能性を否定できない）」という現実の問題に対して
プレスバーガー算術の無矛盾性が何の役に立つのさ

次ページ

続きを表示

1を表示