001439087 000__ 04486cam\a2200613\i\4500
001439087 001__ 1439087
001439087 003__ OCoLC
001439087 005__ 20230309004410.0
001439087 006__ m\\\\\o\\d\\\\\\\\
001439087 007__ cr\un\nnnunnun
001439087 008__ 210824s2021\\\\sz\a\\\\o\\\\\000\0\eng\d
001439087 019__ $$a1265463289
001439087 020__ $$a9783030703547$$q(electronic bk.)
001439087 020__ $$a3030703541$$q(electronic bk.)
001439087 020__ $$z9783030703530
001439087 020__ $$z3030703533
001439087 0247_ $$a10.1007/978-3-030-70354-7$$2doi
001439087 035__ $$aSP(OCoLC)1264721062
001439087 040__ $$aYDX$$beng$$erda$$epn$$cYDX$$dGW5XE$$dEBLCP$$dOCLCO$$dOCLCF$$dUKAHL$$dOCLCQ$$dCOM$$dOCLCO$$dOCLCQ
001439087 049__ $$aISEA
001439087 050_4 $$aQA9.65$$b.U53 2021
001439087 08204 $$a511.3$$223
001439087 24500 $$aUndecidability, uncomputability, and unpredictability /$$cAnthony Aguirre, Zeeya Merali, David Sloan, editors.
001439087 264_1 $$aCham :$$bSpringer,$$c[2021]
001439087 264_4 $$c©2021
001439087 300__ $$a1 online resource :$$billustrations (some color)
001439087 336__ $$atext$$btxt$$2rdacontent
001439087 337__ $$acomputer$$bc$$2rdamedia
001439087 338__ $$aonline resource$$bcr$$2rdacarrier
001439087 4901_ $$aFrontiers collection,$$x2197-6619
001439087 5050_ $$aIntroduction (Aguirre, Merali, Sloan) -- Undecidability and Unpredictability: Not Limitations, but Triumphs of Science (Markus Müller) -- Indeterminism and Undecidability (Klaas Landsman) -- Unpredictability and Randomness (Rade Vuckovac) -- Indeterminism, Causality and Information: Has Physics ever been Deterministic? (Flavio Del Santo) -- Undecidability, Fractal Geometry and the Unity of Physics (Tim Palmer) -- A Gödelian Hunch from Quantum Theory (Hippolyte Dourdent) -- Epistemic Horizons: This Sentence is ..... (Jochen Szangolies) -- Why is the Universe Comprehensible? (Ian Durham) -- Noisy Deductive Reasoning: How Humans Construct Math, and How Math Constructs Universes (David Wolpert, David Kinney) -- Computational Complexity as Anthropic Principle: A Fable (Rick Searle) -- Appendix (Aguirre, Merali, Sloan).
001439087 506__ $$aAccess limited to authorized users.
001439087 520__ $$aFor a brief time in history, it was possible to imagine that a sufficiently advanced intellect could, given sufficient time and resources, in principle understand how to mathematically prove everything that was true. They could discern what math corresponds to physical laws, and use those laws to predict anything that happens before it happens. That time has passed. Gödel's undecidability results (the incompleteness theorems), Turing's proof of non-computable values, the formulation of quantum theory, chaos, and other developments over the past century have shown that there are rigorous arguments limiting what we can prove, compute, and predict. While some connections between these results have come to light, many remain obscure, and the implications are unclear. Are there, for example, real consequences for physics--including quantum mechanics--of undecidability and non-computability? Are there implications for our understanding of the relations between agency, intelligence, mind, and the physical world? This book, based on the winning essays from the annual FQXi competition, contains ten explorations of Undecidability, Uncomputability, and Unpredictability. The contributions abound with connections, implications, and speculations while undertaking rigorous but bold and open-minded investigation of the meaning of these constraints for the physical world, and for us as humans.
001439087 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed August 30, 2021).
001439087 650_0 $$aDecidability (Mathematical logic)
001439087 650_0 $$aCompleteness theorem.
001439087 650_0 $$aIncompleteness theorems.
001439087 650_0 $$aQuantum theory.
001439087 650_6 $$aDécidabilité (Logique mathématique)
001439087 650_6 $$aThéorème de complétude.
001439087 650_6 $$aThéorèmes d'incomplétude.
001439087 650_6 $$aThéorie quantique.
001439087 655_0 $$aElectronic books.
001439087 7001_ $$aAguirre, Anthony$$q(Anthony Nicholas),$$eeditor.
001439087 7001_ $$aMerali, Zeeya,$$eeditor.
001439087 7001_ $$aSloan, David,$$eeditor.
001439087 77608 $$iPrint version:$$tUndecidability, uncomputability, and unpredictability.$$dCham : Springer, [2021]$$z3030703533$$z9783030703530$$w(OCoLC)1235470072
001439087 830_0 $$aFrontiers collection.$$x2197-6619
001439087 852__ $$bebk
001439087 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-70354-7$$zOnline Access$$91397441.1
001439087 909CO $$ooai:library.usi.edu:1439087$$pGLOBAL_SET
001439087 980__ $$aBIB
001439087 980__ $$aEBOOK
001439087 982__ $$aEbook
001439087 983__ $$aOnline
001439087 994__ $$a92$$bISE