Journal article icon

Journal article

Machines, Logic and Quantum Physics

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

Expand abstract
Publication status:
Published

Actions


Access Document


Publisher copy:
10.2307/421056

Authors


Deutsch, D More by this author
Lupacchini, R More by this author
Journal:
Bulletin of Symbolic Logic
Volume:
3
Issue:
3
Pages:
265-283
Publication date:
1999-11-19
DOI:
EISSN:
1943-5894
ISSN:
1079-8986
URN:
uuid:6876370d-c5fd-466d-8a42-016f05007041
Source identifiers:
156391
Local pid:
pubs:156391
Language:
English
Keywords:

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP