東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Undecidability, uncomputability, and...

Aguirre, Anthony.

Linked to FindBook

Google Book

Amazon

博客來

Undecidability, uncomputability, and unpredictability

Record Type:	Electronic resources : Monograph/item
Title/Author:	Undecidability, uncomputability, and unpredictability/ edited 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) -
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:

718416
Decidability (Mathematical logic)

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

Dewey Class. No.: 511.3

Undecidability, uncomputability, and unpredictability
LDR:02458nmm a2200325 a 4500 001 2249460
003 DE-He213
005 20210820104616.0
006 m d
007 cr nn 008maaau
008 220103s2021 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) $3 718416
650 0 $a Completeness theorem. $3 723836
650 0 $a Incompleteness theorems. $3 3503129
650 0 $a Quantum theory. $3 516552
650 1 4 $a History and Philosophical Foundations of Physics. $3 1066881
650 2 4 $a Probability Theory and Stochastic Processes. $3 891080
650 2 4 $a Mathematical Logic and Foundations. $3 892656
650 2 4 $a Philosophy of Science. $3 894954
650 2 4 $a Theoretical, Mathematical and Computational Physics. $3 1066859
700 1 $a Aguirre, Anthony. $3 2134309
700 1 $a Merali, Zeeya. $3 2134311
700 1 $a Sloan, David. $3 3168628
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Frontiers collection. $3 1314415
856 4 0 $u https://doi.org/10.1007/978-3-030-70354-7
950 $a Physics and Astronomy (SpringerNature-11651)