語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
On Hilbert's Sixth Problem
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
On Hilbert's Sixth Problem/ by Newton C. A. da Costa, Francisco Antonio Doria.
作者:
da Costa, Newton C. A.
其他作者:
Doria, Francisco Antonio.
面頁冊數:
XIII, 191 p. 1 illus.online resource. :
Contained By:
Springer Nature eBook
標題:
Mathematical Logic and Foundations. -
電子資源:
https://doi.org/10.1007/978-3-030-83837-9
ISBN:
9783030838379
On Hilbert's Sixth Problem
da Costa, Newton C. A.
On Hilbert's Sixth Problem
[electronic resource] /by Newton C. A. da Costa, Francisco Antonio Doria. - 1st ed. 2022. - XIII, 191 p. 1 illus.online resource. - Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,4412542-8292 ;. - Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,359.
Foreword -- 1. Preliminary -- Part I. Physics: A Primer. 2. Classical mechanics -- 3. Variational calculus -- 4. Lagrangian formulation -- 5. Hamilton’s equations -- 6. Hamilton–Jacobi theory -- 7. Where the action is -- 8. From classical to quantum -- 9. Field theory -- 10. Electromagnetism -- 11. Special relativity -- 12. General relativity -- 13. Gauge field theories -- Part II. Axiomatics. 14. Axiomatizations in ZFC -- Part III. Technicalities. 15. Hierarchies -- Part IV. More applications. 16. Arnol’d’s 1974 problems -- 17. Forcing and gravitation -- 18. Economics and ecology -- Part V. Computer science. 19. Fast–growing functions -- Part VI. Hypercomputation. 20. Hypercomputation -- References.
This book explores the premise that a physical theory is an interpretation of the analytico–canonical formalism. Throughout the text, the investigation stresses that classical mechanics in its Lagrangian formulation is the formal backbone of theoretical physics. The authors start from a presentation of the analytico–canonical formalism for classical mechanics, and its applications in electromagnetism, Schrödinger's quantum mechanics, and field theories such as general relativity and gauge field theories, up to the Higgs mechanism. The analysis uses the main criterion used by physicists for a theory: to formulate a physical theory we write down a Lagrangian for it. A physical theory is a particular instance of the Lagrangian functional. So, there is already an unified physical theory. One only has to specify the corresponding Lagrangian (or Lagrangian density); the dynamical equations are the associated Euler–Lagrange equations. The theory of Suppes predicates as the main tool in the axiomatization and examples from the usual theories in physics. For applications, a whole plethora of results from logic that lead to interesting, and sometimes unexpected, consequences. This volume looks at where our physics happen and which mathematical universe we require for the description of our concrete physical events. It also explores if we use the constructive universe or if we need set–theoretically generic spacetimes.
ISBN: 9783030838379
Standard No.: 10.1007/978-3-030-83837-9doiSubjects--Topical Terms:
669393
Mathematical Logic and Foundations.
LC Class. No.: Q174-175.3
Dewey Class. No.: 501
On Hilbert's Sixth Problem
LDR
:03641nam a22004215i 4500
001
1093442
003
DE-He213
005
20220125150505.0
007
cr nn 008mamaa
008
221228s2022 sz | s |||| 0|eng d
020
$a
9783030838379
$9
978-3-030-83837-9
024
7
$a
10.1007/978-3-030-83837-9
$2
doi
035
$a
978-3-030-83837-9
050
4
$a
Q174-175.3
050
4
$a
B67
072
7
$a
PDA
$2
bicssc
072
7
$a
SCI075000
$2
bisacsh
072
7
$a
PDA
$2
thema
082
0 4
$a
501
$2
23
100
1
$a
da Costa, Newton C. A.
$e
author.
$4
aut
$4
http://id.loc.gov/vocabulary/relators/aut
$3
1401368
245
1 0
$a
On Hilbert's Sixth Problem
$h
[electronic resource] /
$c
by Newton C. A. da Costa, Francisco Antonio Doria.
250
$a
1st ed. 2022.
264
1
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2022.
300
$a
XIII, 191 p. 1 illus.
$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
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,
$x
2542-8292 ;
$v
441
505
0
$a
Foreword -- 1. Preliminary -- Part I. Physics: A Primer. 2. Classical mechanics -- 3. Variational calculus -- 4. Lagrangian formulation -- 5. Hamilton’s equations -- 6. Hamilton–Jacobi theory -- 7. Where the action is -- 8. From classical to quantum -- 9. Field theory -- 10. Electromagnetism -- 11. Special relativity -- 12. General relativity -- 13. Gauge field theories -- Part II. Axiomatics. 14. Axiomatizations in ZFC -- Part III. Technicalities. 15. Hierarchies -- Part IV. More applications. 16. Arnol’d’s 1974 problems -- 17. Forcing and gravitation -- 18. Economics and ecology -- Part V. Computer science. 19. Fast–growing functions -- Part VI. Hypercomputation. 20. Hypercomputation -- References.
520
$a
This book explores the premise that a physical theory is an interpretation of the analytico–canonical formalism. Throughout the text, the investigation stresses that classical mechanics in its Lagrangian formulation is the formal backbone of theoretical physics. The authors start from a presentation of the analytico–canonical formalism for classical mechanics, and its applications in electromagnetism, Schrödinger's quantum mechanics, and field theories such as general relativity and gauge field theories, up to the Higgs mechanism. The analysis uses the main criterion used by physicists for a theory: to formulate a physical theory we write down a Lagrangian for it. A physical theory is a particular instance of the Lagrangian functional. So, there is already an unified physical theory. One only has to specify the corresponding Lagrangian (or Lagrangian density); the dynamical equations are the associated Euler–Lagrange equations. The theory of Suppes predicates as the main tool in the axiomatization and examples from the usual theories in physics. For applications, a whole plethora of results from logic that lead to interesting, and sometimes unexpected, consequences. This volume looks at where our physics happen and which mathematical universe we require for the description of our concrete physical events. It also explores if we use the constructive universe or if we need set–theoretically generic spacetimes.
650
2 4
$a
Mathematical Logic and Foundations.
$3
669393
650
2 4
$a
Philosophical Foundations of Physics and Astronomy.
$3
1366393
650
1 4
$a
Philosophy of Science.
$3
668204
650
0
$a
Mathematical logic.
$2
bicssc
$3
810627
650
0
$a
Physics—Philosophy.
$3
1366392
650
0
$a
Science—Philosophy.
$3
1279704
700
1
$a
Doria, Francisco Antonio.
$e
editor.
$4
aut
$4
http://id.loc.gov/vocabulary/relators/aut
$3
1280908
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer Nature eBook
776
0 8
$i
Printed edition:
$z
9783030838362
776
0 8
$i
Printed edition:
$z
9783030838386
776
0 8
$i
Printed edition:
$z
9783030838393
830
0
$a
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,
$x
0166-6991 ;
$v
359
$3
1257256
856
4 0
$u
https://doi.org/10.1007/978-3-030-83837-9
912
$a
ZDB-2-REP
912
$a
ZDB-2-SXPR
950
$a
Religion and Philosophy (SpringerNature-41175)
950
$a
Philosophy and Religion (R0) (SpringerNature-43725)
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入