An interesting temporalization of G\"odel's ontological proof
Gavriel Segre
TL;DR
This paper explores a novel temporalization of G"odel's Ontological Proof to formalize theological ideas about God's death following Auschwitz, blending logic, theology, and history.
Contribution
It introduces a new temporal framework for G"odel's proof, connecting philosophical theology with formal logic in a historical context.
Findings
Provides a formal model for theological concepts of God's death
Bridges logic and theology through temporalization techniques
Offers insights into the intersection of history and metaphysics
Abstract
Recent theologies concerning God's death after Auschwitz are mathematically formalized through a suitable temporalization of G\"{o}del's Ontological Proof.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsHermeneutics and Narrative Identity · Phenomenology and Existential Philosophy