Machines, Logic and Quantum Physics

DOI10.2307/421056zbMath0998.68059DBLPjournals/bsl/DeutschEL00arXivmath/9911150OpenAlexW2099351760WikidataQ56505530 ScholiaQ56505530MaRDI QIDQ4527933

Artur Ekert, David Deutsch, Rossella Lupacchini

Publication date: 20 November 2002

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/9911150

zbMATH Keywords

quantum algorithmsquantum computing

Mathematics Subject Classification ID

Quantum computation (81P68) Turing machines and related notions (03D10)

Related Items (20)

The logic of experimental tests, particularly of Everettian quantum theory ⋮ Compositional and holistic quantum computational semantics ⋮ Quantum computational logics and possible applications ⋮ Basic Four-Valued Systems of Cyclic Negations ⋮ On quantum lambda calculi: a foundational perspective ⋮ Propositional logic of imperfect information: Foundations and applications ⋮ Preface: Super-recursive algorithms and hypercomputation. ⋮ Towards a universal set of topologically protected gates for quantum computation with Pfaffian qubits ⋮ Quantum walks: a comprehensive review ⋮ QUANTUM COMPUTER: AN APPLIANCE FOR PLAYING MARKET GAMES ⋮ Reversibility and Irreversibility in Quantum Computation and in Quantum Computational Logics ⋮ Relativistic computers and the Turing barrier ⋮ Worlds in the Everett interpretation ⋮ Quantum principles and mathematical computability ⋮ Qubit semantics and quantum trees ⋮ Fuzzy propositional logic associated with quantum computational gates ⋮ Interactive computations: toward risk management in interactive intelligent systems ⋮ Unnamed Item ⋮ MATHEMATICAL FACTS IN A PHYSICALIST ONTOLOGY ⋮ The Significance of Relativistic Computation for the Philosophy of Mathematics

Cites Work

• The unreasonable effectiveness of mathematics in the natural sciences. Richard courant lecture in mathematical sciences delivered at New York University, May 11, 1959
• Quantum theory, the Church–Turing principle and the universal quantum computer
• Quantum algorithms revisited
• Unnamed Item
• Unnamed Item

This page was built for publication: Machines, Logic and Quantum Physics