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

　　八十年代以来国外哥德尔研究综述论文 哥德尔（Kurt G del，1906—1978）在20世纪上半叶短短十年间(1929-1939) 就使数理逻辑发生了根本性变革，他的思想对逻辑学、数学、计算机科学、算法信息论、哲学和认知科学都产生了深远影响。王浩(enger）的《追忆哥德尔》Memoyies of Kurt G del（1982）以及辛迪卡（Jaakko Hintikka）和约翰 道森的两部新作《哥德尔》On G del (1999)和《逻辑两难：哥德尔的一生》Logical Dilemmas-The life and addy）发表在《符号逻辑杂志》上的《当代柏拉图主义的根》The Roots of Contemporary Platonism（1989）、载于《符号逻辑通报》上的查尔斯 帕尔森（C.D.Parsons）的《哥德尔思想中的柏拉图主义和数学直觉》Platonism and Mathematical Intuition in Kurt G del’s Thought （1995创刊号） 和他的《蒯因和哥德尔论分析性》Quine and G del On Analyticity（1995）、克勒（E.K*hler）的《哥德尔与维也纳学派：柏拉图主义反对形式主义》Kurt G del And Vienna Circle：Platonism Against Formalism （1991）等文章，对哥德尔丰富而深刻的哲学思想均提出了一些独到的分析,极具启发意义。 最为国人熟知的恐怕是霍夫斯塔特（Douglas Hofstadter）的《哥德尔 艾舍尔 巴赫 ：一条永恒的金带》以及彭罗斯（R.Penrose）的《皇帝新脑》The Emperor’s Ne And Mind （1982）鲁卡斯（J.R.Lucas）的“心，机器和哥德尔”Mind， Machines And G del （1996）、菲夫曼的“彭罗斯的哥德尔论证”Penrose’s G delian Argument（1996）、爱迪斯（T.Edis）的“哥德尔定理如何为人工智能提供支持？” Ho Supports the Possibility of Machine Intelligence?（1998）、麦克马尔（McMall）的“图灵机能知道哥德尔语句是真的吗？”Can a Turing Machine Kno And Algorithemism :Can Machines Think ?（1993）引用哥德尔本人的解释，详尽讨论了直接应用哥德尔不完全性定理是否能够推出“人心胜过计算机”的结论这个哥德尔本人也感兴趣的问题。 进入80年代以来，哥德尔纪念活动纷纷在各地举行。1986年一部电影剧本 《库尔特 哥德尔：一个数学神话》Kurt G del: A Mathematical Myth 问世，同年在维也纳等地召开了三个缅怀哥德尔的集会。 1987年“哥德尔学会”在奥地利正式成立。1992年在巴黎举办了部分欧洲学者参加的哥德尔定理专题会议并出版了由沃考夫斯基（Z.athematics , puter Science And Physics -- Kurt G del’s Legacy（1996）。 哥德尔的一生是专注于基础理论研究的一生，是执着于理性主义哲学传统的哲人科学家的一生。从各种文献中我们完全可以断言，哥德尔不仅以其精湛优雅的科学工作对整个人类作出了巨大贡献，同时也以其超越时代的深刻思想为后人留下了一笔丰厚的哲学遗产。他毕生工作的领域为逻辑、数学、理论物理和哲学。1906年哥德尔生于奥地利的布鲁诺，1924年入维也纳大学学习，最初主修理论物理，后转修数学，1928年受维也纳学派影响对数理逻辑发生兴趣。1929年—1939年间相继作出数理逻辑领域中几大贡献：一阶谓词逻辑的完全性、数学形式系统的不完全性、连续统假设相对集合论公理的一致性以及不大为人所知的关于直觉主义及其泛函解释的结果。1940年起哥德尔由维也纳移居美国，直到1978年逝世一直在普林斯顿研究院工作。这期间除了一直未间断集合论问题的思考，并有五年时间热衷于广义相对论研究外，大部分精力致力于哲学研究。根据现有国外哥德尔研究文献看，他的哲学大致划分为两大部分：一部分是未予系统化阐述的一般哲学观，另一部分是阐述较为集中且内涵丰富而深刻的数学哲学。他曾有过（不曾实现的）建构“作为严格科学的哲学”的大规划，他的哲学试图追随莱布尼兹，借鉴胡塞尔现象学方法，利用现代逻辑工具建立一种公理化的取单子论形式的形而上学。哥德尔晚年对自己的一般哲学观所作的概括是“唯心主义的、理性主义的、乐观主义的和神学的”，而将自己1925年以来的数学哲学立场概括为“数学实在论”或“概念实在论”。他曾花费一部分精力思