摘要：对于卢卡斯和彭罗斯坚信哥德尔论证的基本正确性，唯一可以公平指责的错误是他们对经典理论标准阐述中不可证实的断言和哥德尔对自己形式推理的未经验证的解释的天真信任。我们展示了为什么他们的信任在这两种情况下都是错误的。
作者：Bhupinder Singh Anand
论文ID：math/0607333
分类：General Mathematics
分类简称：math.GM
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中