KURT GÖDEL ON LOGICAL, THEOLOGICAL, AND PHYSICAL ANTINOMIES

DOI10.1017/bsl.2021.41zbMath1482.03001OpenAlexW3183446482MaRDI QIDQ5019782

Tim Lethen

Publication date: 11 January 2022

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/bsl.2021.41

zbMATH Keywords

antinomiesKurt Gödelmonadologytheology

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Logic in the philosophy of science (03A10)

Related Items (1)

GÖDEL ON MANY-VALUED LOGIC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus
• Lectures on the Curry-Howard isomorphism
• BCK and BCI logics, condensed detachment and the 2-property
• Hilbert's paradox
• On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos
• KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION
• Kurt Gödels Notizen zur Quantenmechanik
• Can Mathematics Be Proved Consistent?
• Kurt Gödel's Anticipation of the Turing Machine: A Vitalistic Approach

This page was built for publication: KURT GÖDEL ON LOGICAL, THEOLOGICAL, AND PHYSICAL ANTINOMIES