数学
从计数到抽象
追寻数量、空间、不确定性、变化、结构与证明如何获得新形式，使新的数学思考成为可能。
- 约公元前3400年
- 公元前2千年纪初
- 抄本约公元前1650年
- 公元前5世纪至4世纪
- 约公元前300年
- 不晚于约公元1世纪编纂
- 628年
- 约公元820年
- 1202年
- 1591年
- 1637年
- 1654年
- 1684年
- 19世纪初
- 1829年
- 手稿1830年至1832年；出版1846年
- 1874年
- 1879年
-
1931年
形式算术触及内在界限
Kurt Gödel
哥德尔证明，表达能力足够强且相容、其公理和推理规则可机械地规定的形式系统，总有一些算术真理无法在系统内部证明。在满足有关证明表示的必要条件时，这些系统也无法证明自身的相容性。
-
1976年
重要证明把穷举情形交给计算
Kenneth Appel · Wolfgang Haken
阿佩尔与哈肯证明，由连通区域组成的平面地图只需四种颜色即可着色，使共享边界两侧的区域颜色不同。他们借计算机检验了大量构形，改变了关于何谓可供审查的数学证明的讨论。
滚动、轻扫或拖动，浏览时间线