Definability in the Real Universe

zbMath1273.03035arXiv1109.1416MaRDI QIDQ2906565

S. Barry Cooper

Publication date: 5 September 2012

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

zbMATH Keywords

definability; computability; Turing computability; emergence; informational universe; real-world computability

Mathematics Subject Classification ID

03D10: Turing machines and related notions

68Q12: Quantum algorithms and complexity in the theory of computing

03A10: Logic in the philosophy of science