Abstract
In the spring of 1941, Kurt Gödel held a lecture course on intuitionistic logic at the Institute for Advanced Study in Princeton. Two spiral notebooks labelled simply “Vorl.” and two sets of loose notes contain handwritten notes for the lecture course. The lecture notes divide into two themes. The first part is an introduction to intuitionistic logic. The second part is a detailed presentation of Gödel’s functional interpretation of Heyting Arithmetic and its applications.
Original language | English |
---|---|
Title of host publication | Sources and Studies in the History of Mathematics and Physical Sciences |
Number of pages | 28 |
Publisher | Springer |
Publication date | 2021 |
Pages | 1-28 |
ISBN (Print) | 978-3-030-87295-3 |
ISBN (Electronic) | 978-3-030-87296-0 |
DOIs | |
Publication status | Published - 2021 |
MoE publication type | A3 Book chapter |
Publication series
Name | Sources and Studies in the History of Mathematics and Physical Sciences |
---|---|
ISSN (Print) | 2196-8810 |
ISSN (Electronic) | 2196-8829 |
Bibliographical note
Publisher Copyright:© 2021, The Author(s), under exclusive license to Springer Nature Switzerland AG.
Fields of Science
- 611 Philosophy