G公司奥德尔的G公司od英寸我萨贝尔/H（H）O（运行）L（左）

克里斯托夫·本兹穆勒 🌐和Bruno Woltzenlogel古 🌐

2013年11月12日

摘要

达娜·斯科特（Dana Scott）对哥德尔（Gödel）证明上帝存在的版本进行了量化形式化模态逻辑KB（QML KB）。QML知识库被建模为经典高阶逻辑（HOL）的一个片段；因此，形式化本质上是HOL中的形式化。

许可证

许可协议

话题

会议GoedelGod

引用

× 
@文章{GoedelGod-AFP，作者={克里斯托夫·本兹穆勒和布鲁诺·沃尔岑洛格尔古}，title={伊莎贝尔的哥德尔之神/HOL}，journal={正式证据存档}，月={11月}，年份={2013}，注释={\url{https://isa-afp.org/entries/GoedelGod.html},形式证明开发}，ISSN={2150-914x}，}
下载

下载

× 下载最新版本

旧版本：