Does Computer Science Need Computers?
Summary
Quanta Magazine’s editor-in-chief Samir Patel interviews computer science writer Ben Brubaker to explore the fundamental nature of theoretical computer science. Brubaker challenges the common perception that the field is merely about building machines, arguing instead that it is the study of abstract processes and the "how" of problem-solving. The discussion traces the field’s origins in mathematical logic and its evolution alongside technological advancements, including AI and quantum computing. Brubaker also recommends the book "Algorithms to Live By," illustrating how computational conce…
Topics discussed
Quanta's mission and the scope of theoretical computer science
Introduction of guest Ben Brubaker and his essay
The difficulty of defining computer science
Ben's background and the challenge of explaining the field
The Dykstra quote: CS vs. Astronomy
Unpacking the telescope analogy and its limitations
Historical debate on the identity of computer science
Origins in mathematical logic and engineering
Defining 'computer' and 'computation' in context
Algorithms and the nature of computational processes
Well-defined problems and mathematical abstraction
The scope of computer science: hardware to theory
Turing's legacy and computation beyond machines
Theoretical questions that sound non-computational
How technology prompts new fundamental questions
Alternative definitions: CS as the study of processes
The organic growth of the field and the Dykstra quote
AI's impact on the practice and nature of CS
Quantum computing and the evolving boundaries of computation
The gap between theory and practice in modern computing
The importance of a fundamental perspective on AI
Book recommendation: Algorithms to Live By
Edgar Dijkstra on programming languages and military logic
Credits and closing remarks
Listen ad-free on Castria