An interesting temporalization of Gödel's ontological proof

2009/04/24 by Segre, Gavriel
#FOS: Mathematics #General Mathematics (math.GM)

paper · doi:10.48550/arxiv.0904.3921

Abstract

Recent theologies concerning God's death after Auschwitz are mathematically formalized through a suitable temporalization of Gödel's Ontological Proof.

Related

• Gödel, the Unreality of Time and Mathematical Platonism
• A Simplified Variant of Gödel's Ontological Argument
• Logic of the Ontological Argument
• Gödel on Deduction
• Kurt Gödel and the Logic of Concepts