手机浏览器扫描二维码访问
第493章（第1页）
“这也是诞生自康门主集合论之中的巨大矛盾。它用一句话就可以概括——‘此言非真’真耶？假耶？这个自中古就有的真假之辨，引发了算学体系的灾劫。”
当介绍到这里的时候，王崎停顿了一下，道：“我的思考，便是自这里起始的。”
……
“……不完备最核心的概念有两个。我首先要介绍的第一个，唤作自我指涉……”
路小茜看着王崎的讲演，一向清雅的脸上，也露出错愕的表情：“这……我有一种初闻缥缈之道的感觉……”
这不完备定理和不可测定理，同样都很洗人三观啊！
“哼，万法门的……”破理真人摇摇头。他也想起自己师弟不准道人当年震惊天下的情形了。
破理真人并不如何喜爱算学，尤其不喜欢这种纯粹算理，所以没有显身去听。
“我们越是往微观的层面走，算学就越显得重要。”路小茜已经开始沉思：“这个发现对我们有什么意义呢？”
“没有任何意义，也不会有任何意义的。”破理真人强调道：“或许他们会升华出更多的算法作为你我的求道之器，但是。这个发现本身没有任何意义。”
……
万仙幻境深处，王崎的讲演，也进入了一个新的阶段。
“傀儡审官”这一个故事，乃是不完备和不可判定都会涉及到的重要概念——“自我指涉”。但是，不完备定理也不是纯粹由这一个概念支撑起来的。
“接下来，我要讲的，便是我从希门主、从歌庭派的工作当中学习道的最重要的概念！形式化。”
“在这里，这一个形式化便有一些特殊。”
第二百三十九章无人鼓掌
“接下来，我要讲的，便是我从希门主、从歌庭派的工作当中学习得的最重要的概念！形式化。”
王崎这话一出口，算君的眉头就多出一道沟壑。
而在他身后，更多的少黎派算家几乎出离的愤怒了。
算主希柏澈一生当中有无数的成就。但是，他在算学本质的看法之上却广为人诟病，绝大多数算家都难以接受。
在算主看来，算学的本质，就是“形式”。单独的符号不存在任何意义。那些符号排列的“形式”才是算学。
这就好比说“1＋1＝2”这个最初公式里，“1”、“＋”、“＝”、“2”这几个符号都是无意义的，而只有那个完整等式在具有数学意义。
而另一边，歌庭派的诸多算家也心情复杂。他们脸上露出了诡谲的表情，夹杂着迷惘、愤怒。
“形式”的理念包含了一致性、完备性、可判定性。可谓是算主希柏澈、一生的理想喻最大的追求。
而否定这份理想的，正是王崎本人。
王崎使用算主的思路，否决了算主的追求，也否定了歌庭派数十年的努力。
但是，这种种复杂的心绪并没有影响到王崎。
王崎明白，现在他代表的，不是他自己，而是“正确”。
自我指涉并不是一个数学的描述——它确实是属于逻辑，但是否属于数学还有待商榷，并非是所有的数学家都承认这一点。地球也好，神州也好，都有这样的迹象。
“这一陈述无法证明”，并非狭义上的数学陈述。
哥德尔证明方法的第二步，就是将这个非数学的陈述或者说准数学的陈述，转化为一个数学的陈述。
地球将之称为——“哥德尔数化”。
橘子汽水 修仙从神秘小鼎开始 万春街 九天纹线 凶奶奶是年代文真千金 神敌 嫁给疯批太子冲喜后 地狱诱宠：闪婚老公是冥王 重回八零：我靠练摊暴富了 离婚后诈死，傅总拿着孕检单疯了 让你透视鉴宝，你特么一直乱看 重生之做个好军嫂 修仙：我真没想当舔狗！ 神魂颠倒 斩气界 往生之摘星之旅 七零年代炮灰吃瓜日常 乱臣 穿越荒年，我靠做二道贩子发家致富 趁雪下
仙道猎人
林风穿越到了一个诡异的世界，成了凌虚观的一名小道士。但这世界原本的规则早已破碎，破碎的仙道流落到各种生物手中，滋生出无数邪仙异教。林风在机缘巧合下，被疯子师父血肉附体，还换上了一颗恶鬼的心脏，变成一个半人半鬼的怪物。红月，血雨，尸林倒挂，白蜡油翻滚中人祭，万人朝拜的黄金树，连绵不断的尸垛，不死癫狂的难民，佛世净土中...
林家有女整治家风
关于林家有女整治家风种田宅斗大女主无金手指无cp脾气暴躁一言不合就咬人村中有四霸恶狗公羊大鹅和林三丫林瑶睁开眼就目睹了家徒四壁，那叫一个寒酸。再睁眼又目睹了泼妇骂街，得不想动嘴打一顿就好了。从此林家三丫性情大变一言不合就开撕。重男轻女的偏心祖母，心思深沉祖父，独木难支的后娘，软弱无能的亲爹。上有两个任人欺辱的姐姐，下有两个后娘生的弟妹，更有恶毒叔伯一窝好吃懒做筛子精，真真是极品凑了一堆。从此...
足坛之开局点满任意球
关于足坛之开局点满任意球什么？竟然把任意球点满了，我明明点的是传球呀！！！沦为皇马队饮水机管理员的江浩，在一场国家德比最后时刻登场，以两粒直接任意球破门方式开始传奇人生。弗洛伦蒂诺我这辈子最大的错误，便是把江浩卖给巴伦西亚。齐达内我很幸运，江浩没有出生在我们那个年代。C罗江浩是历史最佳，我不如他。贝尔难以想象，我竟然会在速度上被人碾压。拉莫斯这家伙不是惧怕对抗吗，怎么铲不动？梅西...
万里追狼
关于万里追狼白龙，它不是龙，也不是马，它是一条白色的狗，是60年代华北地区某村的一条狗王。在那个狼灾泛滥的时代，白龙在主人福哥的照料下，历经坎坷，从一条小狗崽成长为一条勇猛的狗王，并和村里的狗一起担负起守卫村庄的责任。由此与村庄周围的狼群结仇，几番恶战，斗智斗勇。。。...
人在木叶：生性纯良的我被系统逼上了邪路
关于人在木叶生性纯良的我被系统逼上了邪路穿越火影世界，开局觉醒系统！呦，生性纯良的宿主呦！作为一个正常的男人，你怎么能眼睁睁的看着宇智波富岳那个混蛋老牛吃嫩草！一向宇智波美琴表白，俘获佳人芳心奖励S级忍术一门（随机）二生性纯良的宿主呦！只有愚蠢的人才会做选择，强夺一血奖励写轮眼三门忍术熟练度提升一级（随即）望着远处自己下属那纯真的神情，藤原哲也看着水中自己的倒影陷入了沉思。这一血，自己究竟是要，还是不要？...
异能学校之遇上恋爱脑大佬
关于异能学校之遇上恋爱脑大佬选修课总是遇到女主被迫恋爱脑的魔修大佬vs表面小白实则腹黑爱玩的欧皇新生！简介一高考后准备报考的褚星禾，某天突然接到电话请问是褚星禾同学吗？这里是关山岭职业技术专修学院考生你好，这里是玄天宗职业技法大学招生办褚同学你好，这里是魔神机械设计学院招生办这不妥妥的诈骗电话吗？什么妖魔鬼怪的野鸡学校都打电话过来招生。听听这名字，褚星禾能信吗？当然不能！！！然而她还是被迫入学了。没人告诉她还有入学考试，怎么还有人上学带刀枪剑炮水晶球啊？这都算了！为什么入学考试是闯鬼屋？躲丧尸？跳大神越来越离谱了，得亏褚星禾从小见惯妖魔鬼怪，不然真得被创飞。简介二通识实践课就跟着魔修大佬一起选！结课巨快！为什么？他每个副本都得杀妻证道，主打就是一个大道无情！你进去老公还没喊出来，人就噶掉了！嘎嘎快。还有这种好事？褚星禾第一个冲了！然而她遇到的怎么不太一样？谁能来告诉她，为什么这个魔修大佬只会哭唧唧找老婆，甩都甩不开？...