Mathematical Logic in Vienna

This book is a record of a seminar on mathematical logic Kurt Gödel and Hans Hahn held in Vienna in 1931-32. The seminar proceedings, given in English translation, are a unique witness of the state of research in logic and foundations of mathematics right after Gödel had published his celebrated incompleteness theorems. The seminars explain Gödel's results in logic in detail, in contrast to his publications of the time that often were quite laconic and extremely short. This book also contains Gödel's trial lecture on intuitionistic logic held in Vienna in 1933. The manuscript, recently found among the Gödel papers kept in Princeton, is preserved in Gödel's forgotten German shorthand and published here in an English translation.

The book also adds an important aspect to the intellectual history of Vienna, as both Gödel and Hahn were members of the Vienna Circle group of philosophers and scientists.

Reveals the state of Logic following Gödel's incompleteness theorem of 1931 Contains Gödel's own presentations of his completeness and incompleteness theorems Contains Gödel's newly discovered lecture on intuitionistic logic, recovered from shorthand notes

Contenu

Part 1: The Beginnings of Mathematical Logic in Vienna.- Part 2. Report of the Seminar on Mathematical Logic.- Part 3. Godel's Trial Lecture on Instutionistic Logic.