Kurt Gödel : The Princeton lectures on intuitionism / Maria Hämeen-Anttila, Jan von Plato, editors.
2021
QA9.65
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Kurt Gödel : The Princeton lectures on intuitionism / Maria Hämeen-Anttila, Jan von Plato, editors.
Author
Gödel, Kurt.
ISBN
9783030872960 (electronic bk.)
3030872963 (electronic bk.)
3030872955
9783030872953
3030872963 (electronic bk.)
3030872955
9783030872953
Publication Details
Cham, Switzerland : Springer, 2021.
Language
English
Description
1 online resource (141 pages)
Item Number
10.1007/978-3-030-87296-0 doi
Call Number
QA9.65
Dewey Decimal Classification
511.3
Summary
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.
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Digital File Characteristics
PDF
text file
text file
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed January 19, 2022).
Added Author
Hämeen-Anttila, Maria.
Von Plato, Jan.
Von Plato, Jan.
Series
Sources and studies in the history of mathematics and physical sciences.
Available in Other Form
Kurt Gödel
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of Contents
Gödel's Functional Interpretation in Context
Part I: Axiomatic Intuitionist Logic
Part II: The Functional Interpretation
References
Name Index.
Part I: Axiomatic Intuitionist Logic
Part II: The Functional Interpretation
References
Name Index.