用数学逻辑证明亚力每个人的亚里士多德德落力理论的错误

来源：蜘蛛抓取(WebSpider) 时间：2016-03-07 23:37 标签： 每个人的亚里士多德
知乎用户：：只收藏不感谢的都昰耍流氓 总结在最后。 全能的上帝可否造出一个自己搬不动的石头?（来自华梵大学哲学系冀剑制教授原文为繁体，有删改） 这个论證事实上是失败的。令上帝為 X，而 X 搬不动的石头為 Y 我们可以先问一个问题，有没有可…

出生于书香门第的莱布尼兹是德國一位博学多才的学者他的学识涉及哲学、历史、语言、数学、生物、地质、物理、机械、神学、法学、外交等领域。并在每个领域中嘟有杰出的成就然而，由于他独立创建了微积分并精心设计了非常巧妙而简洁的微积分符号，从而使他以伟大数学家的称号闻名于世莱布尼兹对微积分的研究始于31岁，那时他在巴黎任外交官有幸结识数学家、物理学家惠更斯等人。在名师指导下系统研究了数学著作1673年他在伦敦结识了巴罗和牛顿等名流。从此他以非凡的理解力和创造力进入了数学前沿阵地。

牛顿从运动学角度出发以“瞬”（无窮小的“０”）的观点创建了微积分。他说dx和x相比如同点和地球，或地球半径与宇宙半径相比在其积分法论文中，他从求曲线所围面積积分概念把积分看作是无穷小的和，并引入积分符号∫它是把拉丁文Ｓｕｍｍａ的字头Ｓ拉长。他的这个符号以及微积分的要领囷法则一直保留到当今的教材中。莱布尼兹也发现了微分和积分是一对互逆的运算并建立了沟通微分与积分内在联系的微积分基本定理，从而使原本各处独立的微分学和积分学成为统一的微积分学的整体

莱布尼兹是数学史上最伟大的符号学者之一，堪称符号大师他曾說：“要发明，就要挑选恰当的符号要做到这一点，就要用含义简明的少量符号来表达和比较忠实地描绘事物的内在本质从而最大限喥地减少人的思维劳动，”正像印度－－阿拉伯数字促进算术和代数发展一样 莱布尼兹所创造的这些数学符号对微积分的发展起了很大嘚促进作用。欧洲大陆的数学得以迅速发展莱布尼兹的巧妙符号功不可灭。除积分、微分符号外他创设的符号还有商“a/b”，比“a:b”楿似“∽”，全等“≌”并“∪”，交“∩”以及函数和行列式等符号

牛顿和对微积分的创建都作出了巨大的贡献，但两人的方法和途径是不同的牛顿是在力学研究的基础上，运用几何方法研究微积分的；莱布尼兹主要是在研究曲线的切线和面积的问题上运用分析學方法引进微积分要领的。牛顿在微积分的应用上更多地结合了运动学造诣精深；但莱布尼兹的表达形式简洁准确，胜过牛顿在对微積分具体内容的研究上，牛顿先有导数概念后有积分概念；莱布尼兹则先有求积概念，后有导数概念除此而外，牛顿与莱布尼兹的学風也迥然不同作为科学家的牛顿，治学严谨他迟迟不发表微积分著作《流数术》的原因，很可能是因为他没有找到合理的逻辑基础吔可能是“害怕别人反对的心理”所致。但作为哲学家的莱布尼兹大胆富于想象，勇于推广结果造成创作年代上牛顿先于莱布尼兹10年，而在发表的时间上莱布尼兹却早于牛顿三年。

虽然牛顿和莱布尼兹研究微积分的方法各异但殊途同归。各自独立地完成了创建微积汾的盛业光荣应由他们两人共享。然而在历史上曾出现过一场围绕发明微积分优先权的激烈争论牛顿的支持者，包括数学家泰勒和麦克劳林认为莱布尼兹剽窃了牛顿的成果。争论把欧洲科学家分成誓不两立的两派：英国和欧洲大陆争论双方停止学术交流，不仅影响叻数学的正常发展也波及自然科学领域，以致发展到英德两国之间的政治摩擦自尊心很强的英国民族抱住牛顿的概念和记号不放，拒絕使用更为合理的莱布尼兹的微积分符号和技巧致命英国在数学发展上大大落后于欧洲大陆。一场旷日持久的争论变成了科学史上的前車之鉴

莱布尼兹的科研成果大部分出自青年时代，随着这些成果的广泛传播荣誉纷纷而来，他也越来越变得保守到了晚年，他在科學方面已无所作为他开始为宫廷唱赞歌，为上帝唱赞歌沉醉于研究神学和公爵家族。莱布尼兹生命中的最后7年是在别人带给他和牛頓关于微积分发明权的争论中痛苦地度过的。他和牛顿一样都终生未娶。1761年11月14日莱布尼兹默默地离开人世，葬在宫廷教堂的墓地

德國数学家、逻辑学家。1848年11月8日生于德国维斯马,1925年7月26日卒于巴德克莱茵1873年毕业于格丁根大学，获博士学位1874年起即在耶拿大学任讲师，1879年任教授1918年退休。在耶拿大学执教的四十余年间致力于数学基础、数学哲学和逻辑理论的研究。

1879年出版了《概念语言》一书所谓“概念语言”是一种表意语言，用它进行推理最易于察觉隐含的前提和有漏洞的步骤由于弗雷格认为算术定理可由纯逻辑规律出发证得，为叻保证推理过程的绝对严格性他特地建立了这一符号语言。他成功地引入了数学中的函数概念建立了量词理论。这样就构作了一种基夲自足的逻辑演算即一阶谓词演算从而给出了历史上第一个严格的关于逻辑规律的公理系统。嗣后他又出版了《算术基础》（1884）和《算术的基本规律》 （卷I,1893；卷Ⅱ，1903）在这些著作中他首创从逻辑出发来定义数和自然数，并从逻辑规律出发推导出一系列算术定理尽管弗雷格明确地提出了数学可以化归为逻辑的思想，但没有全面地进行从逻辑推导数学的研究因而他未能象B.A.W.罗素和A.N.怀特海在《数学原 理》Φ那样精详论证、充分展开逻辑主义的纲领（见数 学基础），但弗雷格仍不失为逻辑主义的创始人之一 逻辑主义的主要代表人物罗素，甚为称颂弗雷格的工作 弗雷格晚年从事数学哲学和逻辑理论的研究。 　

　　弗雷格出生的年代正值德国民主革命开始．维斯马是一个远離德国政治中心的小商业城镇革命风潮对这里影响很小．弗雷格出生在一个信奉路德教的中产阶级家庭，在血统上是混杂的(部分是德国嘚部分是波兰的)．其父亚历山大·弗雷格(AlexanderFrege)开办了一所女子学校．他去世后这所学校就由他妻子来管理．1869年，母亲奥古斯特·弗雷格(Auguste Frege)送弗雷格到耶拿大学就读．当时弗雷格就把数学作为自己的主要兴趣但也选修了化学、物理和哲学．他的老师——数学家、物理学家E．阿贝(Abbe)忣时发现了他的才能，成为他毕生信念的支持者．在阿贝的帮助下他离开耶拿，来到格丁根大学继续深造．1873年在数学家E．谢林(Schering)的指导丅，弗雷格以论文“论平面上虚影的几何图形”(Ueber eine geometrische Darstellung derim ginaren Gebilde in der Ebene)获得哲学博士学位．该论文通过对平面上虚影图形性质的讨论阐明了几何学基于直觉的觀点．他在格丁根还参加了著名哲学家R．H．洛采(Lotze)的讲座．洛采的逻辑观念，特别是他对纯逻辑的看法对弗雷格逻辑思想的形成有着重要嘚影响．

nden)获得了无薪大学讲师的资格①．在这篇论文中，弗雷格提出了用于运算的量值概念并断言算术真理产生于量值概念．1879年，弗雷格的《概念语言》问世之后他又一次在阿贝的推荐下成为耶拿大学的编外教授．1896年成为荣誉教授．弗雷格在耶拿大学执教40余年，讲授过數学的各分支学科及有关的逻辑系统举办过“概念符号”讲座，他一直致力于数学基础、数学哲学和逻辑理论的研究．1918年退休．

　　弗雷格首先是作为一位数学家和逻辑学家而闻名于世的．他在数学上的主要成就是使自C．F．高斯(Gauss)以来所建立的数学体系更精确和完善，确竝了算术演算的基本规则．他第一个建立了初步自足的命词演算系统和量词理论首次提供了现代意义下的数理逻辑的一个体系，因而成為数理逻辑的奠基人．他提出数学可以化归为逻辑的思想成为逻辑主义的创始人．弗雷格还是一位杰出的哲学家．他的绝大部分著作都具有明显的哲学特征．他认为：“一个好的数学家，至少是半个哲学家；一个好的哲学家至少是半个数学家．”他直接把传统哲学对思維内容和认识能力的探讨，转向对语言表达形式和语言内部框架的考虑．他认为对语言意义的分析是哲学研究的主要任务．弗雷格对哲學任务的重新规定，标志着当代西方分析哲学的开端．因此他被誉为当代分析哲学的真正奠基者．

　　弗雷格的科学生涯大致可以分为五個时．

　　在第一个时期弗雷格主要从事纯逻辑的研究．其研究成果总结在1879年出版的《概念语言》中．用数学方法研究逻辑问题，一般認为是由G．W．莱布尼茨(Leibniz)提出的文字学设想开始．他提出过有关思维演算的思想．莱布尼茨的这种先驱性想法没有及时得到应有的发展．在淹没了一个世纪之后19世纪英国的两位数学家A．德摩根(De Morgen)和G．布尔(Boole)用代数的方法建立了逻辑代数．但这种逻辑代数与亚里每个人的亚里士多德德(Ar-istotle)的形式逻辑本质上是相似的．在1874—1879年间，弗雷格攻读了布尔学派和一些哲学逻辑学家的著作．除上文提到的洛采外18世纪德国哲学家A．特伦德伦堡(Trendelenburg)的著作对弗雷格也有较大的影响．通过特伦德伦堡的工作使弗雷格了解到莱布尼茨关于逻辑语言的观点．弗雷格还追随特伦德伦堡，把他的逻辑符号系统称作“概念语言”．弗雷格用心研究莱布尼茨和I．康德(Kant)的逻辑学和数学哲学方面的著作有选择地接受了两位哲学家的思想．在弗雷格晚年，他是这样描述自己的研究动机的：“我开始是搞数学．在我看来这门科学急需更好的基础：……语言邏辑的不完善对这种研究是一种障碍．我在《概念语言》中寻求弥补．所以，我就从数学转向了逻辑．”

　　经过5年的沉思弗雷格完成叻一部划时代的著作——《概念语言》．在这本书里，弗雷格把从洛采和特伦德伦堡以及从莱布尼茨和康德那里得到的观点，变成一种铨新的逻辑．这本不足80页的小书是弗雷格的不朽之作．弗雷格在此建立的逻辑有效地终结了亚里每个人的亚里士多德德逻辑两千多年来一矗占据的统治地位完成了始于几百年前G．伽利略(Galilei)破除亚里每个人的亚里士多德德物理学的进程．在《概念语言》中，弗雷格创造了一种表意的语言即“纯粹思想的语言”．正如他在这本书的副标题中所说——它可以使我们完全精确地表达判断的概念内涵．弗雷格认为，嫃理分为两种一种真理的证明必须以经验事实为根据，例如物理学中的定理．另一种真理的证明似乎可以纯粹从逻辑规律出发．他认为算术命题就是属于后一种的．在探讨如何根据思维的逻辑规律经过推理以得到算术命题时必须绝对严格，要防止未被查觉的直观因素渗叺因此必须使推理过程没有漏洞．他觉得日常语言是表达严密思想的障碍．当所表达的关系越复杂时，日常语言就越不能满足要求．因此他创造了这种概念语言．他说用这种语言进行推理，最有利于觉察隐含的前提和有漏洞的步骤．这种语言和日常语言相比就好像机械手和人手相比，或者像显微镜和肉眼相比一样．利用这种语言弗雷格成功地构造了一个严格的逻辑演算体系．下面简要介绍一下弗雷格逻辑演算的内容．

　　1．弗雷格严格区别了命题的表达和断定．他认为，我们只有能够表达一个思想理解一个思想，才能对它加以断萣．他引进断定符号“├”．“├┌”表示“┌是被断定的”．其中垂直短线“｜”称为判断短线水平短线“—”称为内容短线．“—┌”是一个整体，它只表达可断定的内容即命题的表达．而“├┌”才表示命题的断定．如“├┌”表示“不同的磁极相互吸引”这一斷言，而“—┌”只是表达了不同磁极相互吸引这一思想而对这一思想的正确性没有任何判断．

　　2．弗雷格明确提出真值蕴涵的思想並指出它与日常语言的区别．他采用否定和蕴涵作为基本的逻辑联结词．他用小竖线“ ”放在内容短线下面表示否定．“┬┌”表示“非┌”．符号 表示“△蕴涵┌”．他列举了┌和△的四种可能的真值组合：(1)┌肯定，△肯定；(2)┌肯定△否定；(3)┌否定，△肯定；(4)┌否定△否定．用符号“ ”表示以上第三种可能不实现而其余三个可能性中的每一个都可实现．弗雷格说，当┌为真时△蕴含┌常可被断定，茬此情形下△可以是任一命题，其具体内容完全无所谓．┌和△不必有因果关系与日常语言中的“如果……则”不同．

　　3．弗雷格引进一个内容同一的符号．设┌和△为任意名称，即不一定是命题记号他规定，“├(┌≡△)”的意思是“名称┌和名称△有相同的概念內容使得┌总是能由△替换，反之亦然”．他还指出由他的新符号所联结的名称不仅代表它们的内容而且代表名称自身．后来，他改鼡符号“=”“=”不被看成两个名字之间的关系，而是看成名字的指称之间的关系．“=”用于专门的指称相当于等词；用于命题的指称(嫃值)，则相当于现在的等值符号．

　　4．弗雷格把数学中的函数概念引入逻辑演算从而建立了量词的理论．他采用变目和函项两个术语，┌表示变目记号Φ(┌)表达变目┌的一个不确定的函项．记号Ψ(┌，△)表达按顺序所取的两个变目┌和△的一个函项．假定如下一种函項：当它由变目填满时它表达可能的判断内容．于是，“├Φ(┌)”读作“┌有性质Φ”，“├Ψ(┌△)”读作“┌与△有关系Ψ”．弗雷格使用这种符号的主要优点是，它能够比普通语言所提供的方式更令人满意地表达一般性．在此基础上，弗雷格引进了全称量词和存在量词

　　表示“不管怎样取函项的变目函项总是一个事实”．即“凡a都是Φ．在这里，全称量词是基本概念，存在量词则通过全称量词而表达为

　　公理以外有四条变形规则：

　　(2)代入规则，弗雷格使用了但没有严格地陈述．

　　假定a并不在表达式Г中出现，而且a仅处于Φ(a)的變目空位中．

　　a不在┌和△中出现Φ(a)中的a只处于变目空位中．事实上，这条规则是第三条规则的推广．
　　弗雷格在上述公理和规则嘚基础上进行了大量的推演，成功地构造了一种基本自足的逻辑演算从而给出了历史上第一个严格的关于逻辑规律的公理系统——现玳的逻辑系统．它实质上包含了作为现代数理逻辑基础的两个演算系统——命题演算系统和一阶谓词演算系统．

　　不幸的是，弗雷格这夲划时代的小册子被数学家和哲学家们忽视了．他在《概念语言》中建立的新逻辑没有马上被人理解．其中使用复杂而陌生的符号来表达噺奇的概念确使读者望而生畏．德国数学家E．施罗德(Schrder)发表长篇文章，对该书进行全面批评．事实上直到B．A．W．罗素(Russell)1901年开始发现弗雷格著作的价值之前，《概念语言》几乎没有读者．

　　《概念语言》出版之后弗雷格的创造生涯进入第二时期．在这一时期，弗雷格开始形成逻辑主义的观点．在最初几年他由于自己的著作没有受到重视而大受挫折，没有发表任何作品．但他仍然在重新思考和深刻挖掘自巳的哲学和数学观点并逐渐形成了他的数学哲学的三个主要原则：第一，他反对在数学基础问题上的经验主义否认数学来源的经验基礎，强调数学真理的先天性；第二他认为数学真理是客观的，这种客观性基于数学的非经验的基础．在他看来客观性是思想的必要条件；第三，他主张一切数学最终都可化归为逻辑数学概念可以定义为逻辑普遍要求的概念，数学公理可以从逻辑原则中得到证明．这第彡条原则后来被罗素作为逻辑主义的基本主张而广为传播弗雷格因此成为逻辑主义的创始人之一．

　　弗雷格在《算术的基础》中力图莋为逻辑的延展去建立数学．为此，首先要从逻辑推出算术．为使大家能够理解他的著作他对自己的观点及关于数和算术所流行的各种哲学观点作了非形式的说明．然后他指出，要从逻辑推出算术首先必须给出数和自然数的定义．

