人物 · PERSON
ダーフィト・ヒルベルトダーフィト・ヒルベルト
形式主義の数学者
ゲッティンゲンを拠点に20世紀数学の課題を方向づけたドイツの数学者で、『幾何学の基礎』では公理を無定義用語を暗黙に定義するものとして扱う近代的公理論を示した。公理の意味をめぐるフレーゲとの往復書簡と論争は、数学基礎論の方法を決める節目となった。
人物 · PERSON
形式主義の数学者
ゲッティンゲンを拠点に20世紀数学の課題を方向づけたドイツの数学者で、『幾何学の基礎』では公理を無定義用語を暗黙に定義するものとして扱う近代的公理論を示した。公理の意味をめぐるフレーゲとの往復書簡と論争は、数学基礎論の方法を決める節目となった。