暇つぶし2chat MATH

- 暇つぶし2ch847:１３２人目の素数さん
20/05/03 15:34:42 vVCZgnBw.net
　どうせなら数学の理論を出してほしかったな

　フレーゲ：算術の基本法則
→ラッセルがパラドックスでひっくり返す

　ヒルベルト：算術の無矛盾性証明計画（ヒルベルト・プログラム）
→ゲーデルが不完全性定理でひっくり返す

　重要なのは両者とも、もともとその気はなかったけど
　つい発見してしまったというところ