How Bad Math Spread to Physics & Beyond - Steve Patterson (DemystifySci +451)

Summary

The episode examines whether modern physics’ reliance on mathematics has obscured the difference between useful models and explanations of reality. Guest Steve Patterson argues that foundational disputes in mathematics helped normalize a broader distrust of reason, though the hosts question how far that diagnosis reaches.

Main Ideas

• Prediction is not the same as explanation. The hosts note that physics can describe and calculate phenomena such as light while often treating questions about what light is as outside physics’ proper scope. They suggest mathematical descriptions can blur the boundary between abstract models and the physical world.

• Patterson’s concern about irrationalism. Patterson says he became interested in mathematics through questions about knowledge and reason. He encountered arguments that truth cannot be known, often appealing to quantum mechanics, mathematical paradoxes, Gödel’s incompleteness theorems, or unusual personal experiences. He argues that encountering a contradiction should prompt people to reconsider their reasoning or model—not conclude that logic itself is broken.

• Mathematical models simplify reality, which can be both useful and misleading. The participants agree that modeling requires leaving out information. This works well when the omitted details do not matter for the task, as often happens in engineering. The risk, they argue, is treating a model that works for a particular purpose as a complete account of reality.

• Practical advances may come from experiment rather than established theory. The conversation gives examples of engineering and scientific progress achieved through observation or trying a new approach, sometimes despite theoretical expectations. One example describes a metal-forming engineer who reportedly made progress by tracking real-world machine behavior rather than relying on a computer-based physical model. The hosts and Patterson treat mathematics as a powerful tool for organizing results, but not necessarily the source of every conceptual breakthrough.

• Game theory can be misapplied outside its assumptions. Patterson uses cryptocurrency governance as an example. He says arguments based on concepts such as a “Schelling point” may fail when the model’s assumptions—such as people having the same information and being unable to communicate—do not describe the actual situation.

• The foundations of mathematics became contested. Patterson describes how non-Euclidean geometry challenged the idea that Euclidean geometry supplied mathematics with a single unquestionable foundation. He outlines three broad responses that emerged:

  • Logicism: Mathematics is an extension of logic.
  • Intuitionism: Mathematical truths are constructions of the mind.
  • Formalism: Mathematics is the manipulation of symbols according to rules, without requiring claims about objective truth.

Patterson argues that formalism’s practical attitude—roughly, “shut up and calculate”—left foundational questions unresolved while mathematical methods continued to spread.

• Continuity, infinity, and Zeno’s paradox are central points of disagreement.

  • The discussion revisits the puzzle of a runner apparently needing to cross infinitely many halfway points before reaching the finish. Patterson argues that calculus can describe an approach to a limit but does not, by itself, explain how motion actually occurs. He suggests that motion may require discrete units.
  • The hosts question whether this is a claim about physical space or a confusion between the physical world and mathematical coordinates. They also distinguish a movement’s physical steps from the infinite divisions that can be made in a mathematical description.
  • Patterson challenges the idea that a line can be composed of infinitely many zero-sized points, arguing that infinitely many items with no length cannot straightforwardly add up to a line.

• The participants distinguish practical calculation from idealized higher mathematics. Patterson suggests that computers and applied calculations work through discrete operations, even when higher mathematical theories describe continuous quantities or infinite processes. He argues that this mismatch deserves scrutiny. The hosts recognize the practical usefulness of calculus and limits while asking whether discrete and continuous models necessarily produce different physical conclusions.

• The equality (0.999\ldots = 1) becomes a test case. Patterson argues that the repeating decimal approaches 1 but is not identical to it, and treats the standard mathematical equality as a logical problem. The hosts find the challenge worth examining and distinguish it from ordinary measurement, where a tiny difference might be irrelevant. This is presented as Patterson’s disputed position, not as a settled conclusion of the discussion.

• Cantor’s infinite sets and their influence are questioned. Patterson describes Georg Cantor’s theory as introducing the idea of completed infinite sets into mathematical foundations. He notes that the axiom of infinity is part of a widely used set-theoretic framework and asks what would follow if the assumption were mistaken. He also recounts historical criticism of Cantor’s ideas. The discussion does not establish what would break if the theory were abandoned; Patterson says he does not know the full consequences.

• Possible consequences for physics and other fields remain speculative. Patterson suggests that assumptions about continuity and infinity may affect physics, economics, and other disciplines. The participants note that continuous and discrete versions of a model can sometimes produce different results, though they do not establish how widespread or consequential this is. They also discuss the possibility of a “pixel” or voxel-like model of space.

• The hosts and Patterson disagree about what a discrete model would need to explain. One host sketches motion as a complete transfer from one occupied spatial unit to another, while Patterson emphasizes that a model still needs a causal mechanism for the transition. The conversation also distinguishes space as a physical feature from space as an abstract coordinate system. These questions remain unresolved at the end.

Speakers and Sources

Speakers

• Steve Patterson — Guest; discusses philosophy, mathematics, and their implications for physics and other fields.
• The podcast hosts — One identifies herself as Anastasia. The other host’s name is rendered as “Awl” in the auto-generated subtitles and is uncertain.

Other sources and people mentioned

• The DemystifySci podcast and its hosts’ promotional material, including references to their book and music project Secretary of Nature.
• Patterson’s Patterson in Pursuit and the Institute for Natural Philosophy, as named in the subtitles.
• Georg Cantor, Kurt Gödel, Euclid, René Descartes, Ludwig Wittgenstein, Henri Poincaré, Leopold Kronecker, Morris Kline, and Norman Wildberger.
• Hans Christian Ørsted, the Wright brothers, and Dustin of Smarter Every Day, cited as examples in discussions of scientific or engineering work.
• Stephen Wolfram, mentioned in connection with cellular automata and computational models.
• A Wikipedia article on (0.999\ldots = 1), discussed but not treated as an authoritative conclusion.