バートランド・ラッセルとアルフレッド・ノース・ホワイトヘッドの『プリンキピア・マテマティカ』

『プリンキピア・マテマティカ』は、論理的な基礎から数学を構成しようとした歴史的試みである。記法と公理化の厳密化は、現代の形式体系・型理論・計算機科学へ影響を与えた。

仕組みと確認

歴史的主張と後世の解釈を分け、論理主義が何を説明し、どこで複雑さや基礎づけの問題に直面したかを追う。現代の形式化へ接続するときは、同じ成果だと短絡しない。

限界と注意点

歴史は単線的な成功物語ではない。原典、成立時期、影響関係を確認し、哲学的主張と工学上の保証を別のものとして扱う。