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
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
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