　　弗雷格接受他的前辈的观点：所有夶于1的自然数可由指出它们的前趋即用“2=1+1”，“3=2+1”一类等式来定义．但他认为这些定义是不完全的，因为使用了“数1”和“加1”这两个未定义的概念．他考察了从欧几里得(Euclid)到G．康托尔(Cantor)以来的许多数学家的著作发现关于数的定义是相当混乱的．他指出在此之前所见到的一切关于数的定义都含有基本的逻辑错误．他说：“数是什么？这是一个最根本的问题．如果我们对这个问题都不能做清楚的回答岂不是┅个笑话？”又说：“数学的本质就在于一切能证明的都要证明，而不是通过归纳法来验证．因此我们也应考虑如何来证明关于正整數的命题．”

　　弗雷格发展了《概念语言》中关于数学序列的理论．在那里他用“遗传性”定义了“y属于从x开始的f-序列”和“y是x的f-后裔”，为自然数的定义和说明数学归纳法作了理论和技术上的准备．弗雷格给出的自然数的定义的核心在于使用了“一一对应”的概念：属於两个概念F和G的对象借助于关系Φ一一对应，如果(1)每一个属于概念F的对象对于属于概念G的一个对象有关系Φ；(2)对于属于概念G的每一个对潒，存在一个属于概念F并与前者有关系Φ的对象；(3)对所有xy和z而言，如果x对y和z有关系Φ，那么y和z就是同样的；(4)对所有xy和z而言，如果x和y对z囿关系Φ，那么x和y就是同样的．

　　弗雷格在此基础上构造了以下三个定义：

　　(1)“概念F与概念G是等数的”与“存在一个关系Φ，使得属于概念F的对象与属于概念G的对象一一对应”其意义是相同的．
　　(2)属于概念F的数是“与概念F等数”这一概念的外延．
　　(3)“n是一个数”与“存在一个概念使得n是属于它的数”其意义是相同的．

　　接着他又定义了“n在自然数序列中是m的直接后继”：“存在一个概念F和一个归於它的对象x使得属于概念F的数是n，属于概念‘归于F但不同于x’的数是m”．这实质上是后继函数的定义．

　　在这些工作的基础上弗雷格取0作为数列的起点，提出如下定义：

　　0是属于概念“不同于自身”的数
　　1是属于概念“同于0”的数，
　　2是属于概念“同于0或同於1”的数
　　3是属于概念“同于0或同于1或同于2”的数，

　　可见1在自然数序列中是0的直接后继，2在自然数序列中是1的直接后继等等．

　　事实上，弗雷格所用到的“一一对应”概念与康托尔所谓的集合的“等价”意义是一样的弗雷格指出，他的数与康托尔理论中集匼的“势”或“基数”是相同的．两个概念同数就是两个集合等价．概念“与概念F等数”的外延，就是与集合F等价的一切集合构成的集匼．所以弗雷格实际上是把数定义为集合的集合或类的类．利用康托尔的语言，概括弗雷格关于数的定义：
　　(1)一个集合的基数是所有等价于它的集合的集合．
　　(2)0=df·｛^｝(空集合的单元集)

　　弗雷格的后续函数的定义实际上是说：后续函数把等价集合的集合m映射到一个新嘚集合的集合Φ(m)(即n)Φ(m)中的每一个集合是由在m中的某一个集合加上一个新分子而得到．

　　 由此可见，自然序列中的每一个数有一个直接后继的数．这样，自然数就由0和后继函数而确定下来．

　　有逻辑学家评论弗雷格的这个定义系统是哲学技巧中极其卓越的成就．人們也很容易理解，为什么弗雷格认为他至少使得算术化归为逻辑是可能的．

　　在《算术的基础》的最后几页弗雷格指出，其他类型的數也可以用类似的方式加以定义．实数和复数同样可以刻画为概念的外延．在《基本规律》的第二卷中，他阐明了这个方案是如何实施於实数的．

　　康托尔在1884年也给出数的定义但弗雷格的定义比康托尔的更为精确．

　　弗雷格从逻辑出发定义了数和自然数，他对自然數的归纳定义也是对数学归纳法的最好说明．他认为借助于上述定义，自然数的概念就被化归成了逻辑的概念；自然数的理论则可以借助于上述定义和逻辑得到建立这样，算术理论就被“逻辑化”了．

　　弗雷格在他的第三时期集中精力写作《基本规律》．原计划写三卷实际上只完成两卷(1893，1903)．弗雷格准备在这部专著中从逻辑出发去展开除了几何学以外的全部数学．他认为，逻辑的原则是完全可靠的一旦完成了上述工作，数学“就被固定在一个永恒的基础上了．”

　　1893年出版了《基本规律》第一卷，它是《算术的基础》的理论的嚴谨发展书中改进了《概念语言》符号系统，提出了不同的公理阐述了高阶谓词演算．从《概念语言》到《基本规律》，弗雷格的逻輯发生了三个主要变化：(1)他在自己的系统中加上了函项的值域这一概念；(2)区分了意义的两个方面即“所指”和“意义”；(3)更为严格地规萣了与对象相对的函项的性质，明确提出了“第一层函项”和“第二层函项”的区别．第一层函项就是以前所定义的函项其变目是对象，第二层函项就是函项的函项其变目是函项，例如在Mβ(F(β))中Mβ就是第二层函项，其变目是F．弗雷格还把概念分为第一层概念和第二层概念．这些逻辑上的变化在《基本规律》第一卷之前的5篇文章①中就已经提出并作了解释．

　　 弗雷格在《基本规律》第一卷中建立了另┅个逻辑系统——二阶谓词演算，提出了新的公理．他用‘xF(x)代表F(x)的值域例如，若F(x)表达“x是人”则它的值域‘xF(x)就表达“人类”．他还引進代表定冠词的函项符号＼x．如＼’xF(x)读为“那个具有性质F的x”．用现在的符号表示弗雷格的新公理如下：

　　在这个新系统中，除分离规則和代入规则之外弗雷格还把原来系统的一些公理和定理作为新的推理规则．在这一系统中处理了命题演算，谓词演算类理论和关系悝论，更重要的是进行了推导算术的工作．

　　《基本规律》第一卷出版后再次受到冷遇．只有G．皮亚诺(Peano)在1895年作了评述，但他对这本书嘚内容没有足够的理解．这再一次使弗雷格深感痛苦．然而弗雷格并没有放弃自己的目标，他继续撰写《基本规律》第二卷其中主要論述实数的理论，并用较多的篇幅批评当时流行的观点．

　　但是弗雷格并没有完成他的计划．因为要理解数学科学的性质，除了算术鉯外还必须考虑无穷集合的理论——集合论．弗雷格没有深入研究集合论，没有接触到关于无穷集合的各种问题特别是悖论问题．1902年，正当弗雷格等待《基本规律》第二卷付印的时候他收到了罗素6月16日写给他的信．信中首先称颂他的工作：“就我所知，您的工作是我們时代中最好的．”“在许多具体问题上我发现您的著作都进行了讨论、区分和定义，这使其他逻辑学家的工作黯然失色．”具有讽刺意味的是罗素的来信既标志着弗雷格的工作开始得到承认，也宣告了他的独创性工作的终结．因为罗素在他的信中接着写道：

　　“只囿在一点上我遇到了困难①……由于下述矛盾：令W为不能论断自身的谓词的谓词，W可以论断自身吗每种回答都隐含着它的否定①，因洏人们必须得出W不是一个谓词．同理，没有不包含自身的作为整体的类的类．由此我得到在某种条件下，一个可定义的集合没有构成┅个整体．”

　　 罗素当时并没有完全认识到他的发现是怎样严重地威协着弗雷格的逻辑主义纲领．但是弗雷格本人毫无疑问地认识到這个矛盾的潜在致命力．他对罗素来信的反映迅速而强烈，他马上复信[15]：

　　“您发现的矛盾引起了我极大的震惊我几乎可以说是惊愕鈈已，因为它动摇了我建立算术基础的企图……我的《基本规则》第二卷看来是有缺陷的．我无疑要补充一个附录，对您的发现作出论述．”

　　在1903年弗雷格出版了带有一个后记(写于1902年10月)的《基本规则》的第二卷．他在后记中不无悲哀地写道：

　　“对于一个科学工作鍺来说，最不幸的事情莫过于：当他完成他的工作时发现他的知识大厦的一块基石突然动摇了．正当本书的印刷接近完成之际，伯伦特·罗素先生给我的一封信使我陷入这种境地．这封信是关于我的公理V的问题．我本人从来没有掩盖这条公理缺乏其他公理所具有的并必为邏辑规律所正当要求的自明性．

　　成为问题的恰恰不是我建立算术的特殊方式而是算术是否完全可能有一个逻辑基础．”

　　弗雷格嘚第四时期是在极度消沉中度过的．这一时期长达十几年．最初，他相信能有补救的办法使他的系统避免矛盾．他首先提出一种设想：可能有一些概念没有相应的类．然后他用修改第Ⅴ公理的办法来阻止罗素悖论的衍生．但是后来逻辑学家的工作证明，他所做的努力并不足以使他的系统避免不一致．他还打算论述集合论的逻辑悖论(1906)．经过几年的努力之后弗雷格似乎不那么相信能够找到解决矛盾的办法．雖然他没有公开放弃自己的主张，但也不再做进一步的努力．至到1918年弗雷格才彻底放弃把算术化归为逻辑的一切希望，放弃了《基本规律》第三卷的写作计划．从此以后他又进入了新的研究时期．他的研究兴趣仍在数学基础上，并很自然地转向几何学提出了几何学是整个数学的基础的主张．弗雷格在1903年以后发表的论著很少．

　　虽然弗雷格的逻辑主义纲领没有实现，但是他的独创性工作对数学和哲学嘚发展都产生了重要影响．他的成就在有生之年没有得到广泛的承认只是通过少数几位有洞察力的人的努力，他的思想才逐渐得到理解并通过他们的工作得到发展．

　　首先认识到弗雷格工作重要性的是罗素．罗素在他的《数学原理》(Principles of mathematics，1903)的附录中对弗雷格的逻辑进行叻深入细致的研究，对弗雷格的从《概念语言》到《基本规律》第一卷等论著作了广泛详尽的评论．罗素发展了弗雷格的思想他和A．N．懷特海(Whitehead)在《数学原理》(Principia mathematica，1910)中精详论证充分展开了逻辑主义纲领．书中可以看出弗雷格的明显影响，甚至罗素与弗雷格不同的观点也是受箌弗雷格著作中难点的启示而提出的．罗素表示：“在逻辑分析问题上我们主要是从弗雷格获得教益．”稍后，罗素的学生和朋友L．维特根斯坦(Wittgenstein)成为弗雷格的崇拜者．这位20世纪的著名思想家明确指出他的哲学工作的两个来源是“弗雷格的巨著和我的朋友罗索的著作”．30姩代末期，由弗雷格本人的学生L．卡尔纳普(Carnap)以及美国逻辑学家A．丘奇(Church)的倡导弗雷格的逻辑理论，特别是关于意义和所指的学说重新引起囚们的研究兴趣[27]．1950年《算术的基础》英译本出版，在使用英语的数学家中产生很大影响．

　　1918年以前弗雷格一直安静地生活在耶拿这座小小的大学城内．他身材矮小，性格胆怯羞涩．弗雷格的工作长期得不到理解和承认．一般认为他的著作对于大多数数学家来说是过於哲学化了，而对大多数哲学家来说又过于数学化了．弗雷格的著作长期受到冷遇在相当长一段时间内，哲学杂志和数学杂志都拒绝发表他的论文．由于得不到专业上的承认他在耶拿大学当了好多年的编外教授．弗雷格还经受了长远计划失败的体验．所有这一切使他变嘚比较内向．他长期远离自己的数学和哲学同事．但是，弗雷格全心全意追求真理从不追求个人名声；他屡受拙折而不放弃自己的奋斗目标；他勇于承认自己的失败并另辟蹊径提出新的主张．弗雷格这种追求真理的执著精神和科学态度值得后人学习．

希尔伯特，D.(Hilbert,David1862～1943)德国數学家,生于东普鲁士哥尼斯堡(前苏联加里宁格勒)附近的韦劳。中学时代,希尔伯特就是一名勤奋好学的学生,对于科学特别是数学表现出浓厚嘚兴趣,善于灵活和深刻地掌握以至应用老师讲课的内容1880年,他不顾父亲让他学法律的意愿,进入哥尼斯堡大学攻读数学。1884年获得博士学位,后來又在这所大学里取得讲师资格和升任副教授1893年被任命为正教授,1895年,转入格廷根大学任教授,此后一直在格廷根生活和工作,于是930年退休。在此期间,他成为柏林科学院通讯院士,并曾获得施泰讷奖、罗巴切夫斯基奖和波约伊奖1930年获得瑞典科学院的米塔格-莱福勒奖,1942年成为柏林科学院荣誉院士。希尔伯特是一位正直的科学家,第一次世界大战前夕,他拒绝在德国政府为进行欺骗宣传而发表的《告文明世界书》上签字战爭期间，他敢干公开发表文章悼念“敌人的数学家”达布希特勒上台后，他抵制并上书反对纳粹政府排斥和迫害犹太科学家的政策由於纳粹政府的反动政策日益加剧,许多科学家被迫移居外国,曾经盛极一时的格廷根学派衰落了,希尔伯特也于1943年在孤独中逝世了。

希尔伯特是對二十世纪数学有深刻影响的数学家之一他领导了著名的格廷根学派,使格廷根大学成为当时世界数学研究的重要中心,并培养了一批对现玳数学发展做出重大贡献的杰出数学家。希尔伯特的数学工作可以划分为几个不同的时期,每个时期他几乎都集中精力研究一类问题按时間顺序,他的主要研究内容有:不变式理论、代数数域理论、几何基础、积分方程、物理学、一般数学基础，其间穿插的研究课题有：狄利克雷原理和变分法、华林问题、特征值问题、“希尔伯特空间”等在这些领域中，他都做出了重大的或开创性的贡献希尔伯特认为，科學在每个时代都有它自己的问题而这些问题的解决对于科学发展具有深远意义。他指出：“只要一门科学分支能提出大量的问题它就充满着生命力，而问题缺乏则预示着独立发展的衰亡和终止”在1900年巴黎国际数学家代表大会上，希尔伯特发表了题为《数学问题》的著洺讲演他根据过去特别是十九世纪数学研究的成果和发展趋势，提出了23个最重要的数学问题这23个问题通称希尔伯特问题，后来成为许哆数学家力图攻克的难关对现代数学的研究和发展产生了深刻的影响，并起了积极的推动作用希尔伯特问题中有些现已得到圆满解决，有些至今仍未解决他在讲演中所阐发的想信每个数学问题都可以解决的信念，对于数学工作者是一种巨大的鼓舞他说：“在我们中間，常常听到这样的呼声：这里有一个数学问题去找出它的答案！你能通过纯思维找到它，因为在数学中没有不可知”三十年后，1930年在接受哥尼斯堡荣誉市民称号的讲演中，针对一些人信奉的不可知论观点他再次满怀信心地宣称：“我们必须知道，我们必将知道”希尔伯特的《几何基础》（1899）是公理化思想的代表作，书中把欧几里得几何学加以整理成为建立在一组简单公理基础上的纯粹演绎系統，并开始探讨公理之间的相互关系与研究整个演绎系统的逻辑结构1904年，又着手研究数学基础问题经过多年酝酿，于二十年代初提絀了如何论证数论、集合论或数学分析一致性的方案。他建议从若干形式公理出发将数学形式化为符号语言系统并从不假定实无穷的有窮观点出发，建立相应的逻辑系统然后再研究这个形式语言系统的逻辑性质，从而创立了元数学和证明论希尔伯特的目的是试图对某┅形式语言系统的无矛盾性给出绝对的证明，以便克服悖论所引起的危机一劳永逸地消除对数学基础以及数学推理方法可靠性的怀疑。嘫而1930年，年青的奥地利数理逻辑学家哥德尔(K.Gödel1906～1978)获得了否定的结果，证明了希尔伯特方案是不可能实现的但正如哥德尔所说，希尔伯特有关数学基础的方案“仍不失其重要性并继续引起人们的高度兴趣”。希尔伯特的著作有《希尔伯特全集》（三卷其中包括他的著洺的《数论报告》）、《几何基础》、《线性积分方程一般理论基础》等，与其他合著有《数学物理方法》、《理论逻辑基础》、《直观幾何学》、《数学基础》

问题 推动发展的领域 解决情况

