東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Kurt Godel = the Princeton lectures ...

Hameen-Anttila, Maria.

FindBook

Google Book

Amazon

博客來

Kurt Godel = the Princeton lectures on intuitionism /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Kurt Godel/ edited by Maria Hameen-Anttila, Jan von Plato.
其他題名:	the Princeton lectures on intuitionism /
其他作者:	Hameen-Anttila, Maria.
出版者:	Cham :Springer International Publishing : : 2021.,
面頁冊數:	ix, 133 p. :ill., digital ;24 cm.
內容註:	Godel's Functional Interpretation in Context -- Part I: Axiomatic Intuitionist Logic -- Part II: The Functional Interpretation -- References -- Name Index.
Contained By:	Springer Nature eBook
標題:	Godel's theorem. -
電子資源:	https://doi.org/10.1007/978-3-030-87296-0
ISBN:	9783030872960

Kurt Godel = the Princeton lectures on intuitionism /
Kurt Godelthe 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)