加载中…
2009-04-24
An interesting temporalization of G\"odel's ontological proof
Gavriel Segre
文献摘要
Recent theologies concerning God’s death after Auschwitz are mathematically formalized through a suitable temporalization of G"{o}del’s Ontological Proof.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本