國立高雄大學圖資館 |

Language: English

Back

Undecidability, uncomputability, and...

Aguirre, Anthony.

Undecidability, uncomputability, and unpredictability

Record Type:	Electronic resources : Monograph/item
Title/Author:	Undecidability, uncomputability, and unpredictabilityedited by Anthony Aguirre, Zeeya Merali, David Sloan.
other author:	Aguirre, Anthony.
Published:	Cham :Springer International Publishing :2021.
Description:	viii, 180 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Decidability (Mathematical logic)Congresses.
Online resource:	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. - Cham :Springer International Publishing :2021. - viii, 180 p. :ill. (some col.), digital ;24 cm. - The frontiers collection,2197-6619. - Frontiers collection..

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. Godel'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:

453059
Decidability (Mathematical logic)
--Congresses.

LC Class. No.: QA9.65 / .U53 2021

Dewey Class. No.: 511.3

Undecidability, uncomputability, and unpredictability
LDR:02458nmm a2200325 a 4500 001 608266
003 DE-He213
005 20210820104616.0
006 m d
007 cr nn 008maaau
008 220119s2021 sz s 0 eng d
020 $a 9783030703547 $q (electronic bk.)
020 $a 9783030703530 $q (paper)
024 7 $a 10.1007/978-3-030-70354-7 $2 doi
035 $a 978-3-030-70354-7
040 $a GP $c GP
041 0 $a eng
050 4 $a QA9.65 $b .U53 2021
072 7 $a PDX $2 bicssc
072 7 $a SCI055000 $2 bisacsh
072 7 $a PDX $2 thema
082 0 4 $a 511.3 $2 23
090 $a QA9.65 $b .U55 2021
245 0 0 $a Undecidability, uncomputability, and unpredictability $h [electronic resource] / $c edited by Anthony Aguirre, Zeeya Merali, David Sloan.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a viii, 180 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a The frontiers collection, $x 2197-6619
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. Godel'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 0 $a Decidability (Mathematical logic) $v Congresses. $3 453059
650 0 $a Completeness theorem. $3 905624
650 0 $a Incompleteness theorems. $3 878784
650 0 $a Quantum theory. $3 199020
650 1 4 $a History and Philosophical Foundations of Physics. $3 376851
650 2 4 $a Probability Theory and Stochastic Processes. $3 274061
650 2 4 $a Mathematical Logic and Foundations. $3 274479
650 2 4 $a Philosophy of Science. $3 277156
650 2 4 $a Theoretical, Mathematical and Computational Physics. $3 376743
700 1 $a Aguirre, Anthony. $3 713848
700 1 $a Merali, Zeeya. $3 713850
700 1 $a Sloan, David. $3 905623
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Frontiers collection. $3 559351
856 4 0 $u https://doi.org/10.1007/978-3-030-70354-7
950 $a Physics and Astronomy (SpringerNature-11651)