登陆注册
5057800000004

第4章 卡特·哥德尔

他旋动数学的透镜注视着数学本身,偶然间他发现了著名的“不完全定理”——它像—支锥子穿透了形式主义的心脏。

1906年卡特·哥德尔生于布伦城,那时布伦是奥匈帝国的领土,现在它属于捷克共和国的一部分。他的父亲是一家纺织厂的经理,喜爱逻辑学和进行推理,他的母亲则一直提倡对自己的独生子要尽早教育。10岁之前,哥德尔一直在学习数学、宗教和好几种语言。到25岁时,他已经提出了被许多人认为是20世纪最重要的数学成果的“不完全定理”。1931年,哥德尔提出了他的发现,引起了人们的震惊和迷茫。它表明,世界上最著名的数学家的将近一个世纪的努力是注定要失败的。

为了对哥德尔的理论表示赞赏,去理解那个时代数学怎样被感知,是一件残忍的事情。

多少个世纪以来,人类处于典型的泥水不分的混沌状态,那时人的模糊直觉和明白无误的逻辑思考是搅和在一起的,直到19世纪末期,数学才终于有了发展。所谓的形式体系被设计了出来,就像从树干上长出了枝丫,定理从推论公理中生了出来。形式体系表明,得出定理的过程必须从某个地方开始,并且这个地方一定是存在公理的地方,它们是原始的种子,是其他数学结论的源泉。

机械数学观的优点是它剔除了所有思考和判断的需要。只要公理是正确的叙述,并且只要推理的法则是正确的,数学就不会出轨,谎言就不会轻而易举地得逞。

为了发挥标准数字、加号、括号及其他符号的优势,人们经常把文字叙述写成用一系列符号表示的形式体系。但是,那时这些符号并不是数学的一个必要特征。虽然文字叙述同样被用来表示李子、香蕉、苹果和橘子,然而那时候,数学叙述(由任意符号构成)越来越明显地成为数学的一种单纯的精确的结构模式。

很快,少数几个有远见的人物开始懂得了数学叙述的特点,哥德尔即是他们中的佼佼者,这种看待事物的方式打开了数学的一个新的分支学科——抽象数学。常用的数学分析方法是与抽象数学的模仿一萌芽阶段相联系的,这一阶段形成了形式体系的本质——数学本身被假设为抽象数学的原始样本。这样数学就像一条自食的蛇一样又扭过头来盘住了自己。

哥德尔表明,怪异的结论恰恰来自用数学透镜观看数学本身时的聚焦过程。理解这一结论的方法之一就是想象在一颗遥远的行星上(比如说火星),所有用于写传奇作品的符号碰巧是我们平时用的0~9的阿拉伯数字。这样,火星人将会在他们教科书中讨论一个著名的发现,他们会发现地球上的我们与欧几里德有关,而同时我们会说:“他们的作品中有许多素数,”他们写的东西则像这样:“8445329844508787866873070005766619463864545067111。”对我们来说它像一个46位的数字。而对火星人来说,它根本不是数字,而是一句陈述语。的确,对他们来说,他们写的这些素数代表着34个字母,6个单词和几行话,就像我和你应用英文字母一样。

现在让我们来想象着讨论一下所有的数学定理之间存在的普遍属性。如果我们查找火星人的教科书,我们看到的所有定理都只是纯粹的数字而己。因此我们可能创造出一条复杂的定理,以分辨哪些数字可以出现在火星人的教科书中,而那些数字从不在那儿出现。当然,我们不愿意谈论数字,而更愿意谈论那些形似数字的符号链。并且,或许对我们来说,让我们忘记这些符号链对火星人的意义,而仅仅把它们看成是古老的数字,这并不是一件容易的事。

通过这一简单的换位透视法,哥德尔找到了更深奥的力法。哥德尔的方法是去想象着研究什么能够被称为“火星人创造的数字”(那些数字实际上是火星人教科书中的定理),并且他试着提出诸如此类的问题:“8030974是否是火星人的创造?”这个问题的意思是,像“8030974”这样的叙述会不会在一本火星人教科书中出现?哥德尔仔细思索着这一超现实的数字构成,很快他发现这种“火星人创造”的专用数字并不是完全区别于我们熟知的“素数”或“奇数”等概念。这样一来,地球范围内的数字定理便能够处理诸如“哪些数字是火星人创造,哪些数字不是火星人创造”或者“是否有无限的非火星人创造数字”等问题了。很可能高等数学教科书(在地球上的)已经包括了关于火星人创造的数字的全部出处。