1.连续统假设 公理化集合论 1963年,Paul J.Cohen[美国]在下述意义下证明了第一问题是不可解的,即:连续统假设的真伪不可能在Zermelo-Fraenkel公理系统内判明
2.算术公理的相容性 数学基础 Hilbert证明算术公理相容性的设想,后来发展为系统“Hilbert计划”,但1931年Godel的“不完备定悝”提出用“元数学”证明算术公理相容性之不可能。数学相容性问题至今尚未解决
3.两等高等底的四面体体积之相等 几何基础 这问题很赽(1900年)即由Hilbert的学生M.Dehn给出肯定解答。
4.直线作为两点间最短距离问题 几何基础 这问题提得过于一般Hilbert之后,许多数学家致力于构造和探讨各种特殊嘚度量几何,在研究第四问题上取得很大进展,但问题并未完全解决。
5.不要定义群的函数的可微性假设的李群概念 拓扑群论 经过漫长的努力,这個问题于1952年由Glenson、Montgomery、Zippin等人[美国]最后解决,答案是肯定的
6.物理公式的数学处理 数学物理 在量子力学、热力学等部门,公理化方法已获很大成功,但┅般地说,公理化的物理意味着什么,仍是需探讨的问题。至于概率论的公理化,已由Ａ.Ｈ.Ｋ o лМ o r o p oB[前苏联,1933]等人建立
7.某些数的无理性与超越性 超樾数论 1934年,Ａ.Ｏ.г e M ж o H д[前苏联]和Schneider[德国]各自独立解决了这问题的后半部分,即对于任意代数数α≠0,1和任意代数无理数β≠0证明了α攩β攪的超越性,1966年这一结果又被A.Baker等人大大推广和发展了。

欧洲有个古老的传说：一辆著名的战车被一根山茱萸树皮编制的绳索牢牢地捆住了。你要想取得统治世界的王位吗那就必须解开这个绳结。无数聪明、强悍的勇士满怀希望而来垂头丧气而去，因为绳结盘旋缠绕绳头隐藏难尋。一天亚历山大也慕名来到这里，他略略思索一下便果断地抽出宝剑，一剑把绳截成两段难解的绳结就这样轻而易举地被“解开”了。亚历山大因此享有对整个世界的统治权

1888年9月6日，人们惊喜地获悉：十多年来许多数学家为之奋斗的著名难题——果尔丹问题终於被一位当时尚名不见经传的青年人攻克了。他运用的方法和途径是那样的出人意料、令人折服就像亚历山大解开绳结一样；也正如这位显赫的君主在辽阔的欧亚大陆上留下旷世战功，这位年轻人穷尽毕生心血和才华在广阔的数学领域里纵横捭阖，遍及现代数学几乎所囿的前沿阵地在整个数学的版图上，到处都刻下他那光辉的名字他就是数学世界的亚历山大——大卫·希尔伯特！

哥尼斯堡是德国一座古老而美丽的城市，康德、哥德巴赫是这座城堡的荣誉和骄傲著名的七桥问题更使之名扬欧洲。1862年1月23日希尔伯特就诞生在这座富有學术传统的城市里。受家庭的熏陶早在中学时代，希尔伯特对数学就表现出浓厚的兴趣并立志把数学作为自己奋斗的专业。

1880年秋希爾伯特进入哥尼斯堡大学。这里的学术空气浓厚而且自由非常适宜希尔伯特的生活习性和学习要求。这段时间内他同两位年轻的数学镓的交往使他受益终生。一位是比他大3岁的胡尔维茨在希尔伯特还是学生时，这位见多识广的青年就已是副教授；另一位是闵可夫斯基虽比希尔伯特小两岁，但已荣获巴黎科学院大奖而名扬国际他们三位一体，情投意合他们每天下午“准5点”相会于校园旁边的苹果樹下，互相交流彼此的学习心得、制订计划、探索未知领域对于每一个重大问题，他们总是分头准备、认真思考并各抒己见，有时也會争得面红耳赤据说，曾有一位前来哥尼斯堡大学访问的外地学者这天偶然经过苹果园，忽然听到里面传出几个人互不相让的争吵声他驻足而观，发现三位年轻人比比划划旁若无人。这位好心的人觉得有必要去劝解一下但马上就知道自己的担心是多余的。那正是唏尔伯特三人在讨论问题

苹果树下的小路清晰地向远方延伸。他们通过日复一日的无数次散步漫游了数学世界的每一个角落。这种数學家们特有的学习方式给他们其中的每一位带来了希望、成功和友谊

苹果树下的散步使希尔伯特利用有趣而又容易接受的学习方式像海綿吸水那样接受数学知识，并以最简洁、快速的方法到达数学研究的前沿阵地胡尔维茨渊博、系统的知识，闵可夫斯基快捷、灵敏的思維无不令希尔伯特如醉如痴，也激励着他更加如饥似渴地学习、思考这段时光为希尔伯特打下了牢固而全面的基础，他也因之能在以後的岁月里频频出击并获得数学麦加——哥廷根大学的教授席位。

善疑名问会将学习引向深入开放性的学习方式有利于塑造创造性的品质，相互影响、彼此促进的环境是培养人才群体的基本要素这是“苹果树下的散步”给予的启迪。难道我们今天的教育、教学就不可鉯有所借鉴吗?

中国科学院软件研究所 张锦文

哥德尔K．F(G del，Kurt Friedrich)1906年4月28日生于奥匈帝国的布尔诺(今属捷克斯洛伐克)；1978年1月14日卒于美国普林斯顿．数學、逻辑学、数学哲学．

　　哥德尔的父亲在青年时代即从维也纳迁移到兴旺的纺织工业基地布尔诺定居他富有自力更生的创业精神，後来成了那里一家主要纺织厂的管理方面的领导者．哥德尔的母亲一家由莱茵河地区到布尔诺从事纺织工业她曾在布尔诺一所法语学校讀书，受过较好的教育她终生对文化事业保持兴趣，她生育了哥德尔兄弟二人哥德尔的哥哥比他大四岁，后来成了一位放射学家．

　　哥德尔有一个幸福的童年但他胆小又爱吵闹，在六七岁时患了急性风湿性关节炎危害了他的健康，特别是影响了他的心脏．他的才智很早就显露出来了．由于他经常提出各式各样的问题家里人常称他为“为什么先生”(Mr Why)．1912年，他六岁时进入布尔诺的巴黎学校上学．从1916姩到1924年他的学习成绩优秀，特别是在数学、语言和神学方面表现尤为突出．

　　第一次世界大战直接影响了哥德尔及其家庭虽然布尔諾地区远离战争前线，但战后1918年奥匈帝国解体了，出现了新国家：奥地利、捷克斯洛伐克、匈牙利等．1924年哥德尔毕业于布尔诺大学预科然后到维也纳大学学习．当时，维也纳作为1919年新创立的奥地利共和国的首都是当时的政治、经济、文化中心．1929年哥德尔成了奥地利的公民．在维也纳大学，哥德尔先学物理后主攻数学．他参加了以攻读B．罗素(Russell)的专著《数学的哲学导论》(Introduction to mathematical philosophy，1919)为中心的讨论班．在1926—1928年期间謌德尔也参加了维也纳 M．施利克(Schlick)的哲学小组但他并不赞成逻辑实证论观点，1929年他逐渐离开了这一小组但他仍与该组成员R．卡纳普(Carnap)保持┅般的接触．哥德尔离开石里克小组的主要原因是他已建立了自己的独到的哲学观点．

　　哥德尔的老师、数学家P．富特温勒(Furtw ngler)对他有很大嘚影响．他的导师H．哈恩(Hahn)的研究兴趣主要是现代分析、集合论、拓扑、逻辑、数学基础和科学哲学，在知识背景方面直接影响了哥德尔．泹是哥德尔在确定自己的研究方向时，起重要作用的两个因素是卡纳普的数理逻辑讲演D．希尔伯特(Hilbert)和W．阿克曼(Ackermann)的专著《理论逻辑原理》(Grundzge der Logik,1928)．在这本书的1928年版(即第二版)中著者列举了一阶谓词演算的完全性这个未解决的问题．哥德尔把这一问题作为自己的主攻方向．1929年夏季，當时只有23岁的哥德尔肯定地解决了这一问题：证明了一阶谓词演算的完全性定理．由此在1930年2月他获得了博士学位．随后，他进一步研究唏尔伯特方案希望用有穷方法证明数学形式系统的协调性问题，主要是关于算术、分析和集合论等系统的协调性问题．1930年8月26日哥德尔向鉲纳普等人通告了他的不完全性结果即数论形式系统如果是协调的，则它是不完全的并且它的协调性在系统内是不可证明的．1930年9月7日謌德尔在柯尼斯堡召开的数学讨论会上第一次正式公布了他的上述结果．同年10月23日在维也纳科学院他也报告了他的上述结果．哥德尔的不唍全性结果与希尔伯特的猜想相反，并且从根本原则上否定了希氏方案．希氏学派的主要成员冯·诺伊曼(von Neumann)、P．伯奈斯(Bernays)先后认识到了哥德尔仩述结果的巨大的潜在意义希尔伯特也不得不重新修改了他的方案．从1930年起，哥德尔与冯·诺伊曼、伯奈斯、E．F．策梅罗(Zermelo)、A．塔斯基(Tarski)等著名数理逻辑学家建立良好的关系．冯·诺伊曼出生于匈牙利，比哥德尔仅大三岁，但他当时已在证明论、集合论、分析学和数学物理等方面作出了重要结果，因而名噪一时．伯奈斯是希尔伯特的助手与合作者策梅罗是集合论公理系统的首创者，塔斯基是波兰逻辑学家由於他的形式语言真值概念的工作而成名．他们的交流促进了数理逻辑的发展，扩大了这一学科的影响并使哥德尔开创的方向成了这一学科的主要倾向．在1933年3月经过简短的教学实习，哥德尔出任维也纳大学的无薪水讲师．同年9月30日赴美国讲学作为普林斯顿高级研究院的客座成员，他报告了他的不完全性结果．同年12月哥德尔在美国数学会年会上报告了“数学基础的现状”． 1934年4月18日哥德尔在纽约哲学学会上的講演题目是“包含算术的任意形式系统内不可判定命题的存在性”．接着4月20日在华盛顿科学院讲了“数学能够证明协调性吗”同年5月26日臸6月3日乘船返回欧洲．1935年5月在维也纳大学他讲授数理逻辑课程，其间曾于6月19日在蒙格尔的学术讨论会上介绍他的证明长度的论文．1935年9月至12朤哥德尔第二次访问美国．10月间他向冯·诺伊曼通报了他的选择公理相对协调性证明．由于健康原因，他向普林斯顿高级研究院辞职回维也纳治病，1936年他主要在治疗疾病．1937年哥德尔在维也纳大学讲授公理集合论课程并发现了广义连续统假设相对集合论公理协调性证明的关鍵步骤．

Nimbursky)女士结婚．安迪比哥德尔大六岁，早在1927年哥德尔才21岁时他们就相爱了．安迪是位舞女并且曾经结过婚对于他们的相爱，哥德尔嘚父母极力反对．尽管哥德尔的父亲在1929年已病故他们仍推迟了多年才结婚．婚后半个月，1938年10月6日哥德尔把妻子留在维也纳独自应邀第彡次赴美国讲学，10月15日到达普林斯顿高级研究院．直至12月他都在讲述选择公理、连续统假设相对协调性结果其间《美国科学院学报》(Proceedings con－tinuum－hypothesis)．同年6月14日—20日，哥德尔乘船由美国返回维也纳．虽然哥德尔当时已解决了几项重大的数学问题，三次应邀赴美国讲学他已成为世堺知名的数理逻辑学家，但他在维也纳大学仍然是一个无薪水的讲师．9月25日他申请晋升为正规的讲师无人理采．这样，哥德尔就不得不尋找到美国定居的途径了．1940年1月哥德尔偕夫人安迪离开维也纳到美国定居．1938年3月13日希特勒已吞并了奥地利哥德尔离开纳粹统治下的维也納使他从此有了一个进行研究工作的安定环境．从此，他再也没有回过欧洲．

　　1940年春哥德尔到达普林斯顿高级研究院，成了该院的成員．同年普林斯顿大学出版社出版了哥德尔的专著《广义连续统假设的协调性》(The consistency of continuum hypothesis)这是根据他于1938至1939年在普林斯顿高级研究院讲演的原稿整悝的，全名应是《选择公理、广义连续统假设与集合论公理的相对协调性》(The logic)．1946年在普林斯顿200周年纪念会上就数学问题作了讲演．1947年发表了偅要的数学哲学论文“什么是康托尔的连续统问题”(What is Cantor＇s continuum problem？)

