哥德尔不完备定理的标准解释有多确定？

摘要：人们对哥德尔的“不可判定”命题[(Ax)R(x)]的标准解释认为，尽管如果[(Ax)R(x)]是可判定的，那么[~(Ax)R(x)]就是可证明的。但我们不能因此得出[~(Ax)R(x)]是可证明的结论。我们证明这样的解释与一阶理论的标准演绎定理不一致。

作者：Bhupinder Singh Anand

论文ID：math/0307074

分类：General Mathematics

分类简称：math.GM

提交时间：2007-05-23

PDF 下载： 英文版 中文版pdf翻译中