八十年代以来国外哥德尔研究综述的论文.docVIP

八十年代以来国外哥德尔研究综述的论文 八十年代以来国外哥德尔研究综述的论文 哥德尔（kurt gouml;del，1906—1978）在20世纪上半叶短短十年间(1929-1939) 就使数理逻辑发生了根本性变革，他的思想对逻辑学、数学、计算机科学、算法信息论、哲学和认知科学都产生了深远影响。王浩(wang hao)曾将他的工作同弗洛依德的心理学、爱因斯坦的相对论、玻尔的互补性原理、海森堡的测不准原理、凯恩斯的经济学和dna双螺旋结构理论并称20世纪人类思想史上的奠基性贡献。1979年一部美国畅销书《哥德尔 -艾舍尔- 巴赫》gouml;del, escher, bach : an eternal golden braid 使逻辑领域之外的人也对哥德尔发生了空前的兴趣，一时间 ，“不完全性”、“悖论”、“怪圈”竟成了一大批科普读物和文学作品中的时髦语汇。人们向往了解哥德尔、更深刻地理解哥德尔的思想，发掘哥德尔思想中潜在的科学价值。但不完全性定理的数学外衣令大多数人望而却步，哥德尔的个性更笼罩着层层神秘色彩，而且哥德尔一生著述甚少，大多数思想记录在手稿、通信和私人谈话中，因此，长期以来，即使对大多数逻辑界人士来讲哥德尔也是一个难解的谜。直到1981年哥德尔去世三年后，他的妻子将其遗稿全部捐赠美国普林斯顿研究院，哥德尔手稿中的一部分内容才开始陆续公布，哥德尔思想巨大冰山的一角才开始慢慢显露，世人才有可能逐渐更全面地了解哥德尔的生活和工作。于是80年代后西方学界重新对哥德尔倾注热情，一大批数学家、逻辑学和哲学家纷纷加盟研究行列，目前，哥德尔研究已经成为具有极大挑战性和诱惑力的课题。 从已公布的资料中我们了解到，哥德尔的遗稿包括未发表的论文手稿、演讲稿、授课讲义、各类札记和哥德尔自己编号的100多本笔记（其中包括16本数学笔记、14本哲学笔记、2本神学笔记），内容涉及数学、物理学、逻辑、哲学、历史和神学众多领域，所有文字或以德文、英文、或以一种老式德文速记法写成，大多数文字还有待进一步破译。美国数学家约翰#8226道森（john w. dawson, jr.）率先获准进入哥德尔遗稿并于1982年完成了大批遗稿的编目。1979年国际符号逻辑学会理事会研究决定出版 《哥德尔文集》kurt gouml;del : collected works（1986），遂由菲夫曼（s.feferman ）等一流逻辑学家组成编辑委员会实施出版计划，1986、1990、1995年分别出版了文集的i—iii卷。第一、二卷为所有已发表的文字的结集，大约有80篇。其中有33篇述评和书评类文章，近10篇是对曾发表文章的修订，其余有3篇关于逻辑完全性的，5篇关于数学不完全性的，4篇关于集合论一致性结果的，2篇关于判定问题的，1篇关于证明长度的，3篇关于命题演算的，5篇关于直觉主义及泛函解释的，4篇关于数学哲学的，3篇关于相对论和时间哲学的，5篇关于几何的，1篇关于数理经济学的，1篇关于非标准分析的。第三卷包括部分未发表的论文手稿、演讲稿和专题讲座讲稿，大部分涉及到哲学。三卷文集每篇文章前均由专家撰写导读文章，介绍论文产生的背景、主要内容以及相关领域的必威体育精装版研究成果。目前《哥德尔文集》其他各卷还在陆续编目出版，哥德尔思想及其潜在的哲学和科学价值正日益受到学界的关注。 事实上，自1931年不完全性定理问世以来，国外哥德尔研究就大致沿着四个方向展开了：（1）对哥德尔的逻辑和数学成果的研究以及建立在此基础上的后续研究；（2）对哥德尔哲学思想的探讨；（3）哥德尔思想对其他领域的影响；（4）关于哥德尔的传记式研究。从目前已公布的文献看，第一个方向的研究较为深入，且大多数已成为数理逻辑学家的专门技术性领域，第三个方向的研究较为零散，而第二个方向真正的系统研究从80年代后期才刚刚起步。王浩《对哥德尔的反思》reflections on kurt gouml;del （1987）和《逻辑之旅：从哥德尔到哲学》 a logic journey: from gouml;del to philosophy（1996）显然在这方面作了开创性工作，其中对哥德尔思想的论述主要依据作者七十年代与哥德尔的亲身接触和多次单独交谈所获得的资料，特别对哥德尔的一些鲜为人知的哲学思想及其在他的逻辑和数学工作中所起的决定性助探作用作了精辟阐述，是目前为止最为丰富的哥德尔思想研究成果，具有很高的学术价值。 克莱索尔（georg kreisel）的《库尔特#8226哥德尔》kurt gouml;del：1906-1978（1980）、卡尔#8226门格尔（karl menger）的《追忆哥德尔》memoyies of kurt gouml;del（1982）以及辛迪卡（jaakko hintikka）和约翰#822