Machines, Logic and Quantum Physics
David Deutsch, Artur Ekert, Rossella Lupacchini
Abstract
Though the truths of logic and pure mathematics are objective and independent of any contingent facts or laws of nature, our knowledge of these truths depends entirely on our knowledge of the laws of physics. Recent progress in the quantum theory of computation has provided practical instances of this, and forces us to abandon the classical view that computation, and hence mathematical proof, are purely logical notions independent of that of computation as a physical process. Henceforward, a proof must be regarded not as an abstract object or process but as a physical process, a species of computation, whose scope and reliability depend on our knowledge of the physics of the computer concerned.
Create a lesson
Related papers
Introducing the Sangaku Archive
David Clark
Reflections on the Millennium Problems
Lloyd N. Trefethen
Lobachevsky's Views of Geometry
Andrei Rodin
The Birth of Number Theory (Book VII of Euclid's Elements) from the Arithmetization of Pythagorean Music
Stelios Negrepontis, Vassiliki Farmaki, Angeliki Pisimisi
Bent Functions and the Completed Maiorana-McFarland Class
Enes Pasalic, Alexandr Polujan, Fengrong Zhang et al.
A simple geometric proof of Kepler's first Law
Hyouggyu Choi