创造前观察现实 | AI生成和翻译

Home 2026.05

问题：你能给出“先求真，再发明”的具体例子吗？比如牛顿、托马斯·杨（关于近视/光学），以及王垠（关于编译器）？

回答：

是的——这些都是极好的例子。每一位思想家都体现了相同的模式：首先观察并理解现实的真相，然后基于这种理解构建新事物。

示例 1：艾萨克·牛顿——引力与运动定律

牛顿并非凭空想象出运动定律。他首先是一位对自然的深刻观察者。

他所寻求的真相： 物体实际上是如何运动的？是什么支配着行星、落体以及炮弹的运动？

牛顿自己的方法很明确：“从运动的现象出发，探究自然界的力，然后从这些力出发，论证其他现象。”他的天才之处在于对研究现象的选择，而他创立的微积分使他能够将推断出的力纳入计算。

著名的苹果故事有文献证据——牛顿看到苹果从树上落下，便开始推导他的引力理论。他在1666年（年仅23岁）提出了运动定律。

随之而来的发明： 三大运动定律、万有引力定律以及微积分的创立——全部建立在观察到的自然真相之上。这些成果随后使人类能够计算行星轨道、制造发动机，并最终将火箭送入太空。

伽利略在确立观察（而非“逻辑”论证）作为真相的绝对判定标准方面发挥了关键作用——而牛顿直接在这一基础上进行了构建。

模式： 牛顿观察自然 → 发现运动与引力的真相 → 发明了描述和利用它们的数学框架。

示例 2：托马斯·杨——眼睛、近视与光

托马斯·杨以双缝实验最为著名，但他对理解眼睛（进而理解近视）的贡献同样卓越。

他所寻求的真相： 人眼实际上是如何聚焦近处和远处物体的？调节的物理机制是什么？

在1801年的贝克讲座论文中，托马斯·杨提供了当时关于眼睛光学系统的最佳描述，包括角膜和晶状体表面的折射。他制造了一种设备——视度计——用于测定眼睛的聚焦状态，从而能够开具合适的矫正镜片。他的主要贡献在于证明调节（眼睛的聚焦机制）并非角膜曲率变化或眼球长度变化的结果，而完全是由晶状体形状变化引起的。

杨使用自己设计的视度计测量折射和调节，并在此过程中发现了自己的散光。

随之而来的发明： 通过发现眼睛聚焦的真正机制，杨为近视、老花和散光矫正镜片的合理设计奠定了基础。他不仅进行理论推导，还制造了测量真相的仪器。

杨因著名的双缝实验阐明了光的波动性，并研究了调节机制、角膜散光以及人眼视网膜的三色视觉——这些贡献至今仍与近视研究和眼科镜片设计相关。

模式： 杨测量自己的眼睛 → 发现晶状体形状变化的真相 → 发明了视度计，并为矫正镜片处方奠定了基础。

示例 3：王垠（yinwang.org）——编译器与编程语言

王垠是一位中国计算机科学家，曾在印第安纳大学学习编程语言理论（该校培养出了Scheme、Racket以及延续传递风格编译器的研究者）。他的博客 yinwang.org 在中国开发者社区中广为人知，因其能够穿透学术教条，直指程序与编译器运作的真正真相。

他所寻求的真相： 编译器和编程语言实际上是如何工作的——而不是教科书假装它们如何工作？

通过长期的编程语言研究和实际工作，王垠致力于找出关于测试、编译器和编程语言设计的基本真相——他发现，在他工作过的每一家公司里，绝大多数人都不理解这些原理，许多团队在不知不觉中集体采用了错误的方法。

他的编译器设计方法遵循同样的原则——如果不真正理解求值、作用域、延续和类型系统的实际含义（而不仅仅是教科书上的说法），就无法构建出好的编译器。

王垠强调，一个程序最重要的标准是它能否有效解决问题——而不是它在形式意义上是否“正确”。他认为，那些痴迷于类型安全和形式化方法的人，往往从未编写过能解决生活中实际问题的代码。

这本身就是一种求真：拒绝教条，观察程序实际做了什么，然后基于这种现实来设计工具和语言。

模式： 王垠研究程序实际如何执行 → 发现学术抽象之下的真相 → 编写了更简洁的编译器、更好的解释器设计，并从第一原理出发教导他人。

总结表格

思想家 所寻求的真相 他们发明/构建的内容
牛顿 物体究竟如何运动？引力是什么？ 运动定律、微积分、引力理论
托马斯·杨 眼睛究竟如何聚焦？光是什么？ 视度计、矫正镜片基础、光的波动理论
王垠 编译器和程序实际上如何工作？ 更简洁的编程语言理论、编译器教育、破除计算机科学教条

这三位都秉持着同样的精神：真相先于发明。历史上最伟大的构建者，首先是最伟大的探寻者。

参考文献：

Back Donate