Observing Reality Before Creating | Generated by AI

Home 2026.05

Question: Can you give concrete examples of “seeking truth first, then inventing” — like Newton, Thomas Young (for myopia/optics), and Yin Wang (yinwang.org) for compilers?

Answer:

Yes — these are excellent examples. Each of these thinkers represents the same pattern: first observe and understand the truth of reality, then build something new from that understanding.

Example 1: Isaac Newton — Gravity and Laws of Motion

Newton did not imagine the laws of motion out of thin air. He was a deep observer of nature first.

The truth he sought: How do objects actually move? What governs the motion of planets, falling objects, and cannonballs?

Newton’s own method was clear: “from the phenomena of motions to investigate the forces of nature, and then from these forces to demonstrate the other phenomena.” His genius lay in the selection of phenomena to be investigated, and his creation of the calculus permitted him to submit the inferred forces to calculation.

The famous apple story has documented evidence — Newton saw an apple fall from a tree and began working out his theory of gravity. He developed his laws of motion in 1666, when he was only 23 years old.

The invention that followed: The three laws of motion, the law of universal gravitation, and the invention of calculus — all built on top of observed natural truths. These then enabled humanity to calculate planetary orbits, build engines, and eventually put rockets into space.

Galileo was instrumental in establishing observation as the absolute determinant of truth, rather than “logical” argument — and Newton built directly on this foundation.

Pattern: Newton watched nature → found the truth of motion and gravity → invented the mathematical framework to describe and use it.

Example 2: Thomas Young — The Eye, Myopia, and Light

Thomas Young is best known for the double-slit experiment, but his contribution to understanding the eye (and by extension, myopia) is equally remarkable.

The truth he sought: How does the human eye actually focus on near and far objects? What is the physical mechanism of accommodation?

In his Bakerian Lecture paper of 1801, Thomas Young provided the best account up to that time of the eye’s optical system, including refraction by the cornea and the surfaces of the lens. He built a device — an optometer — for determining the eye’s state of focus, making it possible to prescribe appropriate correction lenses. His main contribution was to show that accommodation (the eye’s focusing mechanism) was not the result of changes to the curvature of the cornea, nor to the length of the eye, but was due entirely to changes in the shape of the lens.

Young used his own design of optometer to measure refraction and accommodation, and in the process discovered his own astigmatism.

The invention that followed: By discovering the true mechanism of how the eye focuses, Young laid the groundwork for the rational design of corrective lenses for myopia, presbyopia, and astigmatism. He didn’t just theorize — he built instruments to measure the truth.

Young is credited with formulating light’s wave nature with his famous two-slit experiment, and researching mechanisms of accommodation, corneal astigmatism, and trichromacy of the human retina — contributions that remain relevant to modern myopia research and ophthalmic lens design.

Pattern: Young measured his own eye → found the truth of how the lens changes shape → invented the optometer and laid foundations for corrective lens prescriptions.

Example 3: Yin Wang (yinwang.org) — Compilers and Programming Languages

Yin Wang (王垠) is a Chinese computer scientist who studied programming language theory at Indiana University (under the same school that produced researchers behind Scheme, Racket, and continuation-passing style compilers). His blog yinwang.org is well known in Chinese developer communities for cutting through academic dogma and getting at the real truth of how programs and compilers work.

The truth he sought: How do compilers and programming languages actually work — not how textbooks pretend they work?

From long-term programming language research and practical work, Yin Wang has worked to figure out fundamental truths about testing, compilers, and programming language design — finding that in every company he worked at, the vast majority of people don’t understand these principles, and many teams collectively adopt wrong approaches without knowing it.

His approach to compiler design follows the same principle — you cannot build a good compiler without first truly understanding what evaluation, scope, continuations, and type systems really mean, not just what the textbook says.

Yin Wang emphasizes that the most important criterion for a program is whether it effectively solves the problem — not whether it is “correct” in a formal sense. He argues that people who obsess over type safety and formal methods often never write code that solves a real problem in their life.

This is itself a form of truth-seeking: reject the dogma, observe what programs actually do, and then design tools and languages based on that reality.

Pattern: Yin Wang studied how programs actually execute → found the truth beneath academic abstraction → wrote cleaner compilers, better interpreter designs, and taught others from first principles.

Summary Table

Thinker Truth Sought What They Invented / Built
Newton How do objects really move? What is gravity? Laws of motion, calculus, gravitational theory
Thomas Young How does the eye truly focus? What is light? Optometer, corrective lens basis, wave theory of light
Yin Wang How do compilers and programs actually work? Cleaner PL theory, compiler education, myth-busting of CS dogma

All three share the same spirit: truth is prior to invention. The greatest builders in history were first the greatest seekers.

References:

Back Donate