Physical computability theses

DOI10.1007/978-3-030-34316-3_9MaRDI QIDQ5119662zbMATH OpenOpenAlexFDO

Authors B. Jack Copeland, Oron Shagrir

Publication date 31 August 2020

Published in Jerusalem Studies in Philosophy and History of Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-34316-3_9

zbMATH Keywords

Church-Turing thesiscomputation over the realscomputing halting functiondecidability in physicsphysical computationquantum undecidabilityrelativistic computation

Mathematics Subject Classification ID

Logic in the philosophy of science (03A10) Turing machines and related notions (03D10) Other nonclassical models of computation (68Q09) Quantum algorithms and complexity in the theory of computing (68Q12) General and philosophical questions in quantum theory (81P05) General relativity (83C99)

Recommendations

• The physical Church-Turing thesis: modest or bold?
• Church's thesis and physical computation
• Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics
• Hypercomputation and the Physical Church‐Turing Thesis
• The computational status of physics

Cites work

• Abstract Computability and Its Relation to the General Purpose Analog Computer (Some Connections Between Logic, Differential Equations and Analog Computers)
• Algorithmics. The spirit of computing
• An Unsolvable Problem of Elementary Number Theory
• Building Infinite Machines
• Computable functionals
• Deciding Arithmetic Using SAD Computers
• General relativistic hypercomputing and foundation of mathematics
• scientific article; zbMATH DE number 6833840 (Why is no real title available?)
• scientific article; zbMATH DE number 3112803 (Why is no real title available?)
• scientific article; zbMATH DE number 1189126 (Why is no real title available?)
• scientific article; zbMATH DE number 3728250 (Why is no real title available?)
• scientific article; zbMATH DE number 42077 (Why is no real title available?)
• scientific article; zbMATH DE number 1909823 (Why is no real title available?)
• scientific article; zbMATH DE number 1909827 (Why is no real title available?)
• scientific article; zbMATH DE number 3237808 (Why is no real title available?)
• scientific article; zbMATH DE number 3349336 (Why is no real title available?)
• Hypercomputation: Philosophical issues
• Laplace's demon consults an oracle: the computational complexity of prediction
• Non-Turing computations via Malament--Hogarth space-times
• On Computable Numbers, with an Application to the Entscheidungsproblem
• On the concept of a random sequence
• On the definitions of computable real continuous functions
• Physical computation. A mechanistic account
• Quantum theory, the Church–Turing principle and the universal quantum computer
• Relativistic computers and the Turing barrier
• SAD computers and two versions of the Church-Turing thesis
• The Extent of Computation in Malament–Hogarth Spacetimes
• The physical Church-Turing thesis: modest or bold?
• The wave equation with computable initial data such that its unique solution is not computable
• Unpredictability and undecidability in dynamical systems
• Zwei Unentscheidbare Probleme Der Analysis

Cited in

(6)

• Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics
• Computability of physical operations
• Preface to the special issue on physics and computation ``Towards a computational interpretation of physical theories
• Introduction to the special issue: Computability of the physical
• The physical Church-Turing thesis: modest or bold?
• Church's thesis and physical computation

This page was built for publication: Physical computability theses

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5119662)