哥德尔本体论证明的一个有趣的时间化
综合数学
2009-04-27 v2
摘要
通过哥德尔本体论证明的适当时间化，对奥斯维辛之后关于上帝之死的近期神学进行了数学形式化。
引用
@article{arxiv.0904.3921,
title = {An interesting temporalization of G\"odel's ontological proof},
author = {Gavriel Segre},
journal= {arXiv preprint arXiv:0904.3921},
year = {2009}
}