基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？

基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？at MATH

基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ - 暇つぶし2ch250:１３２人目の素数さん
24/05/23 15:54:34.15 iy+WwMGU.net
完全性という言葉は造語ではないよ
「ゲーデル完全」もしくは「ゲーデルの意味で」とかいうのが造語
そもそも「不完全性定理」の「不完全性」が誤訳だけどね
元の論文のタイトルを知ってるなら正しくは「決定不能定理」だね
そしてその系として理論の無矛盾性を示すはずの命題が決定不能
（つまりその命題の否定から矛盾が導けない）と分かる

次ページ

続きを表示

1を表示