约公元前3400年至形式证明 · 一部不断展开的编年史
数学 流变史。
追寻数量、空间、不确定性、变化、结构与证明如何获得新形式，使新的数学思考成为可能。
🇨🇳 简体中文 ▾
R 记录M 方法P 证明S 系统／记号
—
—
正在加载时间线…
↔ 滚动、轻扫或拖动，浏览时间线
约公元前3400年至形式证明 · 一部不断展开的编年史
追寻数量、空间、不确定性、变化、结构与证明如何获得新形式，使新的数学思考成为可能。
正在加载时间线…
↔ 滚动、轻扫或拖动，浏览时间线