What is computer science? Reframing computation through theory, tools, and frontiers

Short summary

Quanta editor Samir Patel hosts computer science writer Ben Brubaker to unpack what computer science is beyond programming. The discussion traces the field’s history from its logical foundations to its modern breadth, explores the idea that computation and problem solving define the discipline, and considers how AI and quantum computing are pushing CS to ask new questions about processes, proof, and meaning.

• ben-brubaker
• quanta-podcast
• quantum-computing
• langlands-program

Overview

The podcast centers on Ben Brubaker's exploration of what computer science fundamentally is. Beginning from a provocative quote often attributed to Edsger Dijkstra, the conversation digresses into the tension between computer science as the study of machines and as the study of computation itself. Brubaker explains his own journey from physics to writing about theoretical CS for Quanta and how he has wrestled with how to explain a field whose core ideas sometimes seem about something other than the devices that came to define it.

Defining computation

Brubaker and Patel unpack a practical way to think about computation: a well defined problem is given as input, a transformation to an output is specified, and a process or algorithm produces the correct result. He emphasizes algorithms as the central object of study, illustrating with familiar tasks like sorting or adding numbers. The conversation clarifies that well defined problems are essential to make rigorous statements about what is possible and how efficiently different solutions operate.

History and identity of the field

The discussion situates computer science in a historical arc where logic and engineering converged in mid twentieth century departments. Some researchers treated CS as computation around machines, others as a more abstract mathematical science concerned with the properties of computational processes. The field’s identity is surprisingly contested because its scope spans hardware, software, and abstract theory, and because early pioneers such as Turing, Hartmanis, and Williams helped shape very different visions of what CS should study and prioritize.

Brubaker notes that the boundary between CS as a theory and CS as an engineering discipline has always been porous. He points out that many fundamental ideas in CS emerged from mathematics and logic, while practical machine-building spurred questions that fed theoretical development. The role of computers as tools versus subjects of study is central to this tension.

Technology and questions

The podcast suggests that as computing power grows, questions about computation expand beyond what a machine can do. The development of AI and quantum computing forces CS to confront new frontiers where empirical results and theoretical limits interact in novel ways. Brubaker discusses how advances in AI have made the practice of CS resemble empirical science in some domains, while quantum computing pushes considerations of what is computable and how efficiently it can be achieved.

Langlands program and the broader landscape

The outro nods to content about the Langlands program and genome doubling, illustrating Quanta's broad engagement with mathematics, computation, and biology. The point is that the field sits at an intersection of deep theory and wide-ranging applications, and that its evolving questions reflect the technologies that enable new kinds of inquiry.

Takeaways

The interviewer and Brubaker converge on a pragmatic yet aspirational view: computer science is a study of processes and how they evolve, not just a study of machines. The how versus the what distinction helps explain CS’s identity as both a theory and an engineering discipline, and its future directions will depend on how new technologies reshape what problems are considered tractable, how proofs are conducted, and how we think about computation in the wider world.