致敬先驱
这一页献给过去 380 年里奠定了现代软件基础的人 —— 从 1643 年的牛顿,到 2024 年仍在影响编译器设计的维尔特。卡片标注姓名、生卒年、国籍或学派、一句话价值;URL 指向 Wikipedia 作为权威锚点。
收录标准:对现代计算或软件工程产生奠基性影响;不收录"当代技术博主/工程师"(已在 /tribute/)。共 47 位分 4 组排列。
数学巨匠 12
-
笛卡尔 René Descartes
解析几何的发明者,"我思故我在"把理性主义立成近代哲学的起点
en.wikipedia.org/wiki/Ren%C3%A9_Descartes -
莱布尼茨 Gottfried Wilhelm Leibniz
与牛顿各自独立发明微积分;设计的步进计算机是二进制与计算思想的最早实践
en.wikipedia.org/wiki/Gottfried_Wilhelm_Leibniz -
欧拉 Leonhard Euler
18 世纪最多产的数学家:e / i / π 的关系、图论、变分法 —— 现代数学符号的奠基者
en.wikipedia.org/wiki/Leonhard_Euler -
拉格朗日 Joseph-Louis Lagrange
变分法与拉格朗日力学,把"分析"塑造成现代物理的语言
en.wikipedia.org/wiki/Joseph-Louis_Lagrange -
高斯 Carl Friedrich Gauss
"数学王子":最小二乘、高斯分布、黎曼几何的早期形态、非欧几何的钥匙
en.wikipedia.org/wiki/Carl_Friedrich_Gauss -
伽罗瓦 Évariste Galois
20 岁决斗身亡前留下的群论,开创现代抽象代数的方向
en.wikipedia.org/wiki/%C3%89variste_Galois -
黎曼 Bernhard Riemann
黎曼几何、黎曼积分、素数分布猜想 —— 爱因斯坦广义相对论的数学舞台
en.wikipedia.org/wiki/Bernhard_Riemann -
康托尔 Georg Cantor
集合论之父,证明无穷有大小之分,把"无限"从哲学带进数学
en.wikipedia.org/wiki/Georg_Cantor -
庞加莱 Henri Poincaré
最后一位"全才数学家":拓扑学、混沌理论、数理哲学,开创 20 世纪数学风格
en.wikipedia.org/wiki/Henri_Poincar%C3%A9 -
希尔伯特 David Hilbert
23 个问题统领 20 世纪数学;希尔伯特空间成为量子力学的语言
en.wikipedia.org/wiki/David_Hilbert -
拉马努金 Srinivasa Ramanujan
几乎没有受过正规训练却发现 3000+ 恒等式;与哈代合作把"直觉数学"带进剑桥
en.wikipedia.org/wiki/Srinivasa_Ramanujan -
哥德尔 Kurt Gödel
不完备定理:任何足够强的形式系统都存在"真但不可证"的命题 —— 计算理论的哲学根基
en.wikipedia.org/wiki/Kurt_G%C3%B6del
物理巨擘 10
-
牛顿 Isaac Newton
经典力学 + 万有引力 + 微积分,把"自然哲学"重写成可计算的科学
en.wikipedia.org/wiki/Isaac_Newton -
麦克斯韦 James Clerk Maxwell
电磁学统一方程组,预言电磁波存在 —— 无线电时代的理论起点
en.wikipedia.org/wiki/James_Clerk_Maxwell -
普朗克 Max Planck
量子假说的提出者,物理学从"连续"进入"离散"的起点
en.wikipedia.org/wiki/Max_Planck -
爱因斯坦 Albert Einstein
狭义 / 广义相对论、E=mc²、光电效应,重新定义了时空与能量
en.wikipedia.org/wiki/Albert_Einstein -
玻尔 Niels Bohr
原子结构 + 哥本哈根诠释,量子力学奠基人之一
en.wikipedia.org/wiki/Niels_Bohr -
薛定谔 Erwin Schrödinger
薛定谔方程是量子力学的核心方程,"薛定谔的猫"成为科学哲学最著名的悖论
en.wikipedia.org/wiki/Erwin_Schr%C3%B6dinger -
海森堡 Werner Heisenberg
矩阵力学 + 不确定性原理,把"测量"和"扰动"写进物理方程
en.wikipedia.org/wiki/Werner_Heisenberg -
费米 Enrico Fermi
核物理 + 统计力学 + 费米子命名,曼哈顿计划的核心之一
en.wikipedia.org/wiki/Enrico_Fermi -
狄拉克 Paul Dirac
狄拉克方程把相对论与量子力学统一;预言反物质存在
en.wikipedia.org/wiki/Paul_Dirac -
费曼 Richard Feynman
路径积分、QED、纳米尺度"Feynman 操纵";费曼图与费曼讲座是物理教学的最高范本
en.wikipedia.org/wiki/Richard_Feynman
计算机科学先驱 15
-
格蕾丝·霍普 Grace Hopper
COBOL 之母;"第一个 bug"出自她手 —— 把"程序"从纸面工程变成职业
en.wikipedia.org/wiki/Grace_Hopper -
阿兰·图灵 Alan Turing
图灵机模型、图灵测试、Enigma 破解 —— 计算机科学与人工智能的双重奠基人
en.wikipedia.org/wiki/Alan_Turing -
冯·诺依曼 John von Neumann
冯·诺依曼架构至今仍是 99% 计算机的体系结构;EDSAC / EDVAC 共同设计者
en.wikipedia.org/wiki/John_von_Neumann -
克劳德·香农 Claude Shannon
信息论之父:《通信的数学理论》定义 bit、熵、信道容量 —— 数字时代的理论基础
en.wikipedia.org/wiki/Claude_Shannon -
艾伦·佩利 Alan Perlis
首届图灵奖得主(1966);ALGOL 语言核心贡献者,软件工程方法论先驱
en.wikipedia.org/wiki/Alan_Perlis -
约翰·巴科斯 John Backus
FORTRAN 与 BNF(巴科斯-诺尔范式)创造者;FP 函数式语言先驱
en.wikipedia.org/wiki/John_Backus -
约翰·麦卡锡 John McCarthy
"人工智能"一词的发明者,LISP 语言与分时系统共同设计者
en.wikipedia.org/wiki/John_McCarthy -
马文·明斯基 Marvin Minsky
MIT AI Lab 创始人之一;神经网络早期奠基人,《心智社会》提出智能体集合
en.wikipedia.org/wiki/Marvin_Minsky -
艾兹格·迪杰斯特拉 Edsger Dijkstra
Dijkstra 算法、结构化编程的旗手;图灵奖(1972)"goto 有害论"作者
en.wikipedia.org/wiki/Edsger_Dijkstra -
赫伯特·西蒙 Herbert Simon
AI、决策科学、组织行为学三栖奠基人;图灵奖 + 诺贝尔经济学奖双料
en.wikipedia.org/wiki/Herbert_A._Simon -
尼克劳斯·维尔特 Niklaus Wirth
Pascal / Modula / Oberon 语言设计者;"Wirth 定律:软件变慢的速度永远快过硬件变快"
en.wikipedia.org/wiki/Niklaus_Wirth -
托尼·霍尔 Tony Hoare
Quicksort 算法、CSP 并发模型、空指针引用"百万美元错误"自嘲
en.wikipedia.org/wiki/Tony_Hoare -
高德纳 Donald Knuth
《计算机程序设计艺术》(TAOCP)作者;TeX / METAFONT / Literate Programming 之父
en.wikipedia.org/wiki/Donald_Knuth -
芭芭拉·利斯科夫 Barbara Liskov
Liskov 替换原则(SOLID 中的 L);图灵奖(2008)
en.wikipedia.org/wiki/Barbara_Liskov -
莱斯利·兰伯特 Leslie Lamport
Paxos 共识算法、LaTeX 时序逻辑奠基;图灵奖(2013)"为分布式系统理论与实践做出根本性贡献"
en.wikipedia.org/wiki/Leslie_Lamport
软件工程奠基人 10
-
戴维·帕纳斯 David Parnas
信息隐藏 / 模块化原则的提出者,软件工程"封装"思想的源头之一
en.wikipedia.org/wiki/David_Parnas -
伯特兰·迈耶 Bertrand Meyer
Eiffel 语言与"Design by Contract"(契约式设计)提出者
en.wikipedia.org/wiki/Bertrand_Meyer -
马丁·福勒 Martin Fowler
Refactoring 重构、企业架构模式;ThoughtWorks 首席科学家
en.wikipedia.org/wiki/Martin_Fowler_(software_engineer) -
肯特·贝克 Kent Beck
极限编程(XP)联合创始人;TDD、测试先行开发模式普及者;JUnit 共同作者
en.wikipedia.org/wiki/Kent_Beck -
弗雷德里克·布鲁克斯 Fred Brooks
IBM System/360 与 OS/360 主管;《人月神话》"没有银弹"的作者;图灵奖(1999)
en.wikipedia.org/wiki/Fred_Brooks -
杰拉尔德·温伯格 Gerald Weinberg
《系统化思维》、软件工程心理学先驱;"无论看上去如何,问题从来不是出在你以为它会出在的地方"
en.wikipedia.org/wiki/Gerald_Weinberg -
爱德华·尤登 Ed Yourdon
结构化分析与设计方法(Yourdon 方法);80 年代美国主流软件工程实践
en.wikipedia.org/wiki/Ed_Yourdon -
拉里·康斯坦丁 Larry Constantine
结构化设计、COCOMO II 共同作者;提出"耦合 / 内聚"两轴评价
en.wikipedia.org/wiki/Larry_Constantine -
迈克尔·杰克逊 Michael A. Jackson
JSP(Jackson Structured Programming)与 JSD 方法;JML 形式规约语言设计者
en.wikipedia.org/wiki/Michael_A._Jackson -
汤姆·迪马可 Tom DeMarco
结构化分析与《人件》《与熊共舞》作者,软件项目管理经典
en.wikipedia.org/wiki/Tom_DeMarco
为什么致敬先驱
"工具"和"算法"背后站着的是 380 年的思想链。读懂 MapReduce 之前要先读懂冯·诺依曼架构,读懂 Lambda 演算之前要先读懂哥德尔不完备定理,写得出无 bug 程序之前要先读懂 Dijkstra 的结构化编程。
与致敬墙(当代技术博主)、致敬开源(代码项目)、致敬算法(算法本身)、致敬论文(思想源头)形成"人 → 代码 → 算法 → 思想"的纵向链接网络。完整目录见致敬枢纽。
常见问题
CalcGuide 致敬先驱收录了哪些人物?
共 47 位分 4 组:数学巨匠(12 位,从笛卡尔到哥德尔)、物理巨擘(10 位,从牛顿到费曼)、计算机科学先驱(15 位,从格蕾丝·霍普到莱斯利·兰伯特)、软件工程奠基人(10 位,从布鲁克斯到贝克)。
致敬先驱与 /tribute/ 有什么区别?
/tribute/ 收录当代技术博主与 GitHub 创作者(28 中文独立站 + 31 海外独立站 + 30 GitHub 创作者);/pioneers/ 收录对现代计算或软件工程产生奠基性影响的 380 年历史人物 —— 数学家、物理学家、计算机科学家与方法论先驱。两者互不重叠。
为什么需要单独致敬先驱页?
工程师每天用的工具与算法,背后站着 380 年的思想链。读懂 MapReduce 之前要先读懂冯·诺依曼架构,读懂 Lambda 演算之前要先读懂哥德尔不完备定理。致敬先驱把"为什么这样设计"的最远源头拉回可见位置。
为什么收录 /open-source/ 里也有的人物(如香农、Knuth)?
/open-source/ 收录"代码",/pioneers/ 收录"思想"。同一个名字出现在两页时,open-source 页是其项目(TAOCP 书籍、Shannon 信息论作为算法基础),pioneers 页是其作为历史人物。卡片维度不同 —— pioneers 重在"为什么这个人值得被记住",open-source 重在"这个项目有什么工程影响"。
为什么有些人是外国人,本页还有收录?
计算与数学是世界性的智力成果,从牛顿到费曼、从图灵到 Knuth,按贡献而非国别收录。中文读者熟悉数学分析、量子力学、TCP/IP 这些概念时也会熟悉它们的源头人物 —— 把这些名字集中起来便于引用与致敬。
如何向致敬先驱推荐新条目?
可发邮件至 shitou_6211@163.com 投稿。审核标准:对现代计算或软件工程产生奠基性影响;生卒年早于 2000 年优先(当代人物在 /tribute/);生平可被权威源(Wikipedia / 学术传记 / 学会讣告)独立核证。
← 返回致敬枢纽,查看全部 12 个维度。