Language:
English
繁體中文
Help
回圖書館首頁
手機版館藏查詢
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Kurt Godel = the Princeton lectures ...
~
Hameen-Anttila, Maria.
Linked to FindBook
Google Book
Amazon
博客來
Kurt Godel = the Princeton lectures on intuitionism /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Kurt Godel/ edited by Maria Hameen-Anttila, Jan von Plato.
Reminder of title:
the Princeton lectures on intuitionism /
other author:
Hameen-Anttila, Maria.
Published:
Cham :Springer International Publishing : : 2021.,
Description:
ix, 133 p. :ill., digital ;24 cm.
[NT 15003449]:
Godel's Functional Interpretation in Context -- Part I: Axiomatic Intuitionist Logic -- Part II: The Functional Interpretation -- References -- Name Index.
Contained By:
Springer Nature eBook
Subject:
Godel's theorem. -
Online resource:
https://doi.org/10.1007/978-3-030-87296-0
ISBN:
9783030872960
Kurt Godel = the Princeton lectures on intuitionism /
Kurt Godel
the Princeton lectures on intuitionism /[electronic resource] :edited by Maria Hameen-Anttila, Jan von Plato. - Cham :Springer International Publishing :2021. - ix, 133 p. :ill., digital ;24 cm. - Sources and studies in the history of mathematics and physical sciences,2196-8829. - Sources and studies in the history of mathematics and physical sciences..
Godel's Functional Interpretation in Context -- Part I: Axiomatic Intuitionist Logic -- Part II: The Functional Interpretation -- References -- Name Index.
Paris of the year 1900 left two landmarks: the Tour Eiffel, and David Hilbert's celebrated list of twenty-four mathematical problems presented at a conference opening the new century. Kurt Godel, a logical icon of that time, showed Hilbert's ideal of complete axiomatization of mathematics to be unattainable. The result, of 1931, is called Godel's incompleteness theorem. Godel then went on to attack Hilbert's first and second Paris problems, namely Cantor's continuum problem about the type of infinity of the real numbers, and the freedom from contradiction of the theory of real numbers. By 1963, it became clear that Hilbert's first question could not be answered by any known means, half of the credit of this seeming faux pas going to Godel. The second is a problem still wide open. Godel worked on it for years, with no definitive results; The best he could offer was a start with the arithmetic of the entire numbers. This book, Godel's lectures at the famous Princeton Institute for Advanced Study in 1941, shows how far he had come with Hilbert's second problem, namely to a theory of computable functionals of finite type and a proof of the consistency of ordinary arithmetic. It offers indispensable reading for logicians, mathematicians, and computer scientists interested in foundational questions. It will form a basis for further investigations into Godel's vast Nachlass of unpublished notes on how to extend the results of his lectures to the theory of real numbers. The book also gives insights into the conceptual and formal work that is needed for the solution of profound scientific questions, by one of the central figures of 20th century science and philosophy.
ISBN: 9783030872960
Standard No.: 10.1007/978-3-030-87296-0doiSubjects--Topical Terms:
544781
Godel's theorem.
LC Class. No.: QA9.65 / .G2 2021
Dewey Class. No.: 511.3
Kurt Godel = the Princeton lectures on intuitionism /
LDR
:02945nmm a2200337 a 4500
001
2262134
003
DE-He213
005
20211215093541.0
006
m d
007
cr nn 008maaau
008
220616s2021 sz s 0 eng d
020
$a
9783030872960
$q
(electronic bk.)
020
$a
9783030872953
$q
(paper)
024
7
$a
10.1007/978-3-030-87296-0
$2
doi
035
$a
978-3-030-87296-0
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
QA9.65
$b
.G2 2021
072
7
$a
PBX
$2
bicssc
072
7
$a
MAT015000
$2
bisacsh
072
7
$a
PBX
$2
thema
082
0 4
$a
511.3
$2
23
090
$a
QA9.65
$b
.K96 2021
245
1 0
$a
Kurt Godel
$h
[electronic resource] :
$b
the Princeton lectures on intuitionism /
$c
edited by Maria Hameen-Anttila, Jan von Plato.
260
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2021.
300
$a
ix, 133 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Sources and studies in the history of mathematics and physical sciences,
$x
2196-8829
505
0
$a
Godel's Functional Interpretation in Context -- Part I: Axiomatic Intuitionist Logic -- Part II: The Functional Interpretation -- References -- Name Index.
520
$a
Paris of the year 1900 left two landmarks: the Tour Eiffel, and David Hilbert's celebrated list of twenty-four mathematical problems presented at a conference opening the new century. Kurt Godel, a logical icon of that time, showed Hilbert's ideal of complete axiomatization of mathematics to be unattainable. The result, of 1931, is called Godel's incompleteness theorem. Godel then went on to attack Hilbert's first and second Paris problems, namely Cantor's continuum problem about the type of infinity of the real numbers, and the freedom from contradiction of the theory of real numbers. By 1963, it became clear that Hilbert's first question could not be answered by any known means, half of the credit of this seeming faux pas going to Godel. The second is a problem still wide open. Godel worked on it for years, with no definitive results; The best he could offer was a start with the arithmetic of the entire numbers. This book, Godel's lectures at the famous Princeton Institute for Advanced Study in 1941, shows how far he had come with Hilbert's second problem, namely to a theory of computable functionals of finite type and a proof of the consistency of ordinary arithmetic. It offers indispensable reading for logicians, mathematicians, and computer scientists interested in foundational questions. It will form a basis for further investigations into Godel's vast Nachlass of unpublished notes on how to extend the results of his lectures to the theory of real numbers. The book also gives insights into the conceptual and formal work that is needed for the solution of profound scientific questions, by one of the central figures of 20th century science and philosophy.
650
0
$a
Godel's theorem.
$3
544781
650
1 4
$a
History of Mathematical Sciences.
$3
1530523
650
2 4
$a
Logic.
$3
529544
650
2 4
$a
History of Philosophy.
$3
896985
700
1
$a
Hameen-Anttila, Maria.
$3
3538211
700
1
$a
von Plato, Jan.
$3
1559947
710
2
$a
SpringerLink (Online service)
$3
836513
773
0
$t
Springer Nature eBook
830
0
$a
Sources and studies in the history of mathematics and physical sciences.
$3
740893
856
4 0
$u
https://doi.org/10.1007/978-3-030-87296-0
950
$a
Mathematics and Statistics (SpringerNature-11649)
based on 0 review(s)
Location:
ALL
電子資源
Year:
Volume Number:
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
W9414847
電子資源
11.線上閱覽_V
電子書
EB QA9.65 .G2 2021
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login