Overview
- Offers indispensable reading for mathematicians and computer scientists
- Gives insights into thework that is needed to solve scientific questions
- Forms a basis for further investigations into Gödel's vast collection of unpublished notes
Part of the book series: Sources and Studies in the History of Mathematics and Physical Sciences (SHMP)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (2 chapters)
Keywords
About this book
This book, Gödel'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 Gödel'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.
Reviews
“This book covers the lectures that Kurt Gödel gave in the spring of 1941 at the Institute
for Advanced Study in Princeton. … The importance of the book: it is an essential addition to Gödel studies, extending the original audience of three to all interested researchers.” (Jean Paul Van Bendegem, Mathematical Reviews, November, 2023)“This careful edition of Gödel's notes for his 1941 Princeton lectures is a highly relevant publication which should be consulted by anybody who wants to learn about Gödel's thoughts on intuitionsm at this time or is interested in functional interpretations.” (Ulrich Kohlenbach, Philosophia Mathematica, July 9, 2022)
Editors and Affiliations
Bibliographic Information
Book Title: Kurt Gödel
Book Subtitle: The Princeton Lectures on Intuitionism
Editors: Maria Hämeen-Anttila, Jan von Plato
Series Title: Sources and Studies in the History of Mathematics and Physical Sciences
DOI: https://doi.org/10.1007/978-3-030-87296-0
Publisher: Springer Cham
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2021
Hardcover ISBN: 978-3-030-87295-3Published: 16 December 2021
Softcover ISBN: 978-3-030-87298-4Published: 17 December 2022
eBook ISBN: 978-3-030-87296-0Published: 15 December 2021
Series ISSN: 2196-8810
Series E-ISSN: 2196-8829
Edition Number: 1
Number of Pages: IX, 133
Topics: History of Mathematical Sciences, Logic, History of Philosophy