Machines, logic and quantum physics
@article{Deutsch2000MachinesLA, title={Machines, logic and quantum physics}, author={David Deutsch and Artur K. Ekert and Rossella Lupacchini}, journal={Bull. Symb. Log.}, year={2000}, volume={6}, pages={265-283} }
§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…
125 Citations
Representation and Reality by Language: How to Make a Home Quantum Computer?
- Computer ScienceSSRN Electronic Journal
- 2020
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
- Computer Science, Physics
- 2007
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
- Computer ScienceSSRN Electronic Journal
- 2020
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 ROLE OF MATHEMATICS IN PHYSICAL SCIENCES
- Philosophy
- 2003
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
- Philosophy
- 2010
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
- Linguistics
- 2003
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
- Physics
- 2002
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
- Physics
- 2007
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…
References
SHOWING 1-10 OF 18 REFERENCES
Quantum theory, the Church–Turing principle and the universal quantum computer
- Physics, PhilosophyProceedings 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
- ArtThe 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
- Education, Physics
- 1982
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
- PhysicsNature
- 1928
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
- Education
- 1960
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
- Philosophy
- 1994
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
- Computer ScienceProc. 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
- PhysicsProceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences
- 1998
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
- Art
- 1994
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…