Tim Lethen

From MaRDI portal
Person:3382815

Available identifiers

zbMath Open lethen.timMaRDI QIDQ3382815

List of research outcomes





PublicationDate of PublicationType
A (machine-oriented) logic based on pattern matching2024-03-05Paper
GÖDEL ON MANY-VALUED LOGIC2023-09-20Paper
Kurt Gödel's Anticipation of the Turing Machine: A Vitalistic Approach2023-06-14Paper
https://portal.mardi4nfdi.de/entity/Q60419122023-05-15Paper
Bit commitment as an introduction to quantum cryptography2023-03-20Paper
THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF2022-02-07Paper
KURT GÖDEL ON LOGICAL, THEOLOGICAL, AND PHYSICAL ANTINOMIES2022-01-11Paper
Kurt G\"odel's reception of Charles Hartshorne's ontological proof2021-11-23Paper
A Talmudic norms approach to many-valued logic2021-09-22Paper

Research outcomes over time

This page was built for person: Tim Lethen

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:3382815&oldid=7112447"
Powered by MediaWiki