手机浏览器扫描二维码访问
第493章（第1页）
“这也是诞生自康门主集合论之中的巨大矛盾。它用一句话就可以概括——‘此言非真’真耶？假耶？这个自中古就有的真假之辨，引发了算学体系的灾劫。”
当介绍到这里的时候，王崎停顿了一下，道：“我的思考，便是自这里起始的。”
……
“……不完备最核心的概念有两个。我首先要介绍的第一个，唤作自我指涉……”
路小茜看着王崎的讲演，一向清雅的脸上，也露出错愕的表情：“这……我有一种初闻缥缈之道的感觉……”
这不完备定理和不可测定理，同样都很洗人三观啊！
“哼，万法门的……”破理真人摇摇头。他也想起自己师弟不准道人当年震惊天下的情形了。
破理真人并不如何喜爱算学，尤其不喜欢这种纯粹算理，所以没有显身去听。
“我们越是往微观的层面走，算学就越显得重要。”路小茜已经开始沉思：“这个发现对我们有什么意义呢？”
“没有任何意义，也不会有任何意义的。”破理真人强调道：“或许他们会升华出更多的算法作为你我的求道之器，但是。这个发现本身没有任何意义。”
……
万仙幻境深处，王崎的讲演，也进入了一个新的阶段。
“傀儡审官”这一个故事，乃是不完备和不可判定都会涉及到的重要概念——“自我指涉”。但是，不完备定理也不是纯粹由这一个概念支撑起来的。
“接下来，我要讲的，便是我从希门主、从歌庭派的工作当中学习道的最重要的概念！形式化。”
“在这里，这一个形式化便有一些特殊。”
第二百三十九章无人鼓掌
“接下来，我要讲的，便是我从希门主、从歌庭派的工作当中学习得的最重要的概念！形式化。”
王崎这话一出口，算君的眉头就多出一道沟壑。
而在他身后，更多的少黎派算家几乎出离的愤怒了。
算主希柏澈一生当中有无数的成就。但是，他在算学本质的看法之上却广为人诟病，绝大多数算家都难以接受。
在算主看来，算学的本质，就是“形式”。单独的符号不存在任何意义。那些符号排列的“形式”才是算学。
这就好比说“1＋1＝2”这个最初公式里，“1”、“＋”、“＝”、“2”这几个符号都是无意义的，而只有那个完整等式在具有数学意义。
而另一边，歌庭派的诸多算家也心情复杂。他们脸上露出了诡谲的表情，夹杂着迷惘、愤怒。
“形式”的理念包含了一致性、完备性、可判定性。可谓是算主希柏澈、一生的理想喻最大的追求。
而否定这份理想的，正是王崎本人。
王崎使用算主的思路，否决了算主的追求，也否定了歌庭派数十年的努力。
但是，这种种复杂的心绪并没有影响到王崎。
王崎明白，现在他代表的，不是他自己，而是“正确”。
自我指涉并不是一个数学的描述——它确实是属于逻辑，但是否属于数学还有待商榷，并非是所有的数学家都承认这一点。地球也好，神州也好，都有这样的迹象。
“这一陈述无法证明”，并非狭义上的数学陈述。
哥德尔证明方法的第二步，就是将这个非数学的陈述或者说准数学的陈述，转化为一个数学的陈述。
地球将之称为——“哥德尔数化”。
天黑请开眼 最强除妖师 我是狠人大帝的同乡 捡到病娇太子之后（重生） 天地炼成 断神 眼镜兄撞上恶魔王子 悍妻[医道] 系统之娇宠孕妻 烈火燃情：高冷总裁滚远点 穿越之弃子国师 娱乐超级奶爸 一爱到底之顾少毒妻 神偷长公主 扛着boss拼下限（末世） 废材重生：邪王独宠悍王妃 直播和男神同居的日子 赌妃在上，王爷在下 时光请善待我的她 大明孤狼
都市之嚣张跋扈
打你是看得起你！不打你是对不起你！要你命是帮你投胎不排队！爱你才会什么都给你！这是一个强者归来，嚣张跋扈的故事！...
重生成偏执霍少的小仙女
云城都传霍少偏执乖戾，冷心冷肺，女人靠近他，能将人一脚踢飞。重生回来前世将霍少当成死对头的温小仙女，我能抱你大腿吗？滚远点。吃瓜群众毫不意外，温小...
农家药女
一朝穿越，重生农家女，名叫招弟。上有大姐得弟，下有三妹来弟。呃！娘的肚里还有一个？都说这是重男轻女的见证，可爹娘的疼爱却丝毫不假。还好还好，只是名字的问题。家有叔婶姑姑一大堆，人多事乱不省心，只有分家奔小康。谁说农家女愁嫁，那谁谁谁，赶着上门来求亲。从此，人人踏烂田家门。虽说农家贫困不足饱，就看她，...
天妃策之嫡后难养
天子之上，一妃当道！天妃女主版文案前世，武昙身为定远侯府的嫡小姐，受家族庇荫，入宫封后，人人艳羡，可最后，她兄长沙场阵亡，祖母抑郁而终，自己亦沦为君王手中用来杀人越货的棋子，囚困冷宫，甘心赴死，却不知道有些所谓亲人温情脉脉的面纱背后究竟掩盖了怎样可怕的真相。今生，她还是那个明媚张扬的侯门千金，可是那一纸赐婚圣旨降下来的路上却莫名被人截了胡，从此，杀伐冷酷的晟王殿下就天天变着花样登门恐吓要娶她，旨在拐带她老爹一起去谋反！武昙瑟瑟发抖了数月之后，终于怒而掀桌要人没有，要命一条！要我嫁你？没门！然后晟王殿下就给她跪了男主版文案萧樾是死过一次的人了，重生一世，他心怀国仇家恨，浑身戾气，注意武昙，是因为前世的那一场荒唐，本来就是逗着小丫头玩儿的，没曾想这小丫头吃软不吃硬，几次哄顺手，就欲罢不能了于是晟王殿下痛定思痛不就蹬鼻子上脸么？自己眼瞎手欠抢回来的亲媳妇，跪着也要宠上天撒口嫌体直帅皇叔vs奶凶软萌娇小姐谈恋爱么？甜死人那种！注男主重生，女主原装！没有苦大仇深，一路强宠到底！...
捉鬼灵异见闻
一场设局差点使我被炼成小鬼！一个二十二岁就死去的鬼咒如蛆附骨！一本鬼经，让我救出陷入诡异迷局的众多小伙伴女朋友同学学姐一只女鬼甘愿做我的鬼仆，而我却将她当成一只奶牛！...
无限气运主宰
穿越异界，成为帝国唯一继承人，日后更可继承皇位，没毛病，这很主角！只可惜时不我待，晚生了十几年，未能力挽狂澜于国破家亡之前！只能无奈沦为囚犯，被困樊笼不得逃脱！好在有诸天万界作为后盾，更可用气运兑换诸多功法宝物！那还有什么好说的？苏景拿出了自己的气运值，一通买买买什么？气运值过低会导致被世界排斥变的很倒霉？更...