灰谷薫さん
これ面白い

https://note.com/haitani_kaworu_s/n/n665b84575734
第3章：ポストゲーデル時代の数学基礎論の迷走
灰谷薫
2025年5月31日
3.1 集合論的基礎（ZFC）への退却とその不完全性
Zermelo-Fraenkel公理系＋選択公理による「暫定的基盤」
ヒルベルトプログラムの破綻後、数学界は実用的な基礎として集合論に退却した。この選択は、数学的厳密性と実用性の妥協案として機能したが、根本的な問題を内包していた。

大基数公理の導入とその哲学的問題
独立性問題に対する一つの応答が、大基数公理の導入であった。

大基数公理の動機：
・ZFCの決定力向上：多くの独立的命題が解決
・数学の実際との整合性：既存定理の自然な基礎
・階層の統一性：体系的な基数理論の構築

集合論的基礎の「任意性」と「不完全性」
ZFC系の問題は、その根本的な「任意性」と「不完全性」にある。

実用主義的受容の問題：
現在のZFC受容は、主に実用主義的理由による：
・「うまく機能している」
・「矛盾が見つかっていない」
・「代替案がない」
しかし、これは真の基礎づけではない。ヒルベルトが求めた「絶対的確実性」とは程遠い妥協案に過ぎない。

「基礎の多元性」と統一理論の困難
ポストゲーデル時代の特徴は、統一的基礎の不在と「基礎の多元性」の常態化である。

実用的問題の深刻さ：
1. 教育面での困難：
・学生にとっての概念的混乱
・古典数学との用語の非互換性
・直観的理解との乖離
2. 数学的実践との断絶：
・既存定理の大幅な修正または破棄
・証明技法の根本的変更
・数学文献との非互換性

3.4 計算機科学的アプローチの限界