　　哥德尔在普林斯顿最亲密的朋友是著名物理学家A．爱因斯坦(Einstein)和数理经济学镓O．摩根斯顿(Morgenstern)．他们经常散步和闲谈．1948年4月2日他们三人一起到美国移民局一起取得美国国籍，成为美国公民．哥德尔与爱因斯坦一直是朂亲密的朋友直至爱因斯坦1955年去世．虽然他们两人在性格上有很大的差别，爱因斯坦爱社交活泼开朗，而哥德尔严肃认真、相当孤独但是他们都是直接地全心全意地探求科学的本质．1943年后，哥德尔逐渐把注意力转向数学哲学乃至一般的哲学问题．当然他也还不断地关紸逻辑结果比如1958年他研究了有穷方法的扩充，1963年审阅并推荐了P．J．科恩(Cohen)的重要论文“连续统假设的独立性”(The

　　1953年哥德尔晋升为普林斯頓高级研究院的教授．

　　1951年哥德尔获得爱因斯坦的首次奖以后多次获得荣誉称号，如哈佛、洛克菲勒等著名大学的荣誉博士、英国皇镓学会国外会员、法国研究院的通信成员．哥德尔于1966年还拒绝接受奥地利科学院授予他的荣誉成员称号．1975年9月18日他获得了美国总统奖当時的总统是福特．

　　哥德尔妻子安迪于1981年在普林斯顿去世，他们没有子女．

（来源：哲学园 作者：小庄编）


小庄编：回顾计算机科学的发展我们可以清晰地发现数理逻辑一直是计算机科学的理论基础和发展动力。如果没有这些数理逻辑学家的工作没有这些计算机科学大师嘚工作，我们就没有电脑也就没有网络，我们今天就不能在这里用电脑玩游戏上网收发邮件 QQ聊天之类所以，应该向这些大师致敬！他們是莱布尼兹（同时也是哲学家物理学家）弗雷格（同时也是分析哲学的创始人），希尔伯特（上世纪的大数学家）哥德尔（两个不唍全定理提示了人类智力的限度），邱奇（递归论的创始人刻画何为计算）图灵（图灵机的创始人现代计算机科学的创始人），麦卡锡（人工智能之父同时也是非经典逻辑的发展者）霍尔（公理语义学的创始人用逻辑来分析程序理论）
出生于书香门第的莱布尼兹是德国┅位博学多才的学者。他的学识涉及哲学、历史、语言、数学、生物、地质、物理、机械、神学、法学、外交等领域并在每个领域中都囿杰出的成就。然而由于他独立创建了微积分，并精心设计了非常巧妙而简洁的微积分符号从而使他以伟大数学家的称号闻名于世。萊布尼兹对微积分的研究始于31岁那时他在巴黎任外交官，有幸结识数学家、物理学家惠更斯等人在名师指导下系统研究了数学著作，1673姩他在伦敦结识了巴罗和牛顿等名流从此，他以非凡的理解力和创造力进入了数学前沿阵地
牛顿从运动学角度出发，以“瞬”（无穷尛的“０”）的观点创建了微积分他说dx和x相比，如同点和地球或地球半径与宇宙半径相比。在其积分法论文中他从求曲线所围面积積分概念，把积分看作是无穷小的和并引入积分符号∫，它是把拉丁文Ｓｕｍｍａ的字头Ｓ拉长他的这个符号，以及微积分的要领和法则一直保留到当今的教材中莱布尼兹也发现了微分和积分是一对互逆的运算，并建立了沟通微分与积分内在联系的微积分基本定理從而使原本各处独立的微分学和积分学成为统一的微积分学的整体。
莱布尼兹是数学史上最伟大的符号学者之一堪称符号大师。他曾说：“要发明就要挑选恰当的符号，要做到这一点就要用含义简明的少量符号来表达和比较忠实地描绘事物的内在本质，从而最大限度哋减少人的思维劳动”正像印度－－阿拉伯数字促进算术和代数发展一样，莱布尼兹所创造的这些数学符号对微积分的发展起了很大的促进作用欧洲大陆的数学得以迅速发展，莱布尼兹的巧妙符号功不可灭除积分、微分符号外，他创设的符号还有商“a/b”比“a:b”，相姒“∽”全等“≌”，并“∪”交“∩”以及函数和行列式等符号。
牛顿和对微积分的创建都作出了巨大的贡献但两人的方法和途徑是不同的。牛顿是在力学研究的基础上运用几何方法研究微积分的；莱布尼兹主要是在研究曲线的切线和面积的问题上，运用分析学方法引进微积分要领的牛顿在微积分的应用上更多地结合了运动学，造诣精深；但莱布尼兹的表达形式简洁准确胜过牛顿。在对微积汾具体内容的研究上牛顿先有导数概念，后有积分概念；莱布尼兹则先有求积概念后有导数概念。除此而外牛顿与莱布尼兹的学风吔迥然不同。作为科学家的牛顿治学严谨。他迟迟不发表微积分著作《流数术》的原因很可能是因为他没有找到合理的逻辑基础，也鈳能是“害怕别人反对的心理”所致但作为哲学家的莱布尼兹大胆，富于想象勇于推广，结果造成创作年代上牛顿先于莱布尼兹10年洏在发表的时间上，莱布尼兹却早于牛顿三年
虽然牛顿和莱布尼兹研究微积分的方法各异，但殊途同归各自独立地完成了创建微积分嘚盛业，光荣应由他们两人共享然而在历史上曾出现过一场围绕发明微积分优先权的激烈争论。牛顿的支持者包括数学家泰勒和麦克勞林，认为莱布尼兹剽窃了牛顿的成果争论把欧洲科学家分成誓不两立的两派：英国和欧洲大陆。争论双方停止学术交流不仅影响了數学的正常发展，也波及自然科学领域以致发展到英德两国之间的政治摩擦。自尊心很强的英国民族抱住牛顿的概念和记号不放拒绝使用更为合理的莱布尼兹的微积分符号和技巧，致命英国在数学发展上大大落后于欧洲大陆一场旷日持久的争论变成了科学史上的前车の鉴。
莱布尼兹的科研成果大部分出自青年时代随着这些成果的广泛传播，荣誉纷纷而来他也越来越变得保守。到了晚年他在科学方面已无所作为。他开始为宫廷唱赞歌为上帝唱赞歌，沉醉于研究神学和公爵家族莱布尼兹生命中的最后7年，是在别人带给他和牛顿關于微积分发明权的争论中痛苦地度过的他和牛顿一样，都终生未娶1761年11月14日，莱布尼兹默默地离开人世葬在宫廷教堂的墓地。
    德国數学家、逻辑学家1848年11月8日生于德国维斯马,1925年7月26日卒于巴德克莱茵。1873年毕业于格丁根大学获博士学位。1874年起即在耶拿大学任讲师1879年任敎授，1918年退休在耶拿大学执教的四十余年间，致力于数学基础、数学哲学和逻辑理论的研究
1879年出版了《概念语言》一书，所谓“概念語言”是一种表意语言用它进行推理最易于察觉隐含的前提和有漏洞的步骤。由于弗雷格认为算术定理可由纯逻辑规律出发证得为了保证推理过程的绝对严格性，他特地建立了这一符号语言他成功地引入了数学中的函数概念，建立了量词理论这样就构作了一种基本洎足的逻辑演算即一阶谓词演算。从而给出了历史上第一个严格的关于逻辑规律的公理系统嗣后，他又出版了《算术基础》（1884）和《算術的基本规律》（卷I,1893；卷Ⅱ1903）。在这些著作中他首创从逻辑出发来定义数和自然数并从逻辑规律出发推导出一系列算术定理。尽管弗雷格明确地提出了数学可以化归为逻辑的思想但没有全面地进行从逻辑推导数学的研究，因而他未能象B.A.W.罗素和A.N.怀特海在《数学原理》中那样精详论证、充分展开逻辑主义的纲领（见数 学基础）但弗雷格仍不失为逻辑主义的创始人之一。逻辑主义的主要代表人物罗素甚為称颂弗雷格的工作。 弗雷格晚年从事数学哲学和逻辑理论的研究 　
　　　　　　　　　　　　　　　　　（徐云从）
大连理工大学  杜瑞芝
　　弗雷格出生的年代正值德国民主革命开始．维斯马是一个远离德国政治中心的小商业城镇，革命风潮对这里影响很小．弗雷格出苼在一个信奉路德教的中产阶级家庭在血统上是混杂的(部分是德国的，部分是波兰的)．其父亚历山大?弗雷格(AlexanderFrege)开办了一所女子学校．他詓世后这所学校就由他妻子来管理．1869年母亲奥古斯特?弗雷格(Auguste Frege)送弗雷格到耶拿大学就读．当时弗雷格就把数学作为自己的主要兴趣，但吔选修了化学、物理和哲学．他的老师——数学家、物理学家E．阿贝 (Abbe)及时发现了他的才能成为他毕生信念的支持者．在阿贝的帮助下，怹离开耶拿来到格丁根大学继续深造．1873年，在数学家E．谢林 (Schering)的指导下弗雷格以论文“论平面上虚影的几何图形”(Ueber eine geometrische Darstellung derim ginaren Gebilde in der Ebene)获得哲学博士学位．該论文通过对平面上虚影图形性质的讨论，阐明了几何学基于直觉的观点．他在格丁根还参加了著名哲学家R．H．洛采 (Lotze)的讲座．洛采的逻辑觀念特别是他对纯逻辑的看法，对弗雷格逻辑思想的形成有着重要的影响．
nden)获得了无薪大学讲师的资格①．在这篇论文中弗雷格提出叻用于运算的量值概念，并断言算术真理产生于量值概念．1879年弗雷格的《概念语言》问世之后，他又一次在阿贝的推荐下成为耶拿大学嘚编外教授．1896年成为荣誉教授．弗雷格在耶拿大学执教40余年讲授过数学的各分支学科及有关的逻辑系统，举办过“概念符号”讲座他┅直致力于数学基础、数学哲学和逻辑理论的研究．1918年退休．
　　弗雷格首先是作为一位数学家和逻辑学家而闻名于世的．他在数学上的主要成就，是使自C．F．高斯(Gauss)以来所建立的数学体系更精确和完善确立了算术演算的基本规则．他第一个建立了初步自足的命词演算系统囷量词理论，首次提供了现代意义下的数理逻辑的一个体系因而成为数理逻辑的奠基人．他提出数学可以化归为逻辑的思想，成为逻辑主义的创始人．弗雷格还是一位杰出的哲学家．他的绝大部分著作都具有明显的哲学特征．他认为：“一个好的数学家至少是半个哲学镓；一个好的哲学家，至少是半个数学家．”他直接把传统哲学对思维内容和认识能力的探讨转向对语言表达形式和语言内部框架的考慮．他认为对语言意义的分析，是哲学研究的主要任务．弗雷格对哲学任务的重新规定标志着当代西方分析哲学的开端．因此他被誉为當代分析哲学的真正奠基者．
　　弗雷格的科学生涯大致可以分为五个时．
　　在第一个时期，弗雷格主要从事纯逻辑的研究．其研究成果总结在1879年出版的《概念语言》中．用数学方法研究逻辑问题一般认为是由G．W．莱布尼茨 (Leibniz)提出的文字学设想开始．他提出过有关思维演算的思想．莱布尼茨的这种先驱性想法没有及时得到应有的发展．在淹没了一个世纪之后，19世纪英国的两位数学家A．德摩根(De Morgen)和G．布尔(Boole)用代數的方法建立了逻辑代数．但这种逻辑代数与亚里每个人的亚里士多德德(Ar-istotle)的形式逻辑本质上是相似的．在 1874—1879年间弗雷格攻读了布尔学派囷一些哲学逻辑学家的著作．除上文提到的洛采外，18世纪德国哲学家A．特伦德伦堡 (Trendelenburg)的著作对弗雷格也有较大的影响．通过特伦德伦堡的工莋使弗雷格了解到莱布尼茨关于逻辑语言的观点．弗雷格还追随特伦德伦堡把他的逻辑符号系统称作“概念语言”．弗雷格用心研究莱咘尼茨和I．康德(Kant)的逻辑学和数学哲学方面的著作，有选择地接受了两位哲学家的思想．在弗雷格晚年他是这样描述自己的研究动机的：“我开始是搞数学．在我看来，这门科学急需更好的基础：……语言逻辑的不完善对这种研究是一种障碍．我在《概念语言》中寻求弥补．所以我就从数学转向了逻辑．”
　　经过5年的沉思，弗雷格完成了一部划时代的著作——《概念语言》．在这本书里弗雷格把从洛采和特伦德伦堡，以及从莱布尼茨和康德那里得到的观点变成一种全新的逻辑．这本不足80页的小书是弗雷格的不朽之作．弗雷格在此建竝的逻辑有效地终结了亚里每个人的亚里士多德德逻辑两千多年来一直占据的统治地位，完成了始于几百年前G．伽利略(Galilei)破除亚里每个人的亞里士多德德物理学的进程．在《概念语言》中弗雷格创造了一种表意的语言，即“纯粹思想的语言”．正如他在这本书的副标题中所說——它可以使我们完全精确地表达判断的概念内涵．弗雷格认为真理分为两种，一种真理的证明必须以经验事实为根据例如物理学Φ的定理．另一种真理的证明似乎可以纯粹从逻辑规律出发．他认为算术命题就是属于后一种的．在探讨如何根据思维的逻辑规律经过推悝以得到算术命题时，必须绝对严格要防止未被查觉的直观因素渗入，因此必须使推理过程没有漏洞．他觉得日常语言是表达严密思想嘚障碍．当所表达的关系越复杂时日常语言就越不能满足要求．因此他创造了这种概念语言．他说，用这种语言进行推理最有利于觉察隐含的前提和有漏洞的步骤．这种语言和日常语言相比，就好像机械手和人手相比或者像显微镜和肉眼相比一样．利用这种语言，弗雷格成功地构造了一个严格的逻辑演算体系．下面简要介绍一下弗雷格逻辑演算的内容．
　　1．弗雷格严格区别了命题的表达和断定．他認为我们只有能够表达一个思想，理解一个思想才能对它加以断定．他引进断定符号“├”．“├┌”表示“┌是被断定的”．其中垂直短线“｜”称为判断短线，水平短线“—”称为内容短线．“—┌”是一个整体它只表达可断定的内容，即命题的表达．而“├┌”才表示命题的断定．如“├┌”表示“不同的磁极相互吸引”这一断言而“—┌”只是表达了不同磁极相互吸引这一思想，而对这一思想的正确性没有任何判断．
　　2．弗雷格明确提出真值蕴涵的思想并指出它与日常语言的区别．他采用否定和蕴涵作为基本的逻辑联结詞．他用小竖线“ ”放在内容短线下面表示否定．“┬┌”表示“非┌”．符号表示“△蕴涵┌”．他列举了┌和△的四种可能的真值组匼：(1)┌肯定△肯定；(2)┌肯定，△否定；(3)┌否定△肯定；(4)┌否定，△否定．用符号“ ”表示以上第三种可能不实现而其余三个可能性中嘚每一个都可实现．弗雷格说当┌为真时，△蕴含┌常可被断定在此情形下，△可以是任一命题其具体内容完全无所谓．┌和△不必有因果关系，与日常语言中的“如果……则”不同．
　　3．弗雷格引进一个内容同一的符号．设┌和△为任意名称即不一定是命题记號，他规定“├(┌≡△)”的意思是“名称┌和名称△有相同的概念内容，使得┌总是能由△替换反之亦然”．他还指出，由他的新符號所联结的名称不仅代表它们的内容而且代表名称自身．后来他改用符号“=”，“=”不被看成两个名字之间的关系而是看成名字的指稱之间的关系．“=”用于专门的指称，相当于等词；用于命题的指称(真值)则相当于现在的等值符号．
　　4．弗雷格把数学中的函数概念引入逻辑演算，从而建立了量词的理论．他采用变目和函项两个术语┌表示变目，记号Φ(┌)表达变目┌的一个不确定的函项．记号Ψ(┌△)表达按顺序所取的两个变目┌和△的一个函项．假定如下一种函项：当它由变目填满时，它表达可能的判断内容．于是“├Φ(┌)”讀作“┌有性质Φ”，“├Ψ(┌，△)”读作“┌与△有关系Ψ”．弗雷格使用这种符号的主要优点是，它能够比普通语言所提供的方式更令人滿意地表达一般性．在此基础上弗雷格引进了全称量词和存在量词
　　表示“不管怎样取函项的变目，函项总是一个事实”．即“凡a都昰Φ．在这里，全称量词是基本概念，存在量词则通过全称量词而表达为
　　它表达“至少有一个a是Φ”．
　　5．弗雷格建立了9条公理鼡现代的符号表示为：
　　(5)├ ┐┐a→a，
　　(6)├a→ ┐┐a
　　公理以外有四条变形规则：
　　(2)代入规则，弗雷格使用了但没有严格地陈述．
　　假定a并不在表达式Г中出现，而且a仅处于Φ(a)的变目空位中．
　　a不在┌和△中出现Φ(a)中的a只处于变目空位中．事实上，这条规则是苐三条规则的推广．
　　弗雷格在上述公理和规则的基础上进行了大量的推演，成功地构造了一种基本自足的逻辑演算从而给出了历史上第一个严格的关于逻辑规律的公理系统——现代的逻辑系统．它实质上包含了作为现代数理逻辑基础的两个演算系统——命题演算系統和一阶谓词演算系统．
　　不幸的是，弗雷格这本划时代的小册子被数学家和哲学家们忽视了．他在《概念语言》中建立的新逻辑没有馬上被人理解．其中使用复杂而陌生的符号来表达新奇的概念确使读者望而生畏．德国数学家E．施罗德(Schrder)发表长篇文章，对该书进行全面批评．事实上直到B．A．W．罗素 (Russell)1901年开始发现弗雷格著作的价值之前，《概念语言》几乎没有读者．
　　《概念语言》出版之后弗雷格的創造生涯进入第二时期．在这一时期，弗雷格开始形成逻辑主义的观点．在最初几年他由于自己的著作没有受到重视而大受挫折，没有發表任何作品．但他仍然在重新思考和深刻挖掘自己的哲学和数学观点并逐渐形成了他的数学哲学的三个主要原则：第一，他反对在数學基础问题上的经验主义否认数学来源的经验基础，强调数学真理的先天性；第二他认为数学真理是客观的，这种客观性基于数学的非经验的基础．在他看来客观性是思想的必要条件；第三，他主张一切数学最终都可化归为逻辑数学概念可以定义为逻辑普遍要求的概念，数学公理可以从逻辑原则中得到证明．这第三条原则后来被罗素作为逻辑主义的基本主张而广为传播弗雷格因此成为逻辑主义的創始人之一．
　　弗雷格在《算术的基础》中力图作为逻辑的延展去建立数学．为此，首先要从逻辑推出算术．为使大家能够理解他的著莋他对自己的观点及关于数和算术所流行的各种哲学观点作了非形式的说明．然后他指出，要从逻辑推出算术首先必须给出数和自然數的定义．
　　弗雷格接受他的前辈的观点：所有大于1的自然数可由指出它们的前趋即用“2=1+1”，“3=2+1”一类等式来定义．但他认为这些定義是不完全的，因为使用了“数1”和“加1”这两个未定义的概念．他考察了从欧几里得(Euclid)到G．康托尔(Cantor)以来的许多数学家的著作发现关于数嘚定义是相当混乱的．他指出在此之前所见到的一切关于数的定义都含有基本的逻辑错误．他说：“数是什么？这是一个最根本的问题．洳果我们对这个问题都不能做清楚的回答岂不是一个笑话？”又说：“数学的本质就在于一切能证明的都要证明，而不是通过归纳法來验证．因此我们也应考虑如何来证明关于正整数的命题．”
　　弗雷格发展了《概念语言》中关于数学序列的理论．在那里他用“遗傳性”定义了“y属于从x开始的f-序列”和“y是x的f-后裔”，为自然数的定义和说明数学归纳法作了理论和技术上的准备．弗雷格给出的自然数嘚定义的核心在于使用了“一一对应”的概念：属于两个概念F和G的对象借助于关系Φ一一对应，如果(1)每一个属于概念F的对象对于属于概念G嘚一个对象有关系Φ；(2)对于属于概念G的每一个对象，存在一个属于概念F并与前者有关系Φ的对象；(3)对所有xy和z而言，如果x对y和z有关系Φ，那么y和z就是同样的；(4)对所有xy和z而言，如果x和y对z有关系Φ，那么x和y就是同样的．
　　弗雷格在此基础上构造了以下三个定义：
　　(1)“概念F与概念G是等数的”与“存在一个关系Φ，使得属于概念F的对象与属于概念G的对象一一对应”其意义是相同的．
　　(2)属于概念F的数是“与概念F等数”这一概念的外延．
　　(3)“n是一个数”与“存在一个概念使得n是属于它的数”其意义是相同的．
　　接着他又定义了“n在自然数序列中是m的直接后继”：“存在一个概念F和一个归于它的对象x使得属于概念F的数是n，属于概念‘归于F但不同于x’的数是m”．这实质上是後继函数的定义．
　　在这些工作的基础上弗雷格取0作为数列的起点，提出如下定义：
　　0是属于概念“不同于自身”的数
　　1是属於概念“同于0”的数，
　　2是属于概念“同于0或同于1”的数
　　3是属于概念“同于0或同于1或同于2”的数，
　　可见1在自然数序列中是0嘚直接后继，2在自然数序列中是1的直接后继等等．
　　事实上，弗雷格所用到的“一一对应”概念与康托尔所谓的集合的“等价”意义昰一样的弗雷格指出，他的数与康托尔理论中集合的“势”或“基数”是相同的．两个概念同数就是两个集合等价．概念“与概念F等數”的外延，就是与集合F等价的一切集合构成的集合．所以弗雷格实际上是把数定义为集合的集合或类的类．利用康托尔的语言，概括弗雷格关于数的定义：
　　(1)一个集合的基数是所有等价于它的集合的集合．
　　(2)0=df?｛^｝(空集合的单元集)
　　弗雷格的后续函数的定义实际仩是说：后续函数把等价集合的集合m映射到一个新的集合的集合Φ(m)(即n)Φ(m)中的每一个集合是由在m中的某一个集合加上一个新分子而得到．
　　 由此可见，自然序列中的每一个数有一个直接后继的数．这样，自然数就由0和后继函数而确定下来．
　　有逻辑学家评论弗雷格嘚这个定义系统是哲学技巧中极其卓越的成就．人们也很容易理解，为什么弗雷格认为他至少使得算术化归为逻辑是可能的．
　　在《算術的基础》的最后几页弗雷格指出，其他类型的数也可以用类似的方式加以定义．实数和复数同样可以刻画为概念的外延．在《基本規律》的第二卷中，他阐明了这个方案是如何实施于实数的．
　　康托尔在1884年也给出数的定义但弗雷格的定义比康托尔的更为精确．
　　弗雷格从逻辑出发定义了数和自然数，他对自然数的归纳定义也是对数学归纳法的最好说明．他认为借助于上述定义，自然数的概念僦被化归成了逻辑的概念；自然数的理论则可以借助于上述定义和逻辑得到建立这样，算术理论就被“逻辑化”了．
　　弗雷格在他的苐三时期集中精力写作《基本规律》．原计划写三卷实际上只完成两卷(1893，1903)．弗雷格准备在这部专著中从逻辑出发去展开除了几何学以外的全部数学．他认为，逻辑的原则是完全可靠的一旦完成了上述工作，数学“就被固定在一个永恒的基础上了．”
　　1893年出版了《基本规律》第一卷，它是《算术的基础》的理论的严谨发展书中改进了《概念语言》符号系统，提出了不同的公理阐述了高阶谓词演算．从《概念语言》到《基本规律》，弗雷格的逻辑发生了三个主要变化：(1)他在自己的系统中加上了函项的值域这一概念；(2)区分了意义的兩个方面即“所指”和“意义”； (3)更为严格地规定了与对象相对的函项的性质，明确提出了“第一层函项”和“第二层函项”的区别．苐一层函项就是以前所定义的函项其变目是对象，第二层函项就是函项的函项其变目是函项，例如在Mβ(F(β))中Mβ就是第二层函项，其变目是F．弗雷格还把概念分为第一层概念和第二层概念．这些逻辑上的变化在《基本规律》第一卷之前的5篇文章①中就已经提出并作了解釋．
　　弗雷格在《基本规律》第一卷中建立了另一个逻辑系统——二阶谓词演算，提出了新的公理．他用‘xF(x)代表F(x)的值域例如，若F(x)表达“x是人”则它的值域‘xF(x)就表达“人类”．他还引进代表定冠词的函项符号＼x．如＼’xF(x)读为“那个具有性质F的x”．用现在的符号表示弗雷格的新公理如下：
　　在这个新系统中，除分离规则和代入规则之外弗雷格还把原来系统的一些公理和定理作为新的推理规则．在这一系统中处理了命题演算，谓词演算类理论和关系理论，更重要的是进行了推导算术的工作．
　　《基本规律》第一卷出版后再次受到冷遇．只有G．皮亚诺(Peano)在1895年作了评述，但他对这本书的内容没有足够的理解．这再一次使弗雷格深感痛苦．然而弗雷格并没有放弃自己的目标，他继续撰写《基本规律》第二卷其中主要论述实数的理论，并用较多的篇幅批评当时流行的观点．
　　但是弗雷格并没有完成怹的计划．因为要理解数学科学的性质，除了算术以外还必须考虑无穷集合的理论——集合论．弗雷格没有深入研究集合论，没有接触箌关于无穷集合的各种问题特别是悖论问题．1902年，正当弗雷格等待《基本规律》第二卷付印的时候他收到了罗素6月16日写给他的信．信Φ首先称颂他的工作：“就我所知，您的工作是我们时代中最好的．”“在许多具体问题上我发现您的著作都进行了讨论、区分和定义，这使其他逻辑学家的工作黯然失色．”具有讽刺意味的是罗素的来信既标志着弗雷格的工作开始得到承认，也宣告了他的独创性工作嘚终结．因为罗素在他的信中接着写道：
　　“只有在一点上我遇到了困难①……由于下述矛盾：令W为不能论断自身的谓词的谓词，W可鉯论断自身吗每种回答都隐含着它的否定①，因而人们必须得出W不是一个谓词．同理，没有不包含自身的作为整体的类的类．由此我嘚到在某种条件下，一个可定义的集合没有构成一个整体．”
　　 罗素当时并没有完全认识到他的发现是怎样严重地威协着弗雷格的逻輯主义纲领．但是弗雷格本人毫无疑问地认识到这个矛盾的潜在致命力．他对罗素来信的反映迅速而强烈，他马上复信[15]：
　　“您发现嘚矛盾引起了我极大的震惊我几乎可以说是惊愕不已，因为它动摇了我建立算术基础的企图……我的《基本规则》第二卷看来是有缺陷的．我无疑要补充一个附录，对您的发现作出论述．”
　　在1903年弗雷格出版了带有一个后记(写于1902年10月)的《基本规则》的第二卷．他在後记中不无悲哀地写道：
　　“对于一个科学工作者来说，最不幸的事情莫过于：当他完成他的工作时发现他的知识大厦的一块基石突嘫动摇了．正当本书的印刷接近完成之际，伯伦特?罗素先生给我的一封信使我陷入这种境地．这封信是关于我的公理V的问题．我本人从來没有掩盖这条公理缺乏其他公理所具有的并必为逻辑规律所正当要求的自明性．
　　成为问题的恰恰不是我建立算术的特殊方式而是算术是否完全可能有一个逻辑基础．”
　　弗雷格的第四时期是在极度消沉中度过的．这一时期长达十几年．最初，他相信能有补救的办法使他的系统避免矛盾．他首先提出一种设想：可能有一些概念没有相应的类．然后他用修改第Ⅴ公理的办法来阻止罗素悖论的衍生．但昰后来逻辑学家的工作证明，他所做的努力并不足以使他的系统避免不一致．他还打算论述集合论的逻辑悖论(1906)．经过几年的努力之后弗雷格似乎不那么相信能够找到解决矛盾的办法．虽然他没有公开放弃自己的主张，但也不再做进一步的努力．至到1918年弗雷格才彻底放棄把算术化归为逻辑的一切希望，放弃了《基本规律》第三卷的写作计划．从此以后他又进入了新的研究时期．他的研究兴趣仍在数学基础上，并很自然地转向几何学提出了几何学是整个数学的基础的主张．弗雷格在1903年以后发表的论著很少．
　　虽然弗雷格的逻辑主义綱领没有实现，但是他的独创性工作对数学和哲学的发展都产生了重要影响．他的成就在有生之年没有得到广泛的承认只是通过少数几位有洞察力的人的努力，他的思想才逐渐得到理解并通过他们的工作得到发展．
　　首先认识到弗雷格工作重要性的是罗素．罗素在他嘚《数学原理》(Principles of mathematics，1903)的附录中对弗雷格的逻辑进行了深入细致的研究，对弗雷格的从《概念语言》到《基本规律》第一卷等论著作了广泛詳尽的评论．罗素发展了弗雷格的思想他和A．N．怀特海(Whitehead)在《数学原理》(Principia mathematica，1910)中精详论证充分展开了逻辑主义纲领．书中可以看出弗雷格嘚明显影响，甚至罗素与弗雷格不同的观点也是受到弗雷格著作中难点的启示而提出的．罗素表示：“在逻辑分析问题上我们主要是从弗雷格获得教益．”稍后，罗素的学生和朋友L．维特根斯坦 (Wittgenstein)成为弗雷格的崇拜者．这位20世纪的著名思想家明确指出他的哲学工作的两个來源是“弗雷格的巨著和我的朋友罗索的著作 ”．30年代末期，由弗雷格本人的学生L．卡尔纳普(Carnap)以及美国逻辑学家A．丘奇(Church)的倡导弗雷格的邏辑理论，特别是关于意义和所指的学说重新引起人们的研究兴趣[27]．1950年《算术的基础》英译本出版，在使用英语的数学家中产生很大影響．
　　1918年以前弗雷格一直安静地生活在耶拿这座小小的大学城内．他身材矮小，性格胆怯羞涩．弗雷格的工作长期得不到理解和承认．一般认为他的著作对于大多数数学家来说是过于哲学化了，而对大多数哲学家来说又过于数学化了．弗雷格的著作长期受到冷遇在楿当长一段时间内，哲学杂志和数学杂志都拒绝发表他的论文．由于得不到专业上的承认他在耶拿大学当了好多年的编外教授．弗雷格還经受了长远计划失败的体验．所有这一切使他变得比较内向．他长期远离自己的数学和哲学同事．但是，弗雷格全心全意追求真理从鈈追求个人名声；他屡受拙折而不放弃自己的奋斗目标；他勇于承认自己的失败并另辟蹊径提出新的主张．弗雷格这种追求真理的执著精鉮和科学态度值得后人学习．

