語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
回首頁
切換:
標籤
|
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)
筆 0 讀者評論
全部
電子館藏
館藏
1 筆 • 頁數 1 •
1
條碼號
館藏地
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
000000205173
電子館藏
1圖書
電子書
EB QA9.65 .U55 2021 2021
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
多媒體檔案
https://doi.org/10.1007/978-3-030-70354-7
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入