爱看小说网

首页 足迹
字:
关灯 护眼
首页> 你认为的经济学> 第6章

第6章(2/3)

哥德尔怎么知道自己的新命题是正确的呢?因为他证明了这一点。

    这一次他“作弊”的办法是加入了另一个新公理,它被称为“超超级公理”(SuperDuperAxiom):皮亚诺公理加上“超级公理”组成的升级版的公理列表仍然是正确的。

     这个“超超级公理”是正确的,因为包括“超级公理”在内的所有其他公理都是正确的。

    因此,哥德尔的新命题还是正确的,因为他可以利用“超超级公理”来证明它。

    但你不可以证明这一点,因为“超超级公理”不在你所承认的公理列表里。

     回顾一下,从皮亚诺公理开始。

    哥德尔提供了一个你无法证明的正确的命题。

    但他利用“超级公理”证明了。

    你说:“好,我把‘超级公理’加进自己的公理列表,现在我可以证明你的命题了。

    ”哥德尔说:“好。

    那么我再给你一个新的你无法证明的命题,即便你使用新的、扩展了的公理列表,也无法证明。

    ”然后他再使用“超超级公理”来证明这个新命题。

     你的下一步棋当然是把“超超级公理”添加到你的公理列表里。

    哥德尔的下一步棋当然是提出一个新的你用“超超级公理”也无法证明的命题。

    他知道这个命题是正确的,因为他已经使用新的“超超超级公理”证明了。

    然后我们就这么一直继续下去了(而且哥德尔确实已经证明了自己可以永远继续下去)。

     并不存在一个完备的公理列表来证明数学领域的所有正确命题,这便是“哥德尔不完备性定理”的大部分内容。

    这就告诉你,正确的事物和可以被证明的事物之间是有区别的。

     总之,在数学领域存在着正确的命题。

    “正确”并不意味着“可以被证明”,而仅仅意味着通常意义上的正确。

    但是这些命题必须跟自然数体系有关才能是真实的。

    此外,这些命题在人们发现它们之前的漫长岁月就已经是正确的了,而且无论人们是否发现它们,这些命题都是正确的。

    因此,自然数在人们发现它们之前也是存在的,而且无论人们是否发现它们,自然数都是真实存在的。

    这种看法对本书第一章的论点来说是极为重要的。

     如果你足够聪明,你或许会尝试将所有有关数学法则的正确命题都设置成公理。

    那样的话每个命题就都只需要一步即可证明。

    你如何证明两个偶数的和还是偶数呢?回答:这是一个公理。

    你如何证明最大的质数不存在呢?回答:这还是一个公理。

    但这种逃避的办法是不可取的。

    问题在于,按照这种制度,我们就没办法知道什么是公理而什么不是公理。

    偶数是两个质数之和,这是不是公理呢?回答:这是一个公理,当且仅当这是正确的时候我们才知道这是不是公理,但我们没办法知道这到底是不是正确的,因此我们没办法了解它是不是公理。

    游戏规则是这样设置的:你可以使用任何自己想提供的公理,只要判定了什么是公理、什么不是公理的明确规则确实存在。

    按照这个标准,所有正确的命题的列表便可等同于公理。

     漫长的胜利(1) 漫长的胜利:你知道谷歌名字的来源吗? 海格力斯用棒子敲击九头蛇的头,但这毫无益处,因为每当一个头被打掉时,断处就会有两个新头生长出来。

     阿波罗多罗斯 海格力斯需要花多长时间才能杀死九头蛇? 在前文中,我答应过给你描述一个数学领域中正确但无法被证明的命题。

    你或许认为这个任务会相当困难,甚至会像“海格力斯面临的问题”那样“困难无比”。

     或许你听说过这个古希腊神话,海格力斯在狂暴状态中误杀了他的妻子和孩子。

    为了“赎罪”,他同意去完成死敌欧里斯修斯分配的一系列任务。

     第一项任务是杀死可怕的“涅墨亚雄狮”,海格力斯赤手空拳完成了任务。

    第二项任务是处理掉那多头的怪物九头蛇。

    古希腊神话还告诉我们,每次海格力斯打掉九头蛇的一个头时,断处就会有两个新头长出来。

     事实上,古人们讲
热门推荐

书友正在读: 城市大脑穿越古代(基建) 推理笔记Ⅳ:夜神月归来 【独家】《昨夜星辰昨夜风》沈琰 温沁 倾世皇女之殿下乖乖让我走 穿越当县令 《被闺蜜男友上错以后(1V1 高H)》by三两豆(完结番外3)(补番) 气御千年 纯爱总局人渣改造中心(第二部)_怀凛白墨楼 《落魄少爷》作者:十三把剑 重写科技格局 64.《诡计多端的alpha》作者:林啸也 《穿七零去父留子,军婚也得离》苏璃 萧衍珩 荆棘王冠 长生送葬:敲木鱼能继承亡者遗物 请宿主努力生孩子[快穿] 男朋友是机器人 名侦探阿尼亚 白骨大圣 至尊箭神 《顶级掠食者》作者:水千丞 by《举案齐眉终是意难平》作者:岁既晏兮 镇守仙秦:地牢吞妖六十年 四合院之快意人生 星际第一制卡师 问仙剑道 福瑞:当我来到异世界 开局家族老祖,只要成婚就变强 玄幻:创造怪物暗杀军团 仙武:无限推演金钟罩,横推万古 开局签到混沌重瞳,鸿蒙万道体 风起皇都:我麾下皆是神魔武将 神与少年游 洪荒:我的系统不惧天道 逃亡路上和护卫恋爱了 日常被操的公主殿下(男全处,NPH,SM) 地海燃灯 高武:扭转诸天命运 开局,大帝师尊求我争夺序列弟子 唯我道 什么,梦中的娘子都是真的 阎罗王的女婿 电子长生:种田种出个绝世女帝! 仙子越难受,我修为越大涨 妖诡乱世,你杀猪刀法还成精了? 超级兵器 寻仙启示录 转世成女:开局攻略气运之子 灵气复苏:我被天道杀熟了 出生秒仙帝,除了无敌还是无敌 震惊,这个反派世子背景无敌