就这样,在数学史上最敏锐的洞见之一里,哥德尔设计出了一句惊人的陈述:“X不是一个火星人创造的数字。”这句话中的x就是:当“X不是一个火星人创造的数字”陈述被译成火星人的数学概念时所表示出的数字。仔细想一下这句话,直到你明白它为止。被翻译成火星人概念的“X不是一个火星人创造的数字”这句陈述,对我们来说将是一串巨大的数字链——一个很大的数字,但是,这串火星人的书写正是我们要找的X(这句叙述本身所谈及的X)。说起来太曲折,的确这真够曲折的!但是曲折正是哥德尔的特长——曲折就在空间结构中,曲折就在原因中,万事万物都是曲折的。

通过把定理想成符号模式,哥德尔发现,用“形式体系”表示的陈述不仅能够阐明它自身,而且能够拒绝它自己的理论来源。数学中存在的这一纠缠不清的潜在结果,对火星人来说是一种巨大的非同寻常的悲哀,为什么悲哀呢?因为火星的人们——像鲁塞尔和怀特洛德——早已全身心地希望,他们的形式体系会抓住数学的所有真实陈述。如果哥德尔的陈述是正确的,那么它在他们的教科书中将不会被当成一条定理,并且它将再也不会出现在他们的教科书中——因为哥德尔的陈述已经表明它本身是不可能的!如果它的确在他们的教科书中出现了,那么它对它本身将是错误的又有何解释呢,并且有谁,即使是火星人,会想要一本提倡错误和提倡正确一样多的数学教科书呢?所有这一切的结果是,一直被保持的形式主义的目标只不过是一种幻想。所有形式体系表明是不完全的,因为它们本身就能够表明他们自己是无法得以证明的。并且,据说1931年哥德尔提出的“数学的不完全性”也说明了上述观点。事实上,不是数学本身是不完全的,而是任何试图用一套有限的公理和规则去抓住数学的所有事实的形式体系都是不完全的。对于你来说,这一结论可能并不会给你带来震撼,但对于20世纪30年代的数学家们来说,它结束了他们的整个世界观,并且数学自此将面目全非了。

哥德尔1931年写的文章也产生了其他的影响:它发明了循环函数理论,它成为今天计算机理论的重要基础理论之一。确实,在哥德尔的文章的核心部分,写下了为创造出“火星人创造”的数字而制定的复杂的近似计算机程序的内容,并且这一“程序”是用极似Lisp的程序语言的形式写下的,而这一语言在将近30年后才得以开发。

哥德尔这个人和他的理论一样古怪。1939年,他和他作为职业舞蹈者的妻子艾蒂丽逃离**德国并且前往普林斯顿。在那里,他与爱因斯坦共同在高级研究所任职。在晚年,哥德尔成了病菌传染方面的妄想狂患者,他强制性地一次又一次地洗净自己的餐具,带着露有双眼的滑雪面具到处乱跑,一时间他成了臭名昭著的人物。72岁时,他因为拒绝进食而死于一家普林斯顿的医院里。正如形式体系的威力注定要不完全一样,生活也是不完全的,也正如形式体系的复杂性注定要灭亡一样,每一个人都有自己独特的生活方式。

同类推荐
  • 踢拖踢拖小红鞋

    踢拖踢拖小红鞋

    《踢拖踢拖小红鞋》包含了金波、张之路、秦文君、曹文轩、孙幼军、刘先平六位获得国际安徒生奖提名奖的中国作家的优秀作品,是目前国内首套集合了历届国际安徒生奖提名者作品的精品荟萃。
  • 100个奇妙的手影游戏

    100个奇妙的手影游戏

    《100个奇妙的手影游戏》讲述的是手影做的100个动物,有配图。
  • 猫武士:红月狂潮2

    猫武士:红月狂潮2

    浓雾笼罩的神木林,若隐若现的幻影,被迫逃进神木林的五只小猫们,将经历一场神奇又惊险的幽魂考验:聚沙成兵、月光悬梯、幽冥森林、心海迷梦……在通过种种考验后,最终见到神秘的大boss——拥有无敌战爪的铁爪。铁爪究竟是敌是友?五只小猫们最终能否走出神木林?
  • 奇趣大自然

    奇趣大自然

    “千年回望神秘探索系列”丛书,讲解的主要内容为神秘现象,包括《UFO之谜》《史前文明之谜》《地球神秘记载》《外星人之谜》《人类神秘现象破译》《宇宙的秘密》等书。本丛书在某些问题上,在资料客观翔实的基础上,也进行了大胆假设和小心求证,也许其中的观点并不能为读者接受,但是能引起广大读者的兴趣就已经达到目的了。
  • 让女孩成为小淑女的好故事100篇

    让女孩成为小淑女的好故事100篇

    本书包括:圣母的小酒杯、一千零一夜故事的由来、野黄蜂救人、蜡烛照亮冷漠的心、踩面包的女孩、精卫填海、嫦娥奔月、八仙过海、一个小小的金币面包、渔夫和小金鱼、星星金币、画眉、鹦鹉和乌鸦、三只蚂蚁、白葱头和红葱头、白天鹅和黑天鹅等。
