Neblux 知識グラフ
公理系
公理系とは、明示的に述べられた公理の集合から論理的推論規則を用いてすべての定理を導く形式的構造である。
概要
公理を中心に知識を体系化する方法は数学の根幹をなし、古代ギリシャに遡る。ユークリッドは紀元前約三百年に著した『原論』で、五つの公準から数百の幾何学的命題を導き出し、この手法の範例を示した。十九世紀から二十世紀にかけて公理的思考に革命が起きた。ダフィット・ヒルベルトは幾何学を公理的に再定式化し、フレーゲ、ラッセル、ホワイトヘッドはすべての数学を形式論理に基礎づけようとした。一九三一年にゲーデルが証明した不完全性定理は、算術を表現できる十分強力な公理系には自身では証明できない真の命題が必ず存在することを示し、数学の哲学を根本から変えた。
なぜ重要か
公理系は現代数学のほぼすべての分野を形成し、集合論・代数・位相幾何学などに厳密な基礎を与えた。その影響はコンピュータ科学にも及び、形式的公理手法はソフトウェア検証・型理論・自動証明ツールを可能にした。形式系が内在的な限界を持つという洞察は、認識論と科学哲学を深く変革した。
何の上に築かれるか
どこへ導くか
関連する概念
- 幾何学歴史
- 形式論理概念
- 科学方法概念
- コンピュータサイエンス応用
- 哲学概念