Introduction:Gödel’s functional interpretation in context

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

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 languageEnglish
Title of host publicationSources and Studies in the History of Mathematics and Physical Sciences
Number of pages28
PublisherSpringer
Publication date2021
Pages1-28
ISBN (Print)978-3-030-87295-3
ISBN (Electronic)978-3-030-87296-0
DOIs
Publication statusPublished - 2021
MoE publication typeA3 Book chapter

Publication series

NameSources 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

Cite this