热门推荐
  • 时空穿梭之龙帝

    时空穿梭之龙帝

    兵王垂死,获逆天机缘,混沌之体融合祖龙血脉,成就无上圣龙体,穿梭万界,曾驾驶机甲打爆怪兽,化龙斩妖除魔,更有吞噬异火,锤炼不灭战体。。。。
  • 百万英镑

    百万英镑

    一个穷困潦倒的办事员美国小伙子亨利·亚当斯在伦敦的一次奇遇。伦敦的两位富翁兄弟打赌,把一张无法兑现的百万大钞借给亨利,看他在一个月内如何收场。一个月的期限到了,亨利不仅没有饿死或被捕,反倒成了富翁,并且赢得了一位漂亮小姐的芳心。文章以其略带夸张的艺术手法再现大师小说中讽刺与幽默,揭露了20世纪初英国社会的拜金主义思想,是马克·吐温作品精选中不可忽略的重要作品,是一部非常经典的短篇小说。
  • 午夜餐厅

    午夜餐厅

    刚刚被炒鱿鱼,就遇到了试用期八千,转正月收入两万的工作,还只是到一个家餐厅端盘子。可这餐厅有点怪,夜里十二点之后才开门,凌晨三点半之前必须关门。这里还有一群爱讲故事的客人,后来我才知道,这些人都……
  • 村庄传

    村庄传

    天地21世纪初的中国有一位诗人叫陈二,他身份证上名字是陈多宝。那个时候大多数中国诗人都有一个笔名,有些还有好几个笔名。诗人陈二,也就是陈多宝,1971年出生于浙东台州一个叫山根陈村的小山村。据《海东陈氏族谱》记载,陈氏祖先从南宋淳熙年间开始在此生息繁衍,经过了七八百年,陈多宝出生时依然只有六七十户人家。中国人选择聚居的地方都要看风水,好风水最简单的模式是:村后有靠山,村前有流水。
  • 叛逆青春

    叛逆青春

    在遭受到中大人生挫折之后,他开始了漫漫的反思、求索及自我救赎之路,经过了穿行西部的顾及与迷茫,最终在西昆仑山的慕士塔格峰下豁然顿悟,为自己、亦为通道中人找寻到打开幸福之门的精神密码。真是的人物原型,通俗的写作手笔,由浅入深,由轻松入沉重,揭示了黄、赌、毒对于社会的危害性,凸显出年轻一代在社会转型期所面临的思想困惑及精神迷惘。
  • 惑心弃妃

    惑心弃妃

    “什么?叫我白天出门沿街乞讨?”“恩。”大厅内,邪魅多情的六王爷看着面前一脸狗腿相的女人。女人顿时抓狂,靠,我堂堂的王妃,要我拿个破罐去乞讨?我靠!居然还让我把乞讨来的钱,送给你的小妾当零花钱?不行,老娘离家出走,笑傲江湖去也!
  • 纵横捭合的外交家(3)(世界名人成长历程)

    纵横捭合的外交家(3)(世界名人成长历程)

    《世界名人成长历程——纵横捭合的外交家(3)》本书分为乔治·克利孟梭、穆罕默德·萨达特、诺罗敦·西哈努克等部分。
  • 嗜血娃娃

    嗜血娃娃

    全天下每个女孩子童年都无法抗拒的小娃娃,没想到竟然成了嗜血恶魔,他们以他那无辜的眼神和纯良的面庞做伪装,扼杀了多少无辜的人……
  • 一世情深不负你

    一世情深不负你

    新书《许你余生地老天荒》已发“城哥哥,我要这个。”年少时的呀呀儿语回荡在任溪柠的耳畔,回望镜子中的自己,早已经没有年少时青涩稚嫩,眉眼间全是深沉和算计。这样的自己不是她想要的,面对霍弈城的深情她也没有办法回应,妹妹死去时候的样子,父母的责骂,霍弈城撇清关系的样子……机场内,一个身穿黑色风衣,带着蓝牙耳机的女子出现在大众的视野,在旁边的角落一个同样身着黑色风衣的男子,邪魅的笑道:“你还是回来了。”谈判桌上,他和她是合作的对象,双方互相博弈,探刺心意;办公室内,他对她像是失而复得的至宝般呵护,而她却像是一座铜墙铁壁的城堡,让他无从下手。“我知道你爱我。”“那也只是你一厢情愿!”【1V1】最虐的一次,喜欢虐文的宝宝来。
  • 重生之宁做农门妻

    重生之宁做农门妻

    夫君停妻另娶之夜新娘惨死,被污凶手林芸浴火自焚以明心志,一朝重生她发誓再也不做状元妻。种种田酿酿酒斗极品揍渣男,带着爹娘发家致富奔小康,可谁能告诉她这冷面刀疤男为何来求亲?她可不可以拒绝?某男冷笑:“拒绝?晚了!娘子,我们来生孩子吧!”--情节虚构,请勿模仿