Dropping in on Gottfried Leibniz (2013)
9 days ago
- #historical mathematics
- #polymath
- #computational thinking
- 戈特弗里德·莱布尼茨出生于1646年，是一位博学者，致力于系统化知识，旨在创造一种用于计算知识表示的通用符号语言（‘思想字母表’）。
- 他对数学做出了重要贡献，包括发展积分和微分符号、探索二进制数，并设计了一台用于算术运算的机械计算器。
- 莱布尼茨预见到他的形式方法在科学、法律和神学等领域的应用，但其实际成功主要限于连续数学，在离散系统方面进展较少。
- 他在汉诺威的档案包含约20万页多样化的文件，包括笔记、图表和信件，其中许多尚未被充分研究，反映了他广泛的智力追求。
- 莱布尼茨的计算思维虽然超前于他的时代，但受到当时技术的限制，然而他的思想预示了现代概念，如通用计算和计算法律。