This book is a record of a seminar on mathematical logic Kurt Gödel and Hans Hahn held in Vienna in 1931-32. 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.
Jan von Plato is a specialist in logic and history and philosophy of exact science. He has published twelve books on probability theory, proof theory, and the development of logic and foundational study, and over one hundred research articles. In 2018-24, he led a project funded by the European Research Council that resulted in eight books with materials drawing from Kurt Gödel's vast collection of manuscripts written in an obsolete German shorthand.
Innehållsförteckning
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.