Kurt Gödel on logical, theological, and physical antinomies

DOI10.1017/BSL.2021.41MaRDI QIDQ5019782zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Kurt Gödel philosopher -- scientist
• scientific article; zbMATH DE number 1788465
• scientific article; zbMATH DE number 48417
• scientific article; zbMATH DE number 837777
• THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF

Cites work

• BCK and BCI logics, condensed detachment and the 2-property
• Can Mathematics Be Proved Consistent?
• Hilbert's paradox
• scientific article; zbMATH DE number 107511 (Why is no real title available?)
• scientific article; zbMATH DE number 1342342 (Why is no real title available?)
• scientific article; zbMATH DE number 1042221 (Why is no real title available?)
• scientific article; zbMATH DE number 1093813 (Why is no real title available?)
• scientific article; zbMATH DE number 3001285 (Why is no real title available?)
• scientific article; zbMATH DE number 1550362 (Why is no real title available?)
• scientific article; zbMATH DE number 785421 (Why is no real title available?)
• Kurt Gödel's Anticipation of the Turing Machine: A Vitalistic Approach
• Kurt Gödel's first steps in logic: formal proofs in arithmetic and set theory through a system of natural deduction
• Kurt Gödels notes on quantum mechanics. Transcriptions and comments
• Lectures on the Curry-Howard isomorphism
• Logic lectures. Gödel's basic logic course at Notre Dame
• On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos
• Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus

Cited in

(7)

• An object-logic explanation for the inconsistency in Gödel's ontological theory
• Gödel's god-like essence
• Gödel's modal dogmatic logic and the Filioque a case study
• GÖDEL ON MANY-VALUED LOGIC
• Paradoxes, intuitionism, and proof-theoretic semantics
• Some Remarks on an Early Version of Gödel's Ontological Proof and his View Upon the Principle of the Identity of Indiscernibles
• The ineffability of God – a logical approach

This page was built for publication: Kurt Gödel on logical, theological, and physical antinomies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5019782)