Machines, Logic and Quantum Physics

Details Machines, Logic and Quantum Physics Machines, Logic and Quantum Physics

1999-11-19

arxiv.org/abs/math/9911150v1

Mathematics

History and Overview

19 pages, 8 figures

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Machines, Logic and Quantum Physics does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Machines, Logic and Quantum Physics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Machines, Logic and Quantum Physics will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-414269