Gödel's god-like essence

MaRDI QIDQ5869646FDOQ5869646

Authors: Talia Leven 

Publication date: 28 September 2022

Recommendations

• scientific article; zbMATH DE number 4150116
• Gödel's Program Revisited Part I: The Turn to Phenomenology
• Automating Gödel's ontological proof of God's existence with higher-order automated theorem provers
• Kurt Gödel on logical, theological, and physical antinomies
• scientific article; zbMATH DE number 5976699

zbMATH Keywords

complete set of axiomspositive propertyessenceGödel's programgod-likeprimitive property

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

This page was built for publication: Gödel's god-like essence

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