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

DOI10.1007/s11787-019-00235-zOpenAlexW2984723689MaRDI QIDQ2297968

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

unprovabilityKanttheologyGödel's second theoremAl-Ghazâlî

Mathematics Subject Classification ID

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

Related Items (1)

Theological discourse and logic

Cites Work

• Formal reconstructions of St. Anselm's ontological argument
• Computability and Logic
• Unnamed Item
• Unnamed Item

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