國立虎尾科技大學 |

Undecidability, Uncomputability, and Unpredictability

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Undecidability, Uncomputability, and Unpredictability/ edited by Anthony Aguirre, Zeeya Merali, David Sloan.
其他作者:	Sloan, David.
面頁冊數:	VIII, 180 p. 27 illus., 17 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Theoretical, Mathematical and Computational Physics. -
電子資源:	https://doi.org/10.1007/978-3-030-70354-7
ISBN:	9783030703547

Undecidability, Uncomputability, and Unpredictability
Undecidability, Uncomputability, and Unpredictability[electronic resource] /edited by Anthony Aguirre, Zeeya Merali, David Sloan. - 1st ed. 2021. - VIII, 180 p. 27 illus., 17 illus. in color.online resource. - The Frontiers Collection,2197-6619. - The Frontiers Collection,.

Introduction (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).

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.

ISBN: 9783030703547

Standard No.: 10.1007/978-3-030-70354-7doiSubjects--Topical Terms:

768900
Theoretical, Mathematical and Computational Physics.

LC Class. No.: QC6.9

Dewey Class. No.: 530.01

Undecidability, Uncomputability, and Unpredictability
LDR:03696nam a22004215i 4500 001 1046654
003 DE-He213
005 20210820104616.0
007 cr nn 008mamaa
008 220103s2021 sz | s |||| 0|eng d
020 $a 9783030703547 $9 978-3-030-70354-7
024 7 $a 10.1007/978-3-030-70354-7 $2 doi
035 $a 978-3-030-70354-7
050 4 $a QC6.9
050 4 $a QC5.53
072 7 $a PDX $2 bicssc
072 7 $a SCI055000 $2 bisacsh
072 7 $a PDX $2 thema
082 0 4 $a 530.01 $2 23
245 1 0 $a Undecidability, Uncomputability, and Unpredictability $h [electronic resource] / $c edited by Anthony Aguirre, Zeeya Merali, David Sloan.
250 $a 1st ed. 2021.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a VIII, 180 p. 27 illus., 17 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a The Frontiers Collection, $x 2197-6619
505 0 $a Introduction (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).
520 $a 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.
650 2 4 $a Theoretical, Mathematical and Computational Physics. $3 768900
650 2 4 $a Philosophy of Science. $3 668204
650 2 4 $a Mathematical Logic and Foundations. $3 669393
650 2 4 $a Probability Theory and Stochastic Processes. $3 593945
650 1 4 $a History and Philosophical Foundations of Physics. $3 782545
650 0 $a Mathematical physics. $3 527831
650 0 $a Philosophy and science. $3 555818
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Probabilities. $3 527847
650 0 $a Physics. $3 564049
700 1 $a Sloan, David. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1350227
700 1 $a Merali, Zeeya. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1066087
700 1 $a Aguirre, Anthony. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1066085
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030703530
776 0 8 $i Printed edition: $z 9783030703554
776 0 8 $i Printed edition: $z 9783030703561
830 0 $a The Frontiers Collection, $x 1612-3018 $3 1254880
856 4 0 $u https://doi.org/10.1007/978-3-030-70354-7
912 $a ZDB-2-PHA
912 $a ZDB-2-SXP
950 $a Physics and Astronomy (SpringerNature-11651)
950 $a Physics and Astronomy (R0) (SpringerNature-43715)