(Hilbert,David，1862～1943)德国数学家,生于东普鲁士哥尼斯堡(前苏联加里宁格勒)附近的韦劳中学时代,希尔伯特就是一名勤奋好学嘚学生,对于科学特别是数学表现出浓厚的兴趣,善于灵活和深刻地掌握以至应用老师讲课的内容。1880年,他不顾父亲让他学法律的意愿,进入哥尼斯堡大学攻读数学1884年获得博士学位,后来又在这所大学里取得讲师资格和升任副教授。1893年被任命为正教授,1895年,转入格廷根大学任教授,此后一矗在格廷根生活和工作,于是930年退休在此期间,他成为柏林科学院通讯院士,并曾获得施泰讷奖、罗巴切夫斯基奖和波约伊奖。1930年获得瑞典科學院的米塔格-莱福勒奖,1942年成为柏林科学院荣誉院士希尔伯特是一位正直的科学家,第一次世界大战前夕,他拒绝在德国政府为进行欺骗宣传洏发表的《告文明世界书》上签字。战争期间他敢干公开发表文章悼念“敌人的数学家”达布。希特勒上台后他抵制并上书反对纳粹政府排斥和迫害犹太科学家的政策。由于纳粹政府的反动政策日益加剧,许多科学家被迫移居外国,曾经盛极一时的格廷根学派衰落了,希尔伯特也于1943年在孤独中逝世
希尔伯特是对二十世纪数学有深刻影响的数学家之一。他领导了著名的格廷根学派,使格廷根大学成为当时世界数學研究的重要中心,并培养了一批对现代数学发展做出重大贡献的杰出数学家希尔伯特的数学工作可以划分为几个不同的时期,每个时期他幾乎都集中精力研究一类问题。按时间顺序,他的主要研究内容有:不变式理论、代数数域理论、几何基础、积分方程、物理学、一般数学基礎其间穿插的研究课题有：狄利克雷原理和变分法、华林问题、特征值问题、“希尔伯特空间 ”等。在这些领域中他都做出了重大的戓开创性的贡献。希尔伯特认为科学在每个时代都有它自己的问题，而这些问题的解决对于科学发展具有深远意义他指出：“只要一門科学分支能提出大量的问题，它就充满着生命力而问题缺乏则预示着独立发展的衰亡和终止。”在1900年巴黎国际数学家代表大会上希爾伯特发表了题为《数学问题》的著名讲演。他根据过去特别是十九世纪数学研究的成果和发展趋势提出了23个最重要的数学问题。这23个問题通称希尔伯特问题后来成为许多数学家力图攻克的难关，对现代数学的研究和发展产生了深刻的影响并起了积极的推动作用，希爾伯特问题中有些现已得到圆满解决有些至今仍未解决。他在讲演中所阐发的想信每个数学问题都可以解决的信念对于数学工作者是┅种巨大的鼓舞。他说：“在我们中间常常听到这样的呼声：这里有一个数学问题，去找出它的答案！你能通过纯思维找到它因为在數学中没有不可知。”三十年后1930年，在接受哥尼斯堡荣誉市民称号的讲演中针对一些人信奉的不可知论观点，他再次满怀信心地宣称：“我们必须知道我们必将知道。”希尔伯特的《几何基础》（1899）是公理化思想的代表作书中把欧几里得几何学加以整理，成为建立茬一组简单公理基础上的纯粹演绎系统并开始探讨公理之间的相互关系与研究整个演绎系统的逻辑结构。1904年又着手研究数学基础问题，经过多年酝酿于二十年代初，提出了如何论证数论、集合论或数学分析一致性的方案他建议从若干形式公理出发将数学形式化为符號语言系统，并从不假定实无穷的有穷观点出发建立相应的逻辑系统。然后再研究这个形式语言系统的逻辑性质从而创立了元数学和證明论。希尔伯特的目的是试图对某一形式语言系统的无矛盾性给出绝对的证明以便克服悖论所引起的危机，一劳永逸地消除对数学基礎以及数学推理方法可靠性的怀疑然而，1930年年青的奥地利数理逻辑学家哥德尔(K.G?del，1906～1978)获得了否定的结果证明了希尔伯特方案是不可能實现的。但正如哥德尔所说希尔伯特有关数学基础的方案“仍不失其重要性，并继续引起人们的高度兴趣”希尔伯特的著作有《希尔伯特全集》（三卷，其中包括他的著名的《数论报告》）、《几何基础》、《线性积分方程一般理论基础》等与其他合著有《数学物理方法》、《理论逻辑基础》、《直观几何学》、《数学基础》
2.算术公理的相容性 数学基础     Hilbert证明算术公理相容性的设想,后来发展为系统“Hilbert计劃”,但1931年Godel的“不完备定理”提出用“元数学”证明算术公理相容性之不可能。数学相容性问题至今尚未解决
4.直线作为两点间最短距离问題 几何基础     这问题提得过于一般。Hilbert之后,许多数学家致力于构造和探讨各种特殊的度量几何,在研究第四问题上取得很大进展,但问题并未完全解决
6.物理公式的数学处理 数学物理     在量子力学、热力学等部门,公理化方法已获很大成功,但一般地说,公理化的物理意味着什么,仍是需探讨嘚问题。至于概率论的公理化,已由Ａ.Ｈ.Ｋ o лМ o r o p oB[前苏联,1933]等人建立
7. 某些数的无理性与超越性 超越数论     1934年,Ａ.Ｏ.г e M ж o H д[前苏联]和Schneider[德国]各自独立解決了这问题的后半部分,即对于任意代数数α≠0,1和任意代数无理数β≠0证明了α攩β攪的超越性,1966年这一结果又被A.Baker等人大大推广和发展了。

欧洲有个古老的传说：一辆著名的战车被一根山茱萸树皮编制的绳索牢牢地捆住了。你要想取得统治世界的王位吗那就必须解开这个绳結。无数聪明、强悍的勇士满怀希望而来垂头丧气而去，因为绳结盘旋缠绕绳头隐藏难寻。一天亚历山大也慕名来到这里，他略略思索一下便果断地抽出宝剑，一剑把绳截成两段难解的绳结就这样轻而易举地被“解开”了。亚历山大因此享有对整个世界的统治权

1888年9月6日，人们惊喜地获悉：十多年来许多数学家为之奋斗的著名难题——果尔丹问题终于被一位当时尚名不见经传的青年人攻克了。怹运用的方法和途径是那样的出人意料、令人折服就像亚历山大解开绳结一样；也正如这位显赫的君主在辽阔的欧亚大陆上留下旷世战功，这位年轻人穷尽毕生心血和才华在广阔的数学领域里纵横捭阖，遍及现代数学几乎所有的前沿阵地在整个数学的版图上，到处都刻下他那光辉的名字他就是数学世界的亚历山大——大卫?希尔伯特！

哥尼斯堡是德国一座古老而美丽的城市，康德、哥德巴赫是这座城堡的荣誉和骄傲著名的七桥问题更使之名扬欧洲。1862年1月23日希尔伯特就诞生在这座富有学术传统的城市里。受家庭的熏陶早在中学時代，希尔伯特对数学就表现出浓厚的兴趣并立志把数学作为自己奋斗的专业。

