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

八十年代以来国外哥德尔研究综述 　　哥德尔〔kurtgdel，1906—1978〕在20世纪上半叶短短十年间(1929-1939)就使数理逻辑发生了根本性变革，他的思想对逻辑学、数学、计算机科学、算法信息论、哲学和认知科学都产生了深远影响。王浩(angha)曾将他的工作同弗洛依德的心理学、爱因斯坦的相对论、玻尔的互补性原理、海森堡的测不准原理、凯恩斯的经济学和dna双螺旋构造理论并称20世纪人类思想史上的奠基性奉献。1979年一部美国畅销书?哥德尔-艾舍尔-巴赫?gdel,esher,bah:aneternalgldenbraid使逻辑领域之外的人也对哥德尔发生了空前的兴趣，一时间，“不完全性〞、“悖论〞、“怪圈〞竟成了一大批科普读物和文学作品中的时髦语汇。人们向往理解哥德尔、更深化地理解哥德尔的思想，开掘哥德尔思想中潜在的科学价值。但不完全性定理的数学外衣令大多数人望而却步，哥德尔的个性更覆盖着层层神秘色彩，而且哥德尔一生著述甚少，大多数思想记录在手稿、通信和私人谈话中，因此，长期以来，即使对大多数逻辑界人士来讲哥德尔也是一个难解的谜。直到1981年哥德尔去世三年后，他的妻子将其遗稿全部捐赠美国普林斯顿研究院，哥德尔手稿中的一部分内容才开始陆续公布，哥德尔思想宏大冰山的一角才开始渐渐显露，世人才有可能逐渐更全面地理解哥德尔的生活和工作。于是80年代后西方学界重新对哥德尔倾注热情，