arXiv发布Gödel本体论论证浅嵌入研究v3

Benzmüller 等人发布 Gödel 本体论论证浅嵌入研究的新版本（v3）。该研究称，Monatshefte 笔记中证明的每条陈述都能在不替换对象语言之外任何内容的嵌入中给出证明，其中 294 条为机器校验的显式证明，且均未使用 hybrid logic 的 nominal。 v3 新增两种对合取公理的解读——刚性集合，以及两种限制同时施加——与已采用的一种并列权衡；并显示 Gödel 1970 年的本质概念与修复后的版本不可相互定义。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。