PA是实例化完备的，但在算法上是不完备的：Church论题下连接形式逻辑和可计算性的哥德尔不完备性的另一种解释
摘要：形式语言的实例化和算法完备性的定义；通过哥德尔不完备性的替代解释，我们表明在满足Church定理的条件下，帕诺算术是实例化完备但算法不完备的；然后我们假设了一个可证性定理，将帕诺算术与有效算法计算性联系在一起，就像Church定理将递归算术与有效的实例化计算性联系在一起。
作者：Bhupinder Singh Anand
论文ID：math/0507044
分类：General Mathematics
分类简称：math.GM
提交时间：2007-05-23