Does Computer Science Need Computers?

Episode Summary

Executive Summary: The episode examines what theoretical computer science actually is and why it’s not simply the study of computers. Ben Brubaker argues the field is best understood as the study of computation, algorithms, problems, and processes—shaped by both mathematical logic and engineering history. The conversation also explores how AI and quantum computing are pushing the field into new territory.

Main Topics: Defining theoretical computer science (Priority: 5/5): Ben explains that computer science is hard to define because it spans engineering, mathematics, and abstract theory, and because the word 'computer' can mislead listeners into thinking only of hardware or programming. The Dijkstra quote and its limits (Priority: 5/5): The discussion centers on the famous line 'computer science is as much about computers as astronomy is about telescopes,' which is useful rhetorically but incomplete because computation can be studied without using computers and many computer-related questions fall outside CS. Computation, algorithms, and well-defined problems (Priority: 5/5): The episode clarifies that computation is solving a precisely stated input-output problem, while algorithms are the processes that achieve that computation in different ways. Historical roots of the field (Priority: 4/5): Computer science emerged from a merger of mathematical logic and machine-building engineering traditions, which helps explain why the field still debates its own identity. Computer science as a study of processes and how they evolve (Priority: 4/5): Ben highlights a definition from Ryan Williams/Juris Hartmanus: computer science studies processes and how they evolve, emphasizing the 'how' rather than the 'what' or 'why.' AI and quantum computing as new frontiers (Priority: 4/5): The conversation argues that AI is making parts of computer science feel more empirical, while quantum computing is pushing both theory and engineering into new questions about what can be computed. Practical and philosophical impact on everyday thinking (Priority: 3/5): The recommendation of Algorithms to Live By underscores how computer science ideas can illuminate everyday decisions, without reducing people to machines.

Key Arguments: Computer science is not best understood as literally the study of computers; many important theoretical questions require no physical computer at all. The Dijkstra/telescope analogy is useful for challenging public misconceptions, but it can oversimplify the relationship between computers and the field. The field’s origin in both logic and engineering explains why its boundaries are porous and why there is no single universally accepted definition. At its core, computation is transforming inputs into outputs for a well-defined problem, and algorithms are the processes that perform that transformation. Historically, many foundational questions were not asked until computing technology made them feel relevant or interesting. Theoretical computer science can illuminate non-computing domains, including proof systems, interaction, evolution, and AI monitoring. AI is making computer science more experimental in some areas, while quantum computing is reviving and expanding theory around computability.

Data Points: Quanta mission focus: fundamental science and math - Samir Patel frames Quanta’s editorial mission at the start of the episode. Quote attribution: Edsger Dijkstra - The famous analogy 'computer science is as much about computers as astronomy is about telescopes' is attributed to Dijkstra. History marker: mid-century - Ben describes computer science as a field formed by the convergence of logic and engineering in the mid-20th century. Historical reference year: 1976 - The episode closes with an archival Dijkstra clip from the first international research conference on the history of computing in Los Alamos.

Pivotal Quotes: "computer science is as much about computers as astronomy is about telescopes" — Edsger Dijkstra (attributed): Used by Ben as a concise way to explain why theoretical computer science is broader than the study of machines. "computer science is the study of processes and how they evolve" — Ryan Williams, via Juris Hartmanus: Presented as a definition Ben found compelling because it emphasizes the 'how' of problem-solving. "The other sciences ask why while computer science asks how" — Ryan Williams, via Juris Hartmanus: Used to distinguish computer science’s central orientation from other disciplines.

Implications: Listeners are encouraged to see computer science as a broad theory of computation, not just coding or hardware. As AI and quantum systems advance, the field’s fundamental questions about process, limits, and what can be computed will matter more, not less.