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

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

88:１３２人目の素数さん
20/08/03 22:07:28 Bkb4DfVJ.net
>>87
定理のことを論法だと言ってる時点でなんかおかしいんだが言いたいことは分かる
ゲーデルの不完全性定理に矛盾があるかどうかはどっちでもいい

数学が無矛盾の場合、ゲーデルの不完全性定理によって無矛盾性は不可知
数学が矛盾してる場合、数学は無矛盾じゃない
よって、いずれの場合も”数学は矛盾しているかもしれない”と思いながら数学をするしかない

次ページ

続きを表示

1を表示