Definability in the real universe

zbMATH Open1273.03035arXiv1109.1416MaRDI QIDQ2906565FDOQ2906565

Authors: S. Barry Cooper 

Publication date: 5 September 2012

Abstract: Logic has its origins in basic questions about the nature of the real world and how we describe it. This article seeks to bring out the physical and epistemological relevance of some of the more recent technical work in logic and computability theory. "If you are receptive and humble, mathematics will lead you by the hand. Again and again, when I have been at a loss how to proceed, I have just had to wait until I have felt the mathematics lead me by the hand. It has led me along an unexpected path, a path where new vistas open up, a path leading to new territory, where one can set up a base of operations, from which one can survey the surroundings and plan future progress." - Paul Dirac, 27 November, 1975. In Paul A. M. Dirac Papers, Florida State University Libraries, Tallahassee, Florida, USA, No. 2/29/17.

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

Recommendations

• scientific article; zbMATH DE number 6984345
• Definability, decidability, complexity
• From Descartes to Turing: the computational content of supervenience
• Definability as hypercomputational effect
• scientific article; zbMATH DE number 2151710

zbMATH Keywords

emergenceTuring computabilitydefinabilitycomputabilityinformational universereal-world computability

Mathematics Subject Classification ID

Quantum algorithms and complexity in the theory of computing (68Q12) Logic in the philosophy of science (03A10) Turing machines and related notions (03D10)

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Definability in the real universe

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