なぜ数学の非専門家は「選択公理」や「不完全性定理」が好きなのか？

なぜ数学の非専門家は「選択公理」や「不完全性定理」が好きなのか？at MATH

なぜ数学の非専門家は「選択公理」や「不完全性定理」が好きなのか？ - 暇つぶし2ch464:B このパラドックスは、通常の論理学では回避できないことが判明し、哲学に大きな衝撃を与えました。 2.ラッセルによる新しい論理学の構築（1903年～） 1903年以降、ラッセルはパラドックスの原因が論理学の仕組みにあると見抜きました。自己と自己言及を明確に区別して混同しないルールを導入し、パラドックスが起こらない新しい論理学の仕組みを構築しました。 3.ウィトゲンシュタインによる論理学の研究（1911年～） 1911年頃から、ルートヴィヒ・ウィトゲンシュタインはラッセルの弟子となり、新しい矛盾のない論理学で何が言えるのかを研究しました。その結果、形而上学や哲学を論理的に扱うことは不可能であることが判明しました。 1921年に出版された「論理哲学論考」で、ウィトゲンシュタインは形而上学や哲学は論理学の誤用から生まれる全く意味のない妄想であると論理学を用いて証明しました。現在までにこの証明に反証できた人間は歴史上1人もいません。 4.ゲーデルの不完全性定理（1931年） 1931年、クルト・ゲーデルもラッセルの論理学に影響を受け、「論理学によって仮定そのものの正しさをその仮定から証明できるか？」を考察しました。ゲーデルは、それが不可能であることを証明しました（ゲーデルの第一不完全性定理）。この定理は、当初ペアノ算術におけるω無矛盾性が証明不可能として確立されましたが、後にロッサーの証明ではペアノ算術における単純無矛盾性、シェファードソンの表現定理により任意のΣ1集合で構成される任意の論理式に対して無矛盾性の証明が不可能であることまで拡張されました。 5.哲学の限界と科学の重要性（1920年代～） 1920年代以降、哲学的な仮定の正しさを論理的に証明する方法は存在しないことが明らかになりました。アイディアの正しさを決める方法は、現実との比較（実験）しかありません。つまり、正しさを決める方法は科学しかあり得ないことがわかります。

次ページ

続きを表示

1を表示