∫

数学

Mathematics
远古 基础科学 形式科学
领域发展进度 92%

研究数量、结构、空间与变化的形式科学。从古巴比伦计数、欧几里得几何,到微积分、抽象代数与现代拓扑,数学既是科学语言,也是独立的知识体系。

子分支

里程碑

前 300

欧几里得《几何原本》

公理化方法奠基

1675

微积分发明

牛顿与莱布尼茨

1931

哥德尔不完备定理

形式系统边界

已录成果

投稿 →
尚无已审核成果,成为第一个贡献者吧

领域灵感

献想法 →
还没有公开灵感

关联学科