NewEvery arXiv paper, its researchers & institutions — mapped.
paper

An interesting temporalization of Gödel's ontological proof

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.