國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁 到查詢結果 [ subject:"Decidability (Mathematical logic)" ]

切換: 標籤 | MARC模式 | ISBD

Undecidability, uncomputability, and...

Aguirre, Anthony.

Undecidability, uncomputability, and unpredictability

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Undecidability, uncomputability, and unpredictabilityedited by Anthony Aguirre, Zeeya Merali, David Sloan.
其他作者:	Aguirre, Anthony.
出版者:	Cham :Springer International Publishing :2021.
面頁冊數:	viii, 180 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
標題:	Decidability (Mathematical logic)Congresses.
電子資源:	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)