mathematics & logic
数学 与逻辑
从计数到范畴论，从欧几里得到陶哲轩——探索人类思维最纯粹、最有力的形式。
mathematical eras
数学的时代
古代数学
Ancient Mathematics
前3000年–公元500年
巴比伦算术、埃及几何、希腊公理化方法的诞生
中世纪数学
Medieval Mathematics
500年–1400年
阿拉伯代数学、印度十进制、中国剩余定理
近代数学
Early Modern Mathematics
1400年–1800年
微积分的发明、解析几何、概率论的开端
现代数学
Modern Mathematics
1800年–1950年
非欧几何、集合论、抽象代数、拓扑学的兴起
当代数学
Contemporary Mathematics
1950年–至今
计算机辅助证明、范畴论、朗兰兹纲领
featured mathematicians
杰出数学家
landmark theorems
里程碑定理
mathematical paradoxes
深刻悖论
mathematical deep readings
从问题史理解数学
不只给出结论，也追踪证明、概念和应用为何出现，以及它们改变了什么。
群论与对称
群论; 对称性; 伽罗瓦; 群作用; 表示论; 李群; 物理学; 晶体学 标题：群论是描述对称性的数学语言
代数线性代数的几何意义
线性代数; 向量空间; 线性变换; 矩阵; 特征值; 基变换; 几何直觉 标题：向量是箭头——线性代数的几何直觉
分析微积分的故事
微积分; 极限; 导数; 积分; 牛顿; 莱布尼茨; 柯西; 魏尔斯特拉斯; 微积分基本定理 标题：穷竭法——微积分的远古先驱
分析无穷的故事
无穷; 康托尔; 集合论; 基数; 可数无穷; 不可数无穷; 连续统假设; 对角线论证 标题：从芝诺悖论到集合论——无穷的哲学困扰
几何非欧几何革命
平行公设; 非欧几何; 双曲几何; 椭圆几何; 罗巴切夫斯基; 鲍耶; 高斯; 黎曼; 几何基础 标题：平行公设——几何学的阿喀琉斯之踵
几何拓扑学入门
拓扑学; 同胚; 欧拉示性数; 基本群; 连通性; 紧致性; 莫比乌斯带; 克莱因瓶 标题：橡皮膜几何学——形状的本质