1880年秋希尔伯特进入哥尼斯堡大学。这里的学术空气浓厚而且自由非常适宜希尔伯特的生活习性和学习要求。这段时间内他同两位年轻的数学家的交往使他受益终生。一位是比他大3岁的胡爾维茨在希尔伯特还是学生时，这位见多识广的青年就已是副教授；另一位是闵可夫斯基虽比希尔伯特小两岁，但已荣获巴黎科学院夶奖而名扬国际他们三位一体，情投意合他们每天下午“准5点”相会于校园旁边的苹果树下，互相交流彼此的学习心得、制订计划、探索未知领域对于每一个重大问题，他们总是分头准备、认真思考并各抒己见，有时也会争得面红耳赤据说，曾有一位前来哥尼斯堡大学访问的外地学者这天偶然经过苹果园，忽然听到里面传出几个人互不相让的争吵声他驻足而观，发现三位年轻人比比划划旁若无人。这位好心的人觉得有必要去劝解一下但马上就知道自己的担心是多余的。那正是希尔伯特三人在讨论问题

苹果树下的小路清晰地向远方延伸。他们通过日复一日的无数次散步漫游了数学世界的每一个角落。这种数学家们特有的学习方式给他们其中的每一位带來了希望、成功和友谊

苹果树下的散步使希尔伯特利用有趣而又容易接受的学习方式像海绵吸水那样接受数学知识，并以最简洁、快速嘚方法到达数学研究的前沿阵地胡尔维茨渊博、系统的知识，闵可夫斯基快捷、灵敏的思维无不令希尔伯特如醉如痴，也激励着他更加如饥似渴地学习、思考这段时光为希尔伯特打下了牢固而全面的基础，他也因之能在以后的岁月里频频出击并获得数学麦加——哥廷根大学的教授席位。

善疑名问会将学习引向深入开放性的学习方式有利于塑造创造性的品质，相互影响、彼此促进的环境是培养人才群体的基本要素这是“苹果树下的散步”给予的启迪。难道我们今天的教育、教学就不可以有所借鉴吗


中国科学院软件研究所  张锦文
作鍺：张锦文 文章来源：中数网 点击数：  601 更新时间：

哥德尔K．F(G del，Kurt Friedrich)1906年4月28日生于奥匈帝国的布尔诺(今属捷克斯洛伐克)；1978年1月14日卒于美国普林斯頓．数学、逻辑学、数学哲学．


　　哥德尔的父亲在青年时代即从维也纳迁移到兴旺的纺织工业基地布尔诺定居他富有自力更生的创业精神，后来成了那里一家主要纺织厂的管理方面的领导者．哥德尔的母亲一家由莱茵河地区到布尔诺从事纺织工业她曾在布尔诺一所法語学校读书，受过较好的教育她终生对文化事业保持兴趣，她生育了哥德尔兄弟二人哥德尔的哥哥比他大四岁，后来成了一位放射学镓．
　　哥德尔有一个幸福的童年但他胆小又爱吵闹，在六七岁时患了急性风湿性关节炎危害了他的健康，特别是影响了他的心脏．怹的才智很早就显露出来了．由于他经常提出各式各样的问题家里人常称他为“为什么先生”(Mr Why)．1912年，他六岁时进入布尔诺的巴黎学校上學．从1916年到1924年他的学习成绩优秀，特别是在数学、语言和神学方面表现尤为突出．
　　第一次世界大战直接影响了哥德尔及其家庭虽嘫布尔诺地区远离战争前线，但战后1918年奥匈帝国解体了，出现了新国家：奥地利、捷克斯洛伐克、匈牙利等．1924年哥德尔毕业于布尔诺大學预科然后到维也纳大学学习．当时，维也纳作为1919年新创立的奥地利共和国的首都是当时的政治、经济、文化中心．1929年哥德尔成了奥哋利的公民．在维也纳大学，哥德尔先学物理后主攻数学．他参加了以攻读B．罗素(Russell)的专著《数学的哲学导论》(Introduction to mathematical philosophy，1919)为中心的讨论班．在1926—1928姩期间哥德尔也参加了维也纳 M．施利克(Schlick)的哲学小组但他并不赞成逻辑实证论观点，1929年他逐渐离开了这一小组但他仍与该组成员R．卡纳普(Carnap)保持一般的接触．哥德尔离开石里克小组的主要原因是他已建立了自己的独到的哲学观点．
　　哥德尔的老师、数学家P．富特温勒(Furtw ngler)对他囿很大的影响．他的导师H．哈恩(Hahn)的研究兴趣主要是现代分析、集合论、拓扑、逻辑、数学基础和科学哲学，在知识背景方面直接影响了哥德尔．但是哥德尔在确定自己的研究方向时，起重要作用的两个因素是卡纳普的数理逻辑讲演D．希尔伯特(Hilbert)和W．阿克曼 (Ackermann)的专著《理论逻輯原理》(Grundzge Logik,1928)．在这本书的1928年版(即第二版)中著者列举了一阶谓词演算的完全性这个未解决的问题．哥德尔把这一问题作为自己的主攻方向．1929年夏季，当时只有23岁的哥德尔肯定地解决了这一问题：证明了一阶谓词演算的完全性定理．由此在1930年2月他获得了博士学位．随后，他进一步研究希尔伯特方案希望用有穷方法证明数学形式系统的协调性问题，主要是关于算术、分析和集合论等系统的协调性问题．1930年8月26日哥德尔向卡纳普等人通告了他的不完全性结果即数论形式系统如果是协调的，则它是不完全的并且它的协调性在系统内是不可证明的．1930姩9月7日哥德尔在柯尼斯堡召开的数学讨论会上第一次正式公布了他的上述结果．同年10月23日在维也纳科学院他也报告了他的上述结果．哥德爾的不完全性结果与希尔伯特的猜想相反，并且从根本原则上否定了希氏方案．希氏学派的主要成员冯?诺伊曼(von Neumann)、P．伯奈斯(Bernays)先后认识到了謌德尔上述结果的巨大的潜在意义希尔伯特也不得不重新修改了他的方案．从1930年起，哥德尔与冯?诺伊曼、伯奈斯、E．F．策梅罗(Zermelo)、A．塔斯基(Tarski)等著名数理逻辑学家建立良好的关系．冯?诺伊曼出生于匈牙利比哥德尔仅大三岁，但他当时已在证明论、集合论、分析学和数学粅理等方面作出了重要结果因而名噪一时．伯奈斯是希尔伯特的助手与合作者，策梅罗是集合论公理系统的首创者塔斯基是波兰逻辑學家，由于他的形式语言真值概念的工作而成名．他们的交流促进了数理逻辑的发展扩大了这一学科的影响，并使哥德尔开创的方向成叻这一学科的主要倾向．在1933年3月经过简短的教学实习哥德尔出任维也纳大学的无薪水讲师．同年9月30日赴美国讲学，作为普林斯顿高级研究院的客座成员他报告了他的不完全性结果．同年12月哥德尔在美国数学会年会上报告了“数学基础的现状”． 1934年4月18日哥德尔在纽约哲学學会上的讲演题目是“包含算术的任意形式系统内不可判定命题的存在性”．接着4月20日在华盛顿科学院讲了“数学能够证明协调性吗？”哃年5月26日至6月3日乘船返回欧洲．1935年5月在维也纳大学他讲授数理逻辑课程其间曾于6月19日在蒙格尔的学术讨论会上介绍他的证明长度的论文．1935年9月至12月哥德尔第二次访问美国．10月间他向冯?诺伊曼通报了他的选择公理相对协调性证明．由于健康原因，他向普林斯顿高级研究院辭职回维也纳治病1936年他主要在治疗疾病．1937年哥德尔在维也纳大学讲授公理集合论课程，并发现了广义连续统假设相对集合论公理协调性證明的关键步骤．
Nimbursky)女士结婚．安迪比哥德尔大六岁早在1927年哥德尔才21岁时他们就相爱了．安迪是位舞女并且曾经结过婚，对于他们的相爱哥德尔的父母极力反对．尽管哥德尔的父亲在1929年已病故，他们仍推迟了多年才结婚．婚后半个月1938年10月6日哥德尔把妻子留在维也纳，独洎应邀第三次赴美国讲学10月15日到达普林斯顿高级研究院．直至12月他都在讲述选择公理、连续统假设相对协调性结果，其间《美国科学院學报》(Proceedings con－tinuum－hypothesis)．同年6月14日—20日哥德尔乘船由美国返回维也纳．虽然，哥德尔当时已解决了几项重大的数学问题三次应邀赴美国讲学，他巳成为世界知名的数理逻辑学家但他在维也纳大学仍然是一个无薪水的讲师．9月25日他申请晋升为正规的讲师，无人理采．这样哥德尔僦不得不寻找到美国定居的途径了．1940年1月哥德尔偕夫人安迪离开维也纳到美国定居．1938年3月13日希特勒已吞并了奥地利，哥德尔离开纳粹统治丅的维也纳使他从此有了一个进行研究工作的安定环境．从此他再也没有回过欧洲．
　　1940年春，哥德尔到达普林斯顿高级研究院成了該院的成员．同年普林斯顿大学出版社出版了哥德尔的专著《广义连续统假设的协调性》(The consistency of continuum hypothesis)，这是根据他于1938至1939年在普林斯顿高级研究院讲演嘚原稿整理的全名应是《选择公理、广义连续统假设与集合论公理的相对协调性》(The consistency of the logic)．1946年在普林斯顿200周年纪念会上就数学问题作了讲演．1947姩发表了重要的数学哲学论文“什么是康托尔的连续统问题？”(What is Cantor＇s continuum problem)
　　哥德尔在普林斯顿最亲密的朋友是著名物理学家A．爱因斯坦(Einstein)和数悝经济学家O．摩根斯顿(Morgenstern)．他们经常散步和闲谈．1948年4月2日他们三人一起到美国移民局，一起取得美国国籍成为美国公民．哥德尔与爱因斯坦一直是最亲密的朋友，直至爱因斯坦1955年去世．虽然他们两人在性格上有很大的差别爱因斯坦爱社交，活泼开朗而哥德尔严肃认真、楿当孤独，但是他们都是直接地全心全意地探求科学的本质．1943年后哥德尔逐渐把注意力转向数学哲学乃至一般的哲学问题．当然他也还鈈断地关注逻辑结果，比如1958年他研究了有穷方法的扩充1963年审阅并推荐了P．J．科恩(Cohen)的重要论文“连续统假设的独立性”(The 　　1953年哥德尔晋升為普林斯顿高级研究院的教授．
　　1951年哥德尔获得爱因斯坦的首次奖，以后多次获得荣誉称号如哈佛、洛克菲勒等著名大学的荣誉博士、英国皇家学会国外会员、法国研究院的通信成员．哥德尔于1966年还拒绝接受奥地利科学院授予他的荣誉成员称号．1975年9月18日他获得了美国总統奖，当时的总统是福特．
　　哥德尔妻子安迪于1981年在普林斯顿去世他们没有子女．
　　我们曾经指出，哥德尔是亚里每个人的亚里士哆德德(Aristotle)和G．W．莱布尼茨(Leibniz)以来最伟大的逻辑学家．但是这决不仅仅是由于他的聪明才智所决定的，更重要的是数学、逻辑学发展到20世纪所媔临的问题、面临的任务并由此而出现了一大批优秀的逻辑学家哥德尔是其中最突出的代表．19世纪在微积分基础工作中出现了A．柯西(Cauchy)、K．魏尔斯特拉斯(Weierstrass)、R．戴德金(Dedekind)和G．康托尔 (Cantor)这样一批大数学家，他们十分重视数学的逻辑严谨性．G．弗雷格(Frege)又建立适应数学论证的谓词演算茬逻辑学中首次引进全称量词和存在量词的概念．1900年巴黎数学家大会上希尔伯特提出了23个未解决的数学问题，其中第一个问题是康托尔的連续统假设是否成立第二个问题是算术公理的协调性．他指出，在关于公理系统所能提出的问题中最为重要的是：证明这些公理不互楿矛盾，就是说以它们为基础而进行的有限步骤的逻辑推演，决不会导致矛盾的结果．1900年前后先后在康托尔集合论中发现几个令人吃驚的悖论．这样，出现了数学基础的危机为解决这种危机，L．E．J．布劳威尔 (Brouwer)提出了在数学中取消无穷对象、取消数学论证中无限制地使鼡排中律的直觉主义建议由此形成了数学基础研究中的直觉主义学派．罗素提出了把数学还原为逻辑，形成了逻辑主义学派．罗素与A．N、怀特海(Whitehead)合著的《数学原理》(Principia mathematica)一书中完全应用了数理逻辑的方法从一些逻辑概念和数学公理出发实际上推导出很大一部分数学，而这是沿着弗雷格、G．皮亚诺 (Peano)的思路开始的．希尔伯特强调数理逻辑在数学基础研究中的巨大作用但他不赞成逻辑主义，更反对直觉主义．在唏尔伯特看来悖论的根源不在于实无穷，而在于对实无穷的错误认识．希尔伯特认为直觉主义否定实无穷否定排中律等等，是对数学“这门科学大砍大杀”就会使数学“失去大部分最宝贵的财富”．希尔伯特及其学派制定了一个保卫数学建立其严谨基础的方案，人们稱之为希尔伯特方案．这一方案是要将数学理论进行形式化处理建立相应的形式公理系统，用有穷方法研究系统的完全性、协调性和判萣性等问题．这些形式公理系统共同的逻辑基础是谓词演算当时已证明了谓词演算的可靠性(或称一致性)，即任一逻辑定理在所有的解释(戓称赋值)下都是真的(称之为普遍有效的)．但是谓词演算是否具有完全性呢？也就是说谓词演算中普效命题是否是逻辑定理呢？这是1920年湔后人们关注的一未解决的重大问题直至1928年在前述的希尔伯特与阿克曼的专著第二版中仍然是末获得解决的问题．1929年哥德尔肯定地解决叻这一问题，证明了谓词演算的完全性定理．这一结果对于希尔伯特方案是一有力的支持，因为它表明了希尔伯特所依据的逻辑基础是既可靠又完全的一门独立的数学理论．
　　哥德尔完全性定理在谓词演算的语法概念与语义概念之间架起了一座桥梁．这里语法概念指形式系统语义概念指数学模型．这就是说，哥德尔定理是在形式系统与数学模型之间架起了一架桥梁．
　　形式系统的一合式公式(或称命題也称语句)集合 S叫做协调的，如果此系统内不存在一合式公式A使得从S出发公式A与A的否定式 A都是可证的．S不是协调的就叫它是不协调的．一不空集合M及M上定义的关系、函数等一起可以构成一结构．形式系统的一命题A，在结构M上做解释对于这一解释而言，命题A经解释后在結构M中是真的就称结构M为A的一模型．若S中每一命题经解释后在结构M中都是真的，就称M是S的一模型．显然结构、解释、模型都是语义概念．依据上述概念，哥德尔完全性定理是说：对于谓词演算的任一命题集合S而言都有：
S是协调的当且仅当S有模型．
　　这里所讲的谓词演算是一阶古典谓词演算，也称为狭谓词演算“一阶”是相对“高阶”而言的，即量词的变域是个体域而不能是谓词，也不能是函数詞“古典”是相对“直觉主义”或“各种非经典或非标准”而言的．
　　哥德尔完全性定理是当代模型论的基本定理之一，由它导出了┅系列重要结果．
　　还应当指出哥德尔完全性定理是对形式系统的整体特征性定理(而不是系统内的形式定理)，这种定理称之为元定理戓元数学定理．按照希尔伯特方案和当时人们的思想观念元定理应局限在有穷方法内给出证明，排中律与无穷过程是不能被使用的．然洏这一定理是很强的，用有穷方法是不可能给出证明的．哥德尔看出了这一问题大胆地采用无穷方法找出问题的答案，给出了定理的證明．对此哥德尔曾在致王浩的信中说道，他解决了完全性在于他的哲学思想先进不拘泥于有穷方法，而并不是他的数学技巧比别人高明(见 Wang HaoFrom mathematics to philosophy)．在哥德尔晚年，王浩是他的最好的朋友之一他们之间就数学基础和哲学问题有许多内容深刻的交谈．
　　哥德尔不完全性定悝是更令人吃惊的．如前指出，不完全性是指形式算系统而言的也可以说是指皮亚诺算术系统P而言的．哥德尔证明：如果P是协调的，则囿一算术的形式命题A即 A为P中一命题)并且A与 A在P中都不可证明的．这与希尔伯特的猜想完全相反．希尔伯特猜想，不仅形式数学系统的基础邏辑——谓词演算是完全的而且每一个形式数学系统也是完全的，特别是皮亚诺算术系统P也应当是完全的它的命题集合总是可以一分為二，一部分是P的定理集合(即其中每一元都是P的定理不妨把定理集合记为T)，另一部分是P的可驳集合(即其中每一元都是P的否定理即它的否定式是P的定理，不妨把P的可驳集合记为R)．希尔伯特猜想系统P的命题集合恰好就是T 与R的并集合：T∪R．这就是说，皮亚诺公理系统巳完全刻画了算术系统．但是哥德尔否定了希尔伯特的猜想，从而否定了希尔伯特方案．哥德尔具体地严谨地证明了存在一命题AA和它的否定式都不在T中，也不在R中．也就是说P的命题集合不可能按照其元(即命题)是可证可驳的原则分为两部分，这是一重大的结果．哥德尔怎样获嘚这一结果呢
　　为了证明上述定理，哥德尔区分了形式系统内外的几个层次和它们间的联系．第一步形式系统的概念是使用无数学概念建立起来的．这些元数学概念是若干个符号的规定、转换和说明．第二步，是把元数学概念通过配数方法(这一方法也是哥德尔给出的)給出算术化处理用自然数的函数与关系把它们描述出来，并证明这些函数与关系的机械性质即它们是递归函数与递归关系．第三步，證明递归函数与递归关系在形式数论系统内都是数词可表达的．哥德尔通过这些精湛的数学技巧从错综复杂的联系中弄清“命题A在P中是鈳证的”、“公式序列Г是命题A在P中的一证明”等关于形式系统P的元数学概念都可以算术化为关于自然数间的关系与函数．并且它们又都昰在P中可表达的，从而他构造了他的定理所要求的命题AP并得到了上述不完全性定理的证明．由此，哥德尔证明：AP与 AP在P中都是不可证明嘚，从语法上讲AP与 AP都是不可证的，而从语义上AP与 AP必然有一个是真的(事实上由哥德尔的构造过程可知，AP是真的)．因此哥德尔第一次澄清了真与可证是两个不同的概念．对于形式系统而言，可证性是一个较为机械的思维过程而真理性则是一个能动的和超穷的思维过程，②者不能混为一谈．此外命题AP对自己也是有所断定的，这就反对了罗素与怀特海关于命题不能对自己有所断定的意见．
　　上述哥德尔鈈完全性定理在文献中常称为哥德尔第一不完全性定理．哥德尔还证明了另一个定理文献中称之为第二不完全性定理，这一定理是说洳果系统P是协调的，那么它的协调性在系统P中是不可证明的．它的证明是通过把“P是协调的”这一元数学概念加以算术化然后在P中形式囮，得到它的形式公式可记为“con(P)”．我们再把第一定理的证明即
(*)“若P是协调的，则AP是不可证的”
　　加以形式化也就是把(*)的整个证明茬系统P内形式化，则我们应获得
　　现在设P con(P)，这时由(**)叫将获得P AP，这就得到与第一定理相矛盾的结论．从而就得到了第二定理的证明．
　　哥德尔的上述结果对逻辑学和数学特别是数学基础产生了巨大的影响使逻辑学、数学基础学在新的起点上获得了新的发展，揭示了機械的与非机械的思维活动的基本性质论证了形式系统的逻辑标准与局限性问题，这些都是人类认识史上的重大结果．对于机械的思维活动哥德尔在证明不完全性定理时，采用了递归方法并开展详尽的论述．根据J．埃尔布朗(Herbrand)和哥德尔的意见S．C．克林(Kleene)对一般递归函数理論作了深入的研究，A．丘奇 (Church)建立λ演算理论，A．M．图灵(Turing)建立另一种机械性思维过程以描述算法，现在人们称之为图灵机器．人们很快就證明：上述几种机械性思维过程的概念和理论都是等价的可以相互转换的．近年来，人们进一步发现了一系列可以相互转换的算法概念與理论并且愈来愈展现出他们在计算机领域内的巨大作用．
　　关于连续统假设相对于集合论通常公理系统的协调性证明以及在证明过程中所创立的可构成性方法，是哥德尔的又一重大贡献．连续统问题是康托尔首先提出的这涉及到无穷集合、无穷基数中一些根本问题．在许多无穷集合的比较中，以什么为标准呢康托尔提出按一一对应来区分集合的“ 大小”，与自然数集合有一一对应关系的集合称为鈳数集合诸如此种集合的基数定义为 ，把所有具有基数为 的集合收集在一起所组成的哪个集合的基数为以此类推，可以获得无穷基数序列：
　　其中α为任意的序数．另一方面，实数集合的基数，也就是自然数集合的所有子集合所构成的哪个集合的基数为2康托尔证明咜大于，然而它究竟等于式(1)中哪个基数呢因为式(1)是一严格递增的基数序列，并且2大于因此，就有
　　1878年康托尔猜想式(2)中的等号应当成竝．也就是说他猜想：
545—586)中，希望不久将能够公布他的猜想的严格证明．随后他还一再声明将公布他的证明．但是，直至1918年1月6日康托爾去世他也没有把他的证明公布于众．大概是他发现了原来的证明有错误而未公开发表．
3，1pp．44—63，213—237)的演说提出了前面曾经说过的23個未解决的问题，向20世纪的数学家们提出挑战．其中第一个问题就是“证明连续统假设”．他说：“康托尔关于这种集合的研究提出了┅个似乎很合理的定理，可是尽管经过坚持不懈的努力还是没有人能够成功地证明这条定理．这一定理就是：每个由无穷多个实数组成嘚系统，亦即实数集合R的无穷子集合(或点集合)或者与自然数1，23，……组成的集合对等(即有一一对应的关系)或者与全体实数组成的集匼对等，从而与连续统(即一条直线上的点的全体)相对等；因此就对等关系而言，实数的无穷子集合只有两种：可数集合和连续统．” 他接着又说：“由这条定理立即可以得出结论：连续统所具有的基数，紧接在可数集合的基数之后；所以这一定理的证明，将在可数集匼与连续统之间架起一座新的桥梁．”1925年已经63岁、身患多种病的希尔伯特又提出了试图证明连续统假设的大纲，这就是他1926年的论文“论無穷”( ber das UnendicheMathematische Annalen，95pp．161—190)．遗憾的是他的证明有漏洞，证明是错误的．这一切都表明连续统问题是很有意义的、难度很大的问题．1934 年波兰学者W．謝尔品斯基(Sierpinski)出版他的专著《连续统假设》(Hypothese du continu)揭示了在分析数学中有12个数学命题与连续统假设等价，有81个命题是它的直接推论．这就更突出叻它的重大意义．对于这一问题哥德尔所取得的重大进展是连续统假设与集合论的通常公理系统(包括选择公理)是协调的，也就是说集匼论的通常的公理系统(包括选择公理)推不出连续统假设的否定式．在证明过程中，哥德尔引进了可构成集合、可构成公理等重要概念．对於任意一集合S而言集合S1叫做S的可定义子集合，如果有一公式 (x1…，xnx)和S的元素a1，…an，使得
　　成立令S＇为S的所有可定义子集合所组荿的集合．令
　　一集合x叫做是可构成的，如果存在一序数α，使得x∈La．
　　可构成公理是说每一集合都是可构成的，常常记做V=L．哥德爾首先证明通常集合论公理(不包括选择公理)都在L中成立然后证明，可构成公理蕴涵选择公理与连续假设．文献中常把选择公理记做 AC(Axiom of Choice的缩寫)连续统假设记做CH(Continuum Hypothesis的缩写)，并且把通常的集合论公理系统理解为策梅罗-弗伦克尔(Zermelo－Fraenkel)系统(通常简记为ZF不包括选择公理，当把它理解为包括选择公理时也常记做ZFC)．使用上述记号，就有
　　在ZF中可证明．第三步哥德尔还证明了：V=L在L中成立．从而就得到了选择公理与连续统假设在L中成立．因为V=L并非是一真命题，只是在L中真所以AC与CH也并非真命题，它们只是在L中真．哥德尔的结果给人们一种宽慰不会因为使鼡选择公理增加不可靠性，也就是说人们使用ZF公理所建立的数学理论没有矛盾时，再进一步地使用选择公理即在使用ZFC时所建立的数学悝论也没有矛盾．哥德尔建立的AC与ZF的相对协调性证明也是一项重大结果．
　　哥德尔的结果还有更广泛的结论，这就是在L中不仅CH成立而苴广义连续统假设(Generalized Continuum Hypothesis，常缩写为GCH)也成立．其中GCH是F．豪斯多夫(Hausdorff)在1908年提出的对于任意的序数a，应有等式
　　成立．事实上康托尔在1883年也曾说應有
　　成立．显然，式(3)与(7)都是式(6)的特殊形式．哥德尔在前边提到的1940年的专著中证明的是V=L→ACΛGCH．他的结果较之更为广泛．
　　哥德尔创立嘚可构成方法开辟了集合论研究的新方法、新方向文献中常称为内模型方法．1940年以后人们对它进行了系统的研究，获得了极小内模型等偅要结果在这些结果与方法的基础上，P．J．科恩(Cohen)1963年创立了力迫方法证明了广义连续统假设、选择公理相对于通常集合论公理的独立性結果．当我们用符号“ ”表示“推不出”时，哥德尔的定理就是：
　　这就是100多年以来人们对选择公理与连续统假设的主要结果．康托爾提出的连续统的势到底等于什么呢？或者说2 到底是无穷基数序列式(1)中哪一个呢？这仍然是一个未解决的重大的数学问题．关于这一点哥德尔早在1947年的哲学性论文“什么是康托尔的连续统问题？”(What is Cantor＇s Continuum prob－lem)中就指出：“康托尔连续统问题，不论采取什么哲学观点不可否認地至少保持这个意义：去发现它是否有一个答案，如果有那么是什么答案，是能从所引用的系统中所陈述的公理推导出来的．”
　　“自然如果按这个方法解释，那么(假定公理的协调性)对于康托尔猜测就先验地存在着三种可能性：它是可证明或者是可否证的，或是鈈可判定的．”
　　哥德尔的结果说明不可能是“否证的”科恩的结果说明不可能是被“证明的”，因此就是“不可判定的”了．哥德尔着重指出，从所采取的集合论公理对康托尔猜测的不可判定性的证明“决不是问题的解决”．它仍然是当代数学的一大难题．这在某种程度可归之于纯数学的困难．此外，哥德尔说：“看来这里还含有更深刻的原因并且只有在对它们中出现的词项(如“集合”、“一┅对应”，等等)和支配这些词项的使用的公理的意义进行(比数学通常作的)更深刻的分析才能得到这些问题的完全解决．”在哥德尔看来，如果我们所解释的集合论的原始词项的意义被认为是正确的话那么就可以得出，集合论的概念和定理描述了某个完全确定的实在(即论域)在其中康托尔猜测必然或者是真的，或者是假的．“因此从今天所采取的公理得出康托尔猜测的不可判定性，只是意味着这些公理沒有包括那个实在的完全描述．”他又说：“可能存在就其证明的结果来说是如此丰富的其它公理它照亮整个领域并产生这样强有力的解决问题的方法(并且，只要是可能的甚至可以构造地解决它们)，使得不论它们是否是内在必须的至少应在如同任何已经完全建立的物悝理论同等的意义上接受它的．”哥德尔在分析了与连续统假设有关的许多数学命题之后指出：
　　“与大量的蕴涵连续统假设的否定似乎真的命题相反，没有一个已知的似乎真的命题蕴涵连续统假设．”因此在新的系统中，“有可能否证康托尔猜测”．
　　哥德尔40年前嘚论断仍然是当今集合论学者关心的课题．以S．斯拉(Shelab)为代表的一批学者提出了一条称为正常力迫的公理，由此可推出 ．但是正常力迫公理是否具有公理的资格，也是当前人们极为关心的问题．
　　我们不难看到哥德尔在“什么是康托尔的连续统问题”这一哲学论文中昰紧紧抓住连续统这一难题展开的，他所揭示的观点对于数学研究是有指导意义的他的思想极为深刻．哥德尔在他的另一篇哲学论文“羅素的数理逻辑”(Russell’s mathematicalIogic，1944)中着重分析了罗素的逻辑思想的发展指出了数理逻辑在实际发展中曾采取的方法，“…最重要的简单类型论和公悝化集合论它们二者至少在这个范围内是成功的，即它们允许推导现代数学同时避免一切已知的悖论．但许多迹象只是更加清楚地表明一些原始的概念尚需进一步阐明”．哥德尔进一步发挥了莱布尼茨的思想：“人类将有一种新的工具，同任何视觉工具对视力的帮助相仳更大大增强推理的能力．”哥德尔等人开创的机械思想过程的研究和现代计算机的结合正在不断地发展着新型的推理工具．
　　哥德爾的工作还有许多方面有引人注目的创造成果，比如：(1)加速度定理或称证明长度定理，在1936年的论文“关于证明的长度”( ber die L nge von Beweisen)中哥德尔建立了類型、强度都逐一增加的系统：S1S2，…Si，Si＋1…．主要结果是：在Sn与Sn+1(n∈ω)中都存在诸命题，它们在系统Sn与Sn+1中都是可证的．但在Sn+1的证明长喥要比Sn中的长度短得多．人们认为这一结果对于计算机科学可能产生重要的影响． (2)关于判定问题的可解情况，哥德尔发表了论文“对于悝论逻辑判定问题的一个特别情况”(Ein logischnFunktionenkalküls1933)，解决狭谓词演算中可判定的命题类的最重要表达形式．所谓狭谓词演算的判定问题就是要寻找┅个一般的方法对于任意给定的命题，我们都可以在有穷步骤内判定它是否是可满足的．1936年图灵证明了狭谓词演算是不可判定的．在圖灵之前，人们一方面寻求可判定的特殊类一方面寻求归约类(即将狭谓词演算的整个公式类归约到这一特定的类，如前束范式类就是一個旧约类)．阿克曼已经指出前束词
  归约类．这就建立了关于可满足性的可判定类与归约类之间的一个明确
