Machines, logic and quantum physics

  title={Machines, logic and quantum physics},
  author={David Deutsch and Artur K. Ekert and Rossella Lupacchini},
  journal={Bull. Symb. Log.},
§1. Mathematics and the physical world. Genuine scientific knowledge cannot be certain, nor can it be justified a priori. Instead, it must be conjectured, and then tested by experiment, and this requires it to be expressed in a language appropriate for making precise, empirically testable predictions. That language is mathematics. This in turn constitutes a statement about what the physical world must be like if science, thus conceived, is to be possible. As Galileo put it, “the universe is… 

Figures from this paper

Relativistic computers and the Turing barrier
Representation and Reality by Language: How to Make a Home Quantum Computer?
A set theory model of reality, representation and language based on the relation of completeness and incompleteness is explored and the equivalence of that model to a quantum computer is demonstrated.
Machines, computations and time; when P can be equal NP
The role of a relativistic time factor in computations, limited to the Turing Machine, is discussed and it is shown that in suitably chosen reference frames NP P = .
A Mathematical Model of Quantum Computer by Both Arithmetic and Set Theory
The independence of (two) Turing machines is interpreted by means of game theory and especially of the Nash equilibrium in Section IV, and that approach seems to be equivalent to that based on set theory and the concept of actual infinity in mathematics and allowing of practical implementations.
The problem whether mathematics is a ``series of consequences of arbitrary axioms" or a branch of natural sciences and of theoretical physics was a subject of discussion since Hilbert (who was a
Theory of quantum computation and philosophy of mathematics. Part I
The aim of this paper is to present some basic notions of the theory of quantum computing and to compare them with the basic notionsof the classical theory of computation to provide the necessary technical preliminaries presented in a way accessible to the general philosophical audience.
The mathematics of language
This book develops the mathematical foundations of present day linguistics from a mathematical point of view starting with ideas already contained in Montague's work and equips the reader with all the background necessary to understand and evaluate theories as diverse as Montague Grammar, Categorial grammar, HPSG and GB.
Quantum Principles and Mathematical Computability
Taking the view that computation is after all physical, we argue that physics, particularly quantum physics, could help extend the notion of computability. Here, we list the important and unique
Philosophical Aspects of Quantum Information Theory 1
Quantum information theory represents a rich subject of discussion for those interested in the philosphical and foundational issues surrounding quantum mechanics for a simple reason: one can cast its


Quantum theory, the Church–Turing principle and the universal quantum computer
  • D. Deutsch
  • Physics, Philosophy
    Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences
  • 1985
It is argued that underlying the Church–Turing hypothesis there is an implicit physical assertion. Here, this assertion is presented explicitly as a physical principle: ‘every finitely realizible
The fabric of reality
  • D. Deutsch
  • Art
    The Art of Political Storytelling
  • 2020
entities that are complex and autonomous exist objectively and are part of the fabric of reality. There exist logically necessary truths about these entities, and these comprise the subject-matter of
Simulating physics with computers
On the program it says this is a keynote speech--and I don't know what a keynote speech is. I do not intend in any way to suggest what should be in this meeting as a keynote of the subjects or
The Quantum Theory
IN a lecture on the quantum theory it might be thought fitting to commence with a clear explanation of the purpose, nature, and scope of the subject; but an attempt to answer briefly the question,
The Unreasonable Effectiveness of Mathematics in the Natural Sciences
There is a story about two friends, who were classmates in high school, talking about their jobs. One of them became a statistician and was working on population trends. He showed a reprint to his
Mathematics and mind
Those inquiring into the nature of mind have long been interested in the foundations of mathematics and vice versa. A better understanding of mathematical thought should clarify the conceptual
On computable numbers, with an application to the Entscheidungsproblem
  • A. Turing
  • Computer Science
    Proc. London Math. Soc.
  • 1937
This chapter discusses the application of the diagonal process of the universal computing machine, which automates the calculation of circle and circle-free numbers.
Quantum algorithms revisited
Quantum computers use the quantum interference of different computational paths to enhance correct outcomes and suppress erroneous outcomes of computations. A common pattern underpinning quantum
Shadows of the Mind
This book attempts to take a firm grip on a corner of the slippery issue of consciousness. It is directly related to Roger Penrose's earlier, hugely successful work, The Emperor's New Mind. Although