History of the foundations of mathematics
ゲーデル紀行： ウィーン、ブルノ Goedel in Vienna and Bruno
公理主義、形式主義、 証明論、構造主義 "Axiomatism", Formalism, Beweistheorie, Structuralism in Mathematics
ゲーデル本あれこれ Reviews of Books on Goedel
エッセイ・論文・講演 Essays Papers Talks
- ９９年日本数学会秋季総合講演会基礎論および歴史分科会一般講演 A talk at Japanese society of mathematics, 1999
- ２０００年日本数学会年会基礎論および歴史分科会企画特別講演PPTファイル PPT slides for the invited talk on Hilbert at Japanese society of mathematics, 2000.
- ヒルベルトと２０世紀数学 -公理主義とはなんだったか？- Hilbert and 20th century mathematics -what was Hilbert's axiomatics?-
- 世界をまるごと理解できるだろうか Understanding the universe once and for all?
- メタの世界 The "Meta"-world
- 数学基礎論３つの神話 Three myths about the foundations of mathematics
- ２０００年日本数学会年会基礎論および歴史分科会企画特別講演レジュメ改訂版 A summery for the invited lecture on Hilbert at Japanese society of mathematics, 2000.
- Hilbert Workshop 講演 Hilbert and Computation pdf PPT slides of a talk at Hilbert workshop, Tokyo, 2002.
- 共立数学史研究会 2007
- 真のHilbert 像をもとめて-Hilbert 研究の現状-: 2007年10月に津田塾大学での数学史シンポジウムにて招待講演を行いました。その講演の ppt file と報告集用の原稿です。(2008年3月16日訂正版アップ）
未完成原稿 Unfinished Papers
Hilbert mathematical notebooks
このページの文章、写真、イラスト等の
無断使用は禁止します。 リンクは自由です。