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

《八十年代以来国外哥德尔研究综述论文》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、八十年代以来国外哥德尔研究综述论文哥德尔（KurtGdel，1906—1978）在20世纪上半叶短短十年间(1929-1939)就使数理逻辑发生了根本性变革，他的思想对逻辑学、数学、计算机科学、算法信息论、哲学和认知科学都产生了深远影响。王浩(enger）的《追忆哥德尔》MemoyiesofKurtGdel（1982）以及辛迪卡（JaakkoHintikka）和约翰道森的两部新作《哥德尔》OnGdel(1999)和《逻辑两难：哥德尔的一生》LogicalDilemmas-Thelifeandaddy）发表在《符号逻辑杂志》上的《当代柏拉图主义的根》The

2、RootsofContemporaryPlatonism（1989）、载于《符号逻辑通报》上的查尔斯帕尔森（C.D.Parsons）的《哥德尔思想中的柏拉图主义和数学直觉》PlatonismandMathematicalIntuitioninKurtGdel’sThought（1995创刊号）和他的《蒯因和哥德尔论分析性》QuineandGdelOnAnalyticity（1995）、克勒（E.K*hler）的《哥德尔与维也纳学派：柏拉图主义反对形式主义》KurtGdelAndViennaCircle：PlatonismAgainstFormalism（

3、1991）等文章，对哥德尔丰富而深刻的哲学思想均提出了一些独到的分析,极具启发意义。最为国人熟知的恐怕是霍夫斯塔特（DouglasHofstadter）的《哥德尔艾舍尔巴赫：一条永恒的金带》以及彭罗斯（R.Penrose）的《皇帝新脑》TheEmperor’sNeAndMind（1982）鲁卡斯（J.R.Lucas）的“心，机器和哥德尔”Mind，MachinesAndGdel（1996）、菲夫曼的“彭罗斯的哥德尔论证”Penrose’sGdelianArgument（1996）、爱迪斯（T.Edis）的“哥德尔定理如何为人工智能提供支持？”HoSupp

4、ortsthePossibilityofMachineIntelligence?（1998）、麦克马尔（McMall）的“图灵机能知道哥德尔语句是真的吗？”CanaTuringMachineKnoAndAlgorithemism:CanMachinesThink?（1993）引用哥德尔本人的解释，详尽讨论了直接应用哥德尔不完全性定理是否能够推出“人心胜过计算机”的结论这个哥德尔本人也感兴趣的问题。进入80年代以来，哥德尔纪念活动纷纷在各地举行。1986年一部电影剧本《库尔特哥德尔：一个数学神话》KurtGdel:AMathematicalMyth问世，同

5、年在维也纳等地召开了三个缅怀哥德尔的集会。1987年“哥德尔学会”在奥地利正式成立。1992年在巴黎举办了部分欧洲学者参加的哥德尔定理专题会议并出版了由沃考夫斯基（Z.athematics,puterScienceAndPhysics--KurtGdel’sLegacy（1996）。哥德尔的一生是专注于基础理论研究的一生，是执着于理性主义哲学传统的哲人科学家的一生。从各种文献中我们完全可以断言，哥德尔不仅以其精湛优雅的科学工作对整个人类作出了巨大贡献，同时也以其超越时代的深刻思想为后人留下了一笔丰厚的哲学遗产。他毕生工作的领域为逻辑、数学、理论物理和哲学

6、。1906年哥德尔生于奥地利的布鲁诺，1924年入维也纳大学学习，最初主修理论物理，后转修数学，1928年受维也纳学派影响对数理逻辑发生兴趣。1929年—1939年间相继作出数理逻辑领域中几大贡献：一阶谓词逻辑的完全性、数学形式系统的不完全性、连续统假设相对集合论公理的一致性以及不大为人所知的关于直觉主义及其泛函解释的结果。1940年起哥德尔由维也纳移居美国，直到1978年逝世一直在普林斯顿研究院工作。这期间除了一直未间断集合论问题的思考，并有五年时间热衷于广义相对论研究外，大部分精力致力于哲学研究。根据现有国外哥德尔研究文献看，他的哲学大致划分为两大部

7、分：一部分是未予系统化阐述的一般哲学观，另一部分是阐述较为集中且内涵丰富而深刻的数学哲学。他曾有过（不曾实现的）建构“作为严格科学的哲学”的大规划，他的哲学试图追随莱布尼兹，借鉴胡塞尔现象学方法，利用现代逻辑工具建立一种公理化的取单子论形式的形而上学。哥德尔晚年对自己的一般哲学观所作的概括是“唯心主义的、理性主义的、乐观主义的和神学的”，而将自己1925年以来的数学哲学立场概括为“数学实在论”或“概念实在论”。他曾花费一部分精力思考关于时间和空间的物理学哲学，也曾发表过关于相对论和时间哲学的论文，但他戏称这些讨论不过是一些“题外话”。关于哥德尔的物理学哲

8、学可参看PalleYourgrau的《时间的消逝：哥德尔和他的唯心主义哲学传统》