國立高雄大學圖資館 |

Language: English

Back

Kurt Godelthe Princeton lectures on ...

Hameen-Anttila, Maria.

Kurt Godelthe Princeton lectures on intuitionism /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Kurt Godeledited 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.
Contained By:	Springer Nature eBook
Subject:	Godel's theorem.
Online resource:	https://doi.org/10.1007/978-3-030-87296-0
ISBN:	9783030872960$q(electronic bk.)

Kurt Godelthe 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$q(electronic bk.)

Standard No.: 10.1007/978-3-030-87296-0doiSubjects--Topical Terms:

665760
Godel's theorem.

LC Class. No.: QA9.65 / .G2 2021

Dewey Class. No.: 511.3

Kurt Godelthe Princeton lectures on intuitionism /
LDR:02945nmm a2200337 a 4500 001 612428
003 DE-He213
005 20211215093541.0
006 m d
007 cr nn 008maaau
008 220526s2021 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 665760
650 1 4 $a History of Mathematical Sciences. $3 511733
650 2 4 $a Logic. $3 180785
650 2 4 $a History of Philosophy. $3 274764
700 1 $a Hameen-Anttila, Maria. $3 910927
700 1 $a von Plato, Jan. $3 526319
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Sources and studies in the history of mathematics and physical sciences. $3 345315
856 4 0 $u https://doi.org/10.1007/978-3-030-87296-0
950 $a Mathematics and Statistics (SpringerNature-11649)