数学の時代区分
- エジプト／バビロニア／中国の時代 事実と手法の集積
- ギリシャ、ユークリッドは紀元前300年前後アレクサンドリアの人、 公理と証明の発明
- 19世紀 古典述語論理と集合論による厳密化・体系化、ヒルベルト
- ？ コンピュータで検証可能な記述
問題点：
- エラボレーション機能、省略や暗黙のルールの解釈
- ライブラリの編成〈組織化〉方法と管理方法、検索にも関連する
- ライブラリへの検索機能
- ソフトウェアの相互運用性 参考： Dudukti System, OMDoc, OpenTheory
数学の時代区分
問題点：