**Stephen Paul King** (*stephenk1@home.com*)

*Thu, 25 Nov 1999 12:35:49 -0500*

**Messages sorted by:**[ date ] [ thread ] [ subject ] [ author ]**Next message:**ca314159: "[time 1040] Context shifting"**Previous message:**Stephen Paul King: "[time 1038] Re: [time 1033] [Interesting!] Thoughts"

**attached mail follows:**

*Machines, Logic and Quantum Physics*

Authors: 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.

-- David Deutsch

http://www.qubit.org/people/david/David.html

**Next message:**ca314159: "[time 1040] Context shifting"**Previous message:**Stephen Paul King: "[time 1038] Re: [time 1033] [Interesting!] Thoughts"

*
This archive was generated by hypermail 2.0b3
on Wed Dec 01 1999 - 01:15:40 JST
*