Undecidability, Uncomputability, and Unpredictability
Language: en
Authors: Anthony Nicholas Aguirre, Zeeya Merali, David Sloan
Categories: Completeness theorem
Type: BOOK - Published: 2021 - Publisher: Springer Nature

For 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.
Foundations of General Relativity
Language: en
Pages: 392
Authors: Klaas Landsman
Categories: Science
Type: BOOK - Published: 2021-10-08 - Publisher: Radboud University Press

This book, dedicated to Roger Penrose, is a second, mathematically oriented course in general relativity. It contains extensive references and occasional excursions in the history and philosophy of gravity, including a relatively lengthy historical introduction. The book is intended for all students of general relativity of any age and orientation who have a background including at least first courses in special and general relativity, differential geometry, and topology. The material is developed in such a way that through the last two chapters the reader may acquire a taste of the modern mathematical study of black holes initiated by Penrose, Hawking, and others, as further influenced by the initial-value or PDE approach to general relativity. Successful readers might be able to begin reading research papers on black holes, especially in mathematical physics and in the philosophy of physics. The chapters are: Historical introduction, General differential geometry, Metric differential geometry, Curvature, Geodesics and causal structure, The singularity theorems of Hawking and Penrose, The Einstein equations, The 3+1 split of space-time, Black holes I: Exact solutions, and Black holes II: General theory. These are followed by two appendices containing background on Lie groups, Lie algebras, & constant curvature, and on Formal PDE theory.
Emergent Quantum Mechanics
Language: en
Pages: 544
Authors: Jan Walleczek, Gerhard Grössing, Paavo Pylkkänen, Basil Hiley
Categories: Science
Type: BOOK - Published: 2019-04-02 - Publisher: MDPI

Emergent quantum mechanics explores the possibility of an ontology for quantum mechanics. The resurgence of interest in "deeper-level" theories for quantum phenomena challenges the standard, textbook interpretation. The book presents expert views that critically evaluate the significance—for 21st century physics—of ontological quantum mechanics, an approach that David Bohm helped pioneer. The possibility of a deterministic quantum theory was first introduced with the original de Broglie-Bohm theory, which has also been developed as Bohmian mechanics. The wide range of perspectives that were contributed to this book on the occasion of David Bohm’s centennial celebration provide ample evidence for the physical consistency of ontological quantum mechanics. The book addresses deeper-level questions such as the following: Is reality intrinsically random or fundamentally interconnected? Is the universe local or nonlocal? Might a radically new conception of reality include a form of quantum causality or quantum ontology? What is the role of the experimenter agent? As the book demonstrates, the advancement of ‘quantum ontology’—as a scientific concept—marks a clear break with classical reality. The search for quantum reality entails unconventional causal structures and non-classical ontology, which can be fully consistent with the known record of quantum observations in the laboratory.
Randomness and Undecidability in Physics
Language: en
Pages: 308
Authors: K Svozil
Categories: Science
Type: BOOK - Published: 1993-10-05 - Publisher: World Scientific

Recent findings in the computer sciences, discrete mathematics, formal logics and metamathematics have opened up a royal road for the investigation of undecidability and randomness in physics. A translation of these formal concepts yields a fresh look into diverse features of physical modelling such as quantum complementarity and the measurement problem, but also stipulates questions related to the necessity of the assumption of continua. Conversely, any computer may be perceived as a physical system: not only in the immediate sense of the physical properties of its hardware. Computers are a medium to virtual realities. The foreseeable importance of such virtual realities stimulates the investigation of an “inner description”, a “virtual physics” of these universes of computation. Indeed, one may consider our own universe as just one particular realisation of an enormous number of virtual realities, most of them awaiting discovery. One motive of this book is the recognition that what is often referred to as “randomness” in physics might actually be a signature of undecidability for systems whose evolution is computable on a step-by-step basis. To give a flavour of the type of questions envisaged: Consider an arbitrary algorithmic system which is computable on a step-by-step basis. Then it is in general impossible to specify a second algorithmic procedure, including itself, which, by experimental input-output analysis, is capable of finding the deterministic law of the first system. But even if such a law is specified beforehand, it is in general impossible to predict the system behaviour in the “distant future”. In other words: no “speedup” or “computational shortcut” is available. In this approach, classical paradoxes can be formally translated into no-go theorems concerning intrinsic physical perception. It is suggested that complementarity can be modelled by experiments on finite automata, where measurements of one observable of the automaton destroys the possibility to measure another observable of the same automaton and it vice versa. Besides undecidability, a great part of the book is dedicated to a formal definition of randomness and entropy measures based on algorithmic information theory. Contents:Algorithmic Physics: The Universe as a ComputerAlgorithmics and Recursive Function TheoryMechanism and DeterminismDiscrete PhysicsSource CodingLattice TheoryExtrinsic-Intrinsic ConceptAlgorithmic InformationComputational ComplexityUndecidabilityClassical ResultsComplementarityExtrinsic IndeterminismIntrinsic IndeterminismWeak Physical ChaosRandomnessRandomness in MathematicsRandom Fractals and 1/f NoiseChaotic Systems are Optimal Analogues of ThemselvesQuantum ChaosAlgorithmic EntropyEpilogue: Afterthoughts, Speculations and Metaphysics Readership: Physicists, computer scientists and mathematicians. keywords:Undecidability;Randomness;Algorithmic Information Theory;Automaton Logic;Quantum Logic;Recursive Function Theory;Discrete Physics;Lattice Theory;Intrinsic Perception;Halting ProblemCristian Calude
Irreducibility and Computational Equivalence
Language: en
Pages: 360
Authors: Hector Zenil
Categories: Technology & Engineering
Type: BOOK - Published: 2012-12-25 - Publisher: Springer Science & Business Media

It is clear that computation is playing an increasingly prominent role in the development of mathematics, as well as in the natural and social sciences. The work of Stephen Wolfram over the last several decades has been a salient part in this phenomenon helping founding the field of Complex Systems, with many of his constructs and ideas incorporated in his book A New Kind of Science (ANKS) becoming part of the scientific discourse and general academic knowledge--from the now established Elementary Cellular Automata to the unconventional concept of mining the Computational Universe, from today's widespread Wolfram's Behavioural Classification to his principles of Irreducibility and Computational Equivalence. This volume, with a Foreword by Gregory Chaitin and an Afterword by Cris Calude, covers these and other topics related to or motivated by Wolfram's seminal ideas, reporting on research undertaken in the decade following the publication of Wolfram's NKS book. Featuring 39 authors, its 23 contributions are organized into seven parts: Mechanisms in Programs & Nature Systems Based on Numbers & Simple Programs Social and Biological Systems & Technology Fundamental Physics The Behavior of Systems & the Notion of Computation Irreducibility & Computational Equivalence Reflections and Philosophical Implications.