Gespräche, Vorträge, Séancen: Kurt Gödels Wiener Protokolle 1937/38, 1. Aufl. 2021 Transkriptionen und Kommentare Coll. Veröffentlichungen des Instituts Wiener Kreis, Vol. 31

Tim Lethen teaches mathematics and computer science at a German Gymnasium and lectures didactics of computer science at the Universität des Saarlands in Saarbrücken, Germany. As part of the Godeliana-Project, led by Jan von Plato at the University of Helsinki, Finland, Tim has read and transcribed many of Gödel’s private and scientific Gabelsberger shorthand notes, including notes on logic and the foundations of mathematics, quantum mechanics, and philosophy. Tim’s interest in Gödel’s ontological proof for the existence of God, a hitherto undiscovered version of which he published in 2019, led him to the investigation of Gödel’s theological and biblical studies, which—until very recently—have been lying untouched in Gödel’s Nachlass in Princeton.

The first book to transcribe and comment upon Kurt Gödel’s personal notes on conversations in Vienna 1937/38 and on meetings of the Zilsel-Circle

Provides a complete transcription of Gödel’s Protokoll-notebook from the Gabelsberger shorthand system

The first and only transcription and discussion of Gödel’s notes on lectures held at the Vienna Psychological Institute in 1937/38. (Hans Thirring, Konrad Lorenz, and many others.)

The only book to discuss Gödel’s interest in psychology, parapsychology, and demonology based on personal notes