Tim Lethen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Introduction Logique et Analyse. Nouvelle Série	2026-08-26	Paper
Some Remarks on an Early Version of Gödel's Ontological Proof and his View Upon the Principle of the Identity of Indiscernibles History and Philosophy of Logic	2026-03-31	Paper
The ineffability of God – a logical approach Journal of Applied Non-Classical Logics	2025-07-18	Paper
A (machine-oriented) logic based on pattern matching Mathematical Structures in Computer Science	2024-03-05	Paper
GÖDEL ON MANY-VALUED LOGIC The Review of Symbolic Logic	2023-09-20	Paper
Kurt Gödel's Anticipation of the Turing Machine: A Vitalistic Approach History and Philosophy of Logic	2023-06-14	Paper
Gödel's modal dogmatic logic and the Filioque a case study	2023-05-15	Paper
Bit commitment as an introduction to quantum cryptography European Journal of Physics	2023-03-20	Paper
THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF The Review of Symbolic Logic	2022-02-07	Paper
Kurt Gödel on logical, theological, and physical antinomies The Bulletin of Symbolic Logic	2022-01-11	Paper
Kurt G\"odel's reception of Charles Hartshorne's ontological proof	2021-11-23	Paper
A Talmudic norms approach to many-valued logic Journal Of Logic And Computation	2021-09-22	Paper

Research outcomes over time

This page was built for person: Tim Lethen