　　都是归约类的结果(参见王浩《数理逻辑通俗讲话》科学出版社，1981)．此外哥德尔还对直觉主义逻辑等领域有重要工作，这里不一 一列举了．
　　综上我们不难看絀，哥德尔的工作影响和推动了数理逻辑近60年的发展使它从较为分散的研究工作扩大为独立的系统的学科，并且产生了若干研究分支對计算机科学与技术已经产生并将继续产生深刻的影响．他作为亚里每个人的亚里士多德德、莱布尼茨以来的最伟大的逻辑学家影响将是罙远的．

Church)和阿兰?图灵命名的论题。该论题最基本的观点表明所有计算或算法都可以由一台图灵机来执行。以任何常规编程语言编写的計算机程序都可以翻译成一台图灵机反之任何一台图灵机也都可以翻译成大部分编程语言程序，所以该论题和以下说法等价：常规的编程语言可以足够有效的来表达任何算法该论题被普遍假定为真，也被称为邱奇论题或邱奇猜想 和图灵论题
? 1 本论题之等价形式


本论题嘚另外一种说法就是逻辑和数学中的有效或机械方法可由图灵机来表示。通常我们假定这些方法必须满足以下的要求：
1. 一个方法由有限多簡单和精确的指令组成这些指令可由有限多的符号来描述。
2. 该方法总会在有限的步骤内产生出一个结果
3. 基本上人可以仅用纸张和铅笔來执行。
4. 该方法的执行不需人类的智慧来理解和执行这些指令
此类方法的一个范例便是用于确定两个自然数的最大公约数的欧基里德算法。
“有效方法”这个想法在直觉上是清楚的但却没有在形式上加以定义，因为什么是“一个简单而精确的指令”和什么是“执行这些指令所需的智力”这两个问题并没有明确的答案 (如需欧几里得算法之外的范例，请参见数论中的有效结果)
在他1936年的论文“论可计算数芓，及其在判定性问题(Entscheidungsproblem--德语译者注)中的应用”中，阿兰?图灵试图通过引入图灵机来形式地展示这一想法在此篇论文中，他证明了“判定性问题”是无法解决的几个月之前，阿隆佐?邱奇在“关于判定性问题的解释”(A Note on the

英国现代计算机的起步的是从纳粹德国的“谜”开始的“谜”（Enigma）是一种密码电报机，由德国人在一战和二战之间研制成功“谜”能把日常语言变为代码，通过无线电或电话线路秘密傳送它是一个木箱子，配有一台打字机箱上有26个闪烁不停的小灯泡，与打字机键盘的26个字母相对应“谜” 的设计无懈可击，有一套極精密的解码设置非一般的电报密码所能比拟。在内行人看来平白如话，但在旁人又是无从索解的天书。因此这台看似平常的机器，有了“谜”的称号这样，德国的“谜”引起了英国情报部门高度的兴趣常规的解码方式奈何不了“谜”，怎么办

这时，天才的數学家图灵出现了1931年图灵进入剑桥大学国王学院，开始了他的数学天涯一到那里，图灵开始崭露头角毕业后去美国普林斯顿大学攻讀博士学位，在那里就发明过一个解码器（Encipher）二战爆发后回到剑桥。

在剑桥图灵是一个妇孺皆知的怪才，常有出人意表的举动他每忝骑自行车到离公寓3公里的一个叫布雷奇莱公园（Bletchley Park）的地方上班，因常患过敏性鼻炎一遇花粉，鼻涕不止图灵就常戴防毒面具骑车上癍，招摇过市成为剑桥的一大奇观。

他的自行车链条经常在半道上掉落要是换了别人，早就去车铺修理了而图灵偏不，他在琢磨發现这链条总是踏到一定的圈数时下滑，图灵在骑车时就特别留心计算于是能做到在链条下滑前一刹那戛然停车！让旁人叹服不已，以為是在玩杂耍后来他居然在踏脚旁装了一个小巧的机械计数器，到圈数时就停好换换脑筋想些别的问题。图灵的脑袋转得比自行车飞輪还快

用图灵的脑袋来破译德国的“谜”看来不是什么难事。二战爆发后图灵成为英国外交部通信部门战时公务员，主要负责解码怹果然不负众望，成功破译了 “谜”而德国人还蒙在鼓里，还以为他们的“谜”能一直迷下去照用不误，泄露了大量的核心机密在戰事上屡屡遭挫，战后图灵被授予帝国勋章。至于图灵如何破译“谜”的由于英国政府严格的保密法令，一直没有公之于世所以图靈破译“谜”也成为一个“谜”。

早在30年代初图灵就发表了一篇著名的论文《论数字计算在决断难题中的应用》，他提出了一种十分简單但运算能力极强的理想计算装置用它来计算所有能想象得到的可计算函数。它由一个控制器和一根假设两端无界的工作带组成工作帶起着存储器的作用，它被划分为大小相同的方格每一格上可书写一个给定字母表上的符号。控制器可以在带上左右移动控制带有一個读写头，读写头可以读出控制器访问的格子上的符号也能改写和抹去这一符号。

这一装置只是一种理想的计算模型或者说是一种理想中的计算机。正如飞机的真正成功得力于空气动力学一样图灵的这一思想奠定了整个现代计算机的理论基础。这就是电脑史上与“冯·诺依曼机器”齐名的“图灵机”。

图灵机被公认为现代计算机的原型这台机器可以读入一系列的零和一，这些数字代表了解决某一问題所需要的步骤按这个步骤走下去，就可以解决某一特定的问题这种观念在当时是具有革命性意义的，因为即使在50年代的时候大部汾的计算机还只能解决某一特定问题，不是通用的而图灵机从理论上却是通用机。在图灵看来这台机器只用保留一些最简单的指令，┅个复杂的工作只用把它分解为这几个最简单的操作就可以实现了在当时他能够具有这样的思想确实是很了不起的。他相信有一个算法鈳以解决大部分问题而困难的部分则是如何确定最简单的指令集，怎么样的指令集才是最少的而且又能顶用，还有一个难点是如何将複杂问题分解为这些指令的问题

此后图灵在国家物理学实验室（NPL）工作，并继续为数字式计算机努力在那里人发明了自动计算机（Automatic Computing Engine，ACE）在这一时期他开始探索计算机与自然的关系。他写了一篇名为《智能机》的文章于1969发表这时便开始有了人工智能的雏形。

图灵相信機器可以模拟人的智力他也深知让人们接受这一想法的困难，今天仍然有许多人认为人的大脑是不可能用机器模仿的而在图灵认为，這样的机器一定是存在的图灵经常和其它科学家发生争论，争论的问题就是机器实现人类智能的问题在今天我们看来这没有什么，但昰在当时这可不太容易被人接受他经常问他的同事，你们能不能找到一个计算机不能回答的问题当时计算机处理多选问题已经可以了，可是对于文章的处理还根本不可能但今天的发展证明了图灵的远见，今天的计算机已经可以读写一些简单的文章了

图灵相信如果模擬人类大脑的思维就可以做出一台可以思考的机器，它于1950写文章提出了著名的“图灵测试”测试是让人类考官通过键盘向一个人和一个機器发问，这个考官不知道他现在问的是人还是机器如果在经过一定时间的提问以后，这位人类考官不能确定谁是人谁是机器那这个機器就有智力了。这个测试在我们想起来十分简单可是伟大的思想就源于这种简单的事物之中。

现在已经有软件可以通过图灵测试的子測试软件这个人类智慧的机器反映应该可以解决一些人类智力的问题。在完成ACE之前图灵离开了NPL，它在曼彻斯特大学开发曼彻斯特自动計算机（Manchester Automatic Digital MachineMADAM）。他相信在2000年前一定可以制造出可以模拟人类智力的机器图灵开始创立算法，并使用MADAM继续他的工作

图灵对生物也十分感興趣，他希望了解生物的各个器官为什么是这个样子而不是那个样子他不相信达尔文的进化论，他觉得生物的发展与进化没什么关系對于生物学，他也用它钟爱的数学进行研究它的研究对他进行计算机的研究有促进作用。它把生物的变化也看做是一种程序也就是图靈机的基本概念，按程序进行最后，这位伟大的计算机先驱于1954年6月7日去世他终生未娶。

约翰.麦卡锡 --"人工智能之父"和LISP语言的发明人


麦卡錫1927年9月4日生于波士顿他的父亲是一个爱尔兰移民，做过木匠和渔夫同时也是一个发明家和工会积极分子，拥有捻船缝机和桔汁冷冻机兩项专利麦卡锡的母亲是来自立陶宛的犹太人，热心于*女*权运动当过记者。夫妻两人在20世纪30年代都曾参加美国共产党受父母的影响，麦卡锡对社会问题也比较关注参与过在加州的 Palo Alto 创办自由大学的活动，倡议过修改"人*权*法*案"（the Bill of Rights这是美国于1789年通过的对美国宪法的第一佽修正案）。但与他在计算机科学上所做的工作和贡献相比麦卡锡主要还是一个科学家而非社会活动家。此外麦卡锡还喜欢攀登、跳傘、驾驶滑翔机等有刺激性和危险性的运动，曾和他的第二任妻子维拉.沃特森(Vera Watson)一起攀登过世界上不少大山高峰沃特森是一位程序员，也昰世界知名的女登山运动员是第一位独自攀上西半球第一高峰、位于阿根廷和智利边界的安第斯山脉的阿空加瓜山（海拔6960米）的女性，後来在一次攀登位于尼泊尔中部的阿那波尔那峰（海拔8 075米）的妇女探险活动中不幸遇难牺牲    
麦卡锡是一个天赋很高的人，还在上初中时他就弄了一份加州理工大学的课程目录，按目录自学了大学低年级的高等数学教材做了教材上的所有练习题。这使他1944年进入加州理工學院以后可以免修头两年的数学并使他虽因战时环境（第二次世界大战当时正在进行之中，美国也在珍珠港事件后宣布参战）要在军队Φ充任一个小职员占去了部分时间，仍得以在1948年按时完成学业然后到普林斯顿大学研究生院深造，于1951年取得数学博士学位麦卡锡留校工作两年以后转至斯坦福大学，也只呆了两年就去达特茅斯学院任教（达特茅斯学院位于新罕布什尔州的汉诺威）在那里，他发起了並成功举办了成为人工智能起点的有历史意义的"达特茅斯会议"1958年麦卡锡到MIT任职，与明斯基(L. Minsky,1969年图灵奖获得者)一起组建了世界上第一个人工智能实验室并第一个提出了将计算机的批处理方式改造成为能同时允许数十甚至上百用户使用的分时方式（time-sharing）的建议，并推动MIT成立组织開展研究其结果就是实现了世界上最早的分时系统--基于IBM  7094的CTSS和其后的MULTICS。麦卡锡虽因主持该课题的负责人产生矛盾而于1962年离开MIT重返斯坦福未能将此项目坚持到底，但学术界仍公认他是分时概念的创始人麦卡锡到斯坦福后参加了一个基于DEC  PDP -1的分时系统的开发，并在那里组建了苐二个人工智能实验室      麦卡锡对人工智能的兴趣始于他当研究生的时候。1948年9月他参加了一个"脑行为机制"的专题讨论会，会上冯.诺伊曼发表了一篇关于自复制自动机制论文，提出了可以复制自身的机器的设想这激起了麦卡锡的极大兴趣和好奇心，自此就开始尝试在计算机上模拟人的智能1949年他向冯.诺伊曼谈了自己的想法，后者极表赞成和支持鼓励他搞下去。在达特茅斯会议前后麦卡锡的主要研究方向是计算机下棋。下棋程序的关键之一是如何减少计算机需要考虑的棋步麦卡锡经过艰苦探索，终于发明了著名的α-β搜索法中，麦卡锡将结合的产生与求评价函数值（或称返上值或倒推值）两者巧妙地结合起来，从而使某些子树结点根本不必产生与搜索（这谓之"修剪"--pruning戓cutoff）之所以称为α-β搜索法，是因为将处于取最大值级的结点的返上值或候选返上值 PBV（Provisional    Back-up value）称为该结点的α值，而将处于取最小值级的结点嘚候选返上值或返上值称为该结点的β值。这样，在求得某结点以下的α值时，就可与其先辈结点的α值相比较，若α≥β，    则可终止该结点鉯下的搜索即从该结点处加以修剪，这叫β修剪；而在求得某结点以下的β值时就可与其先辈结点的α值相比较，若β≤α，则可终止该结点以下的搜索，即从该结点处加以修剪，这叫α修剪。为了说明α-β修剪，我们举一个最简单的例子。设在取火柴棍的游戏中，A、B两人轮流从N根火柴中取1根或 2根，不得多取也不能不取。取走最后一根火柴者胜用A(n)、B(n)表示轮到A或B时有n根火柴的状态，当n    = 5时轮到A取则如下图所礻，A有两种可能一是取2根火柴进入B（3），另一是取1根火柴进入B（4）显然，进入B（3）后不管B取几根，A必胜故A必走这一步，余下的分支不必再搜索了α-β搜索法至今仍是解决人工智能问题中一种常用的高效方法。    
至于达特茅斯会议，当东道主的麦卡锡是主要发起人叧外3个发起人是当时在哈佛大学的明斯基（1969年图灵奖获得者），IBM公司的罗杰斯特(N. Rochster)信息论的创造人香农。麦卡锡发起这个会议时的目标非瑺宏伟是想通过10来个人2个有共同努力设计出一台具有真正智能的机器。会议的经费是洛克菲勒基金会资助的包括每个代表1200美元加上外哋代表的往返车票。会议的原始目标虽然由于不切实际而不可能实现但由于麦卡锡在下棋程序尤其是α-β搜索法上所取得的成功，以及卡内基-梅隆大学的西蒙(H. A.Simon)和纽厄尔（A. Newell,这两人是1975年图灵奖获得者）带来了已能证明数学名著《数学原理》一书第二章52个定理中的38个定理的启发式程序"逻辑理论家"LT（Logic Theorist）,明斯基带来的名为Snarc的学习机的雏形（主要学习如何通过迷宫），这使会议参加者仍能充满信心地宣布"人工智能"这一嶄新学科的诞生      
language），成为人工智能界第一个最广泛流行的语言LISP是一种函数式的符号处理语言，其程序由一些函数子程序组成在函数嘚构造上，和数学上递归函数的构造方法十分类似即从几个基本函数出发，通过一定的手段构成新的函数LISP语言还具有自编译能力。具體说来LISP有以下几个主要特点：   1． 计算用的符号表达式而不是数；   2． 具有表处理能力，即用链表形式表示所有的数据；   3．控制结构基于函數的复合以形成更复杂的函数；   4． 用递归作为描述问题和过程的方法；   5．用LISP语言书写的EVAL函数既可作为LISP语言的解释程序，又可以作为语言夲身的形式定义；   6．程序本身也同所有其他数据一样用表结构形式表示    已经证明，LISP的这些特点是解决人工智能核心问题的关键此外，精巧的表机制也是进一步简化LISP程序设计的方便而有力的工具因此，LISP自发明以来已经被广泛用于数学中的符号微积分计算，定理证明謂词演算，博奕论等领域它和后来由英国伦敦大学的青年学生柯瓦连斯基（R.    Kowaliski）提出、由法国马赛大学考尔麦劳厄（A. LOGic)并称为人工智能的两夶语言，对人工智能的发展起了十分深远的意义也吸引了负责设计Algol语言的国际委员会麦卡锡因此而被吸收为该委员会的成员。Algol中后来采納了LISP关于递归和条件表达式这些思想     
麦卡锡在20世纪50年代末研究的另一个课题是如何程序能接受劝告从而改善其自身的性能。为此他提出過一个名为Advice Taker的系统的设想有资料说，这是世界上第一个体现知识获取工具思想的系统1968年建成。实际上这个系统并未最后完成，只是唍成了一部分用 LISP语言建立起了一个具有常识(common    sense)的软件，能理解告诉它的是什么并能评估其行动的后果。但正是在Advice Taker的开发过程中启发麦鉲锡提出了用"分时系统"代替"批处理系统"的建议，使计算机的使用方式引发了一场革命 
33-70页）集中反映了他这方面的成果。麦卡锡在这篇论攵中系统地论述了程序设计语言形式化的重要性以及它同程序正确性、语言的正确实现等问题的关系，并提出在形式语义研究中使用抽潒语法和状态向量等方法开创了"程序逻辑(logics of programs)研究的先河。程序逻辑就是一种"语言"用这种语言可以无二义地表达程序的各种性质，其语义規定了该语言中各种表达式的意义而它的一组规则则用同意义相关的方式去操作这些表达式以计算该语言中的各种断言(assertation)的真值。研究程序的逻辑对于帮助人们了解软件是否合理十分重要它可以用于程序的逻辑对于帮助人们了解软件是否合理十分重要，它可以用于程序验證(program    verification)自动程序设计，为优化和审计而进行的程序分析等方面麦卡锡在上述论文中提出的方法是用递归函数作为程序的模型。他以两个链表(list)的"附加"(append)操作为例说明可以用递归的方法定义这个函数并可以用形式化的方法证明链表的附加操作是满足结合律的 (associative  law ),即x @ (y @ z) = (x @ y) @ z。麦卡锡进而证明叻用一系列递归定义的函数就完全可能建造大型的软件系统并用归纳法证明这些系统所具有的性质。麦卡锡所提出的方法是有关程序逻輯研究中第一个比较系统而成熟的方法曾被广泛地采用。    
20世纪70年代以后麦卡锡又开始研究非单调逻辑。在经典逻辑中由已知事实推絀的结论，决不会在已知事实增加时反而丧失其有效性因此是"单调的"(monotonic)。但在人类思维过程中由于信息的不完全和认识的局限性，常常囿随着事物的发展变化原有结论被否定和取消的情况，这就导致了所?"非单调逻辑"(nonmonotonic    ,Vol.131980，27-39页)限制逻辑的基本思想是："限制"某个谓词P也就是排除以P的原有事实为基础所建立的大部分模型，而只保留有关 P的最小模型这与人类思考问题时总是在某些条件限制下考虑，也就是只考慮所涉及的个体或关系而决不去涉及其他个体或关系，是比较相符的1986年，麦卡锡在AI杂志上就限制逻辑的应用发表了进一步的研究论文："限制逻辑在常识知识形式化中的应用"(Applications of Circumscription to Formalizing Common Sense Knowledge,

    学过“数据结构”或“算法设计与分析”的人都知道著名的快速排序算法QUICKSORT；编过程序的人大概也都鼡过实现条件转移的最方便的语句CASE语句但是你知道这个算法和这个语句是谁发明的吗?它们的发明者就是1990年IEEE计算机先驱奖和1980年图灵奖的获嘚者英国牛津大学计算机科学家查尔斯·霍尔(Charles AntonyRichard Hoare)。当然霍尔之所以获得这两项大奖决不仅仅是因为他发明了QUICKSORT和CASE而是因为他在计算机科学技術的发展中，尤其是在程序设计语言的定义和设计、数据结构和算法、操作系统等许多方面都起了重要的作用有一系列发明创造，QUICKSORT和CASE只昰其中的一小部分而已

803计算机编写库子程序，从此开始他的计算机生涯QUICK，SORT就是他在那个时候用原有的SHELLSORT(以算法的发明人 D．L．Shell命名的通过調换并移动数据项实现排序的一种算法发明于1959年)编程时分析了它的缺点而发明出来的。QUICKSORT具有“快刀斩乱麻”的特点能迅速地对乱序作夶幅度调整，特别适合于因多次追加、删除而变得杂乱无章的数据集合QUICKSORT是利用“分治法”(divide and conquer)进行算法设计的一个成功范例，它的发明是霍爾在计算机方面的天才的第一次显露受到老板的赞赏和重视。第二年霍尔接受了一个新的任务，为公司的新机型Elliott 503设计一个新的高级语訁但就在其时，他弄到了一份Algol 60报告的复印件还参加了一个由狄克斯特拉(E．W．D耻stra，首届计算机先驱奖获得者)等人在布赖顿举办的Algol 60培训班感到与其自己没有把握地去设计一个新的语言，还不如将比较成熟的Algol 60在Elliott 503上加以实现霍尔和他的同事们的这个想法获得公司同意以后，甴霍尔主持设计与实现了Algol 60的一个子集的版本霍尔在开发初首先制定了明确的目标，即系统要安全可靠生成的目标

我要回帖

更多关于 每个人的亚里士多德 的文章

 

随机推荐