Gödel's second theorem and the provability of God's existence

DOI10.1007/S11787-019-00235-ZMaRDI QIDQ2297968zbMATH OpenOpenAlexFDO

Authors Meir Buzaglo

Publication date 20 February 2020

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11787-019-00235-z

zbMATH Keywords

Al-GhazâlîGödel's second theoremKanttheologyunprovability

Mathematics Subject Classification ID

History of mathematics in the Golden Age of Islam (01A30) History of mathematics in the 18th century (01A50) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• On Godel's Second Incompleteness Theorem
• scientific article; zbMATH DE number 4150116
• PROVING UNPROVABILITY
• Automating Gödel's ontological proof of God's existence with higher-order automated theorem provers
• Gödel's god-like essence

Cites work

• Computability and Logic
• Formal reconstructions of St. Anselm's ontological argument
• scientific article; zbMATH DE number 2198106 (Why is no real title available?)
• The applicability of mathematics as a philosophical problem

Cited in

(2)

• Theological discourse and logic
• scientific article; zbMATH DE number 4150116 (Why is no real title available?)

This page was built for publication: Gödel's second theorem and the provability of God's existence

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