The development of Gödel’s ontological proof A Kanckos, T Lethen The Review of Symbolic Logic 14 (4), 1011-1029, 2021 | 13 | 2021 |
Kurt Gödel's anticipation of the Turing machine: A vitalistic approach T Lethen History and Philosophy of Logic 41 (3), 252-264, 2020 | 11 | 2020 |
Gespräche, Vorträge, Séancen: Kurt Gödels Wiener Protokolle 1937/38 T Lethen Transkriptionen und Kommentare. Cham: Springer, 2021 | 8 | 2021 |
Mistakes in the Bible–Kurt Gödel’s biblical Studies T Lethen Manuscript submitted for publication, 2020 | 7 | 2020 |
Monads, Types, and Branching Time—Kurt Gödel’s Approach Towards a Theory of the Soul T Lethen Wider den Reduktionismus: Ausgewählte Beiträge zum Kurt Gödel Preis 2019, 13-24, 2021 | 6 | 2021 |
Gödel on many-valued logic T Lethen The Review of Symbolic Logic 16 (3), 655-671, 2023 | 4 | 2023 |
Kurt Gödel’s reception of Charles Hartshorne’s ontological proof A Kanckos, T Lethen The Vienna Circle and Religion, 183-196, 2021 | 4 | 2021 |
Kurt Gödel on logical, theological, and physical antinomies T Lethen Bulletin of Symbolic Logic 27 (3), 267-297, 2021 | 3 | 2021 |
Kurt Gödel’s dogmatic theology T Lethen The Vienna Circle and Religion, 157-181, 2021 | 3 | 2021 |
Bit commitment as an introduction to quantum cryptography T Lethen European Journal of Physics 43 (5), 055402, 2022 | 2 | 2022 |
A (machine-oriented) logic based on pattern matching T Lethen Mathematical Structures in Computer Science 33 (7), 647-659, 2023 | 1 | 2023 |
Gödel’s Modal Dogmatic Logic and the Filioque: A Case Study T LETHEN Logique et Analyse 257, 1-23, 2022 | 1 | 2022 |
A Talmudic norms approach to many-valued logic T Lethen Journal of Logic and Computation 31 (5), 1195-1205, 2021 | 1 | 2021 |
How much Time Does a Logical Inference Take? T Lethen On Gödel and the Nonexistence of Time–Gödel und die Nichtexistenz der Zeit …, 2023 | | 2023 |
Computational Theology: A Metaobject-Based Implementation of Models of Generalised Trinitarian Logic T Lethen TheoLogica: An International Journal for Philosophy of Religion and …, 2022 | | 2022 |
Kurt Gödels Notizen zur Quantenmechanik: Transkriptionen und Kommentare T Lethen, O Passon Springer Berlin/Heidelberg, 2022 | | 2022 |
Kurt Gödel und das Wiener Psychologische Institut T Lethen Karl Bühler und das Wiener Psychologische Institut oder die Bedeutung des …, 2022 | | 2022 |