知识/定理
巴贝奇 1830s 设计差分机与分析机——可编程机械计算机的概念原型（含存储、处理器、程序控制）。
公式
（机器设计；含现代 CPU 的雏形：控制/存储/运算单元）
证明思路
用齿轮与打孔卡片实现存储程序控制；艾达·洛夫莱斯为其编写「算法」。
应用/例子
计算机科学的直接祖先；现代计算机的蓝图。
意义/影响
把「计算」机械化、程序化的先声；虽未建成，思想超前百年。
DOXA · 数学编年史 · 知识详情
1830s ｜ 巴贝奇 ｜ 应用 ｜ 机构
巴贝奇 1830s 设计差分机与分析机——可编程机械计算机的概念原型（含存储、处理器、程序控制）。
（机器设计；含现代 CPU 的雏形：控制/存储/运算单元）
用齿轮与打孔卡片实现存储程序控制；艾达·洛夫莱斯为其编写「算法」。
计算机科学的直接祖先；现代计算机的蓝图。
把「计算」机械化、程序化的先声；虽未建成，思想超前百年。