数学的実在とは－幾何学－9－原論と基礎論(7)

ユークリッドの『原論』における線や角の定義を見てみましょう。 . . . 本文を読む

数学的実在とは－幾何学－8－原論と基礎論(6)

ヒルベルトの『幾何学基礎論』での公理系における角の合同について述べます。ここでの角の定義も線分の定義と同様に、一般的イメージとは若干のずれがあります。また角度という量はまだ導入されてはいません。 . . . 本文を読む

数学的実在とは－幾何学－7－原論と基礎論(5)

７点７線モデルを導入します。そしてヒルベルトの構想に従い??、ビールジョッキとテーブルのモデルも導入します。 . . . 本文を読む

数学的実在とは－幾何学－6－原論と基礎論(4)

ヒルベルトの『幾何学基礎論』での公理系における線分の合同について述べます。ここでの線分の定義は２点間の無限点集合ではありません。 . . . 本文を読む

非ユークリッド幾何学本の紹介

　非ユークリッド幾何学と現代の公理系の考え方について、野崎昭弘『不完全性定理』筑摩書房(2006/05)が良い本です。この本でのゲーデルの不完全性定理に関する記載も、私が読んだ類書の中では一番わかりやすくかつ正確な解説だと思います。ただしこの本の第1章に記載された数学的証明の起源に関するよく知られた通説は、最新の歴史学では否定されています。 . . . 本文を読む