幾何学基礎論幾何学基礎論(きかがくきそろん、英: foundation of geometry、独: Grundlagen der Geometrie)は、ユークリッド幾何学の公理系に関する研究である。 平行線公準の問題より非ユークリッド幾何学が生まれたが、それは同時にユークリッド幾何学の厳密性にも疑問が投げかけられることでもあった。すなわち、
という疑問を解決すべく幾何学基礎論の研究が進められてゆくこととなる。 同時期にはラッセルのパラドックスにみられるように集合論でも似たような問題が起こり、数学の基礎そのものに疑問が持たれる時代であったが、ヒルベルトは形式主義に基づく方法によって、これらの問題を解決すべくヒルベルトの公理系を考案した。彼の著した『幾何学基礎論』はユークリッド幾何学の公理系を最も厳密に吟味した著作としても有名である。 また更に現代的なものとしてタルスキの公理系がある。"Metamathematische Methoden in der Geometrie"でその詳細を確認できる。 参考文献
関連項目外部リンク |