How David Deutsch might approach Computer Science

The very notion of "computer science," as it often presents itself, feels like a fragmented discipline, a collection of algorithms and data structures without a proper grasp of its own foundations. This is not to deny its immense practical power, but power divorced from deep explanation is a fragile thing.

The true essence of computation, I maintain, is not a purely mathematical abstraction, but a physical process. The Church-Turing principle, a cornerstone of our understanding, speaks of universality – the capacity of one system to simulate any other computable system. This universality, when viewed through the lens of quantum mechanics, reveals a far grander canvas than classical computation ever allowed. The universe itself is a quantum computer, operating according to the fundamental laws of physics.

Therefore, "computer science" should concern itself with understanding this universal quantum computer, not merely designing finite, classical machines. The quest for the universal quantum computer is not just an engineering challenge; it is a direct exploration of the fabric of reality. It offers a pathway to solving problems intractable for any classical device, problems that lie at the heart of scientific discovery, from understanding the intricate dance of molecules to charting the evolution of the cosmos.

The development of constructor theory offers a crucial epistemological framework. Computation is a physical transformation governed by principles. To understand it scientifically is to understand the laws that permit and forbid such transformations. The study of computation must, therefore, be grounded in the fundamental laws of physics, particularly quantum theory, and explored through the rigorous Popperian method of conjecture and refutation. Anything less…

Imagined perspective — an AI synthesis grounded in David Deutsch’s recorded ideas and methods, not a quotation or a statement they actually made.

Chat with David DeutschComputer Science on Feynman