Tim Lethen Author

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.