手机浏览器扫描二维码访问
第493章（第1页）
“这也是诞生自康门主集合论之中的巨大矛盾。它用一句话就可以概括——‘此言非真’真耶？假耶？这个自中古就有的真假之辨，引发了算学体系的灾劫。”
当介绍到这里的时候，王崎停顿了一下，道：“我的思考，便是自这里起始的。”
……
“……不完备最核心的概念有两个。我首先要介绍的第一个，唤作自我指涉……”
路小茜看着王崎的讲演，一向清雅的脸上，也露出错愕的表情：“这……我有一种初闻缥缈之道的感觉……”
这不完备定理和不可测定理，同样都很洗人三观啊！
“哼，万法门的……”破理真人摇摇头。他也想起自己师弟不准道人当年震惊天下的情形了。
破理真人并不如何喜爱算学，尤其不喜欢这种纯粹算理，所以没有显身去听。
“我们越是往微观的层面走，算学就越显得重要。”路小茜已经开始沉思：“这个发现对我们有什么意义呢？”
“没有任何意义，也不会有任何意义的。”破理真人强调道：“或许他们会升华出更多的算法作为你我的求道之器，但是。这个发现本身没有任何意义。”
……
万仙幻境深处，王崎的讲演，也进入了一个新的阶段。
“傀儡审官”这一个故事，乃是不完备和不可判定都会涉及到的重要概念——“自我指涉”。但是，不完备定理也不是纯粹由这一个概念支撑起来的。
“接下来，我要讲的，便是我从希门主、从歌庭派的工作当中学习道的最重要的概念！形式化。”
“在这里，这一个形式化便有一些特殊。”
第二百三十九章无人鼓掌
“接下来，我要讲的，便是我从希门主、从歌庭派的工作当中学习得的最重要的概念！形式化。”
王崎这话一出口，算君的眉头就多出一道沟壑。
而在他身后，更多的少黎派算家几乎出离的愤怒了。
算主希柏澈一生当中有无数的成就。但是，他在算学本质的看法之上却广为人诟病，绝大多数算家都难以接受。
在算主看来，算学的本质，就是“形式”。单独的符号不存在任何意义。那些符号排列的“形式”才是算学。
这就好比说“1＋1＝2”这个最初公式里，“1”、“＋”、“＝”、“2”这几个符号都是无意义的，而只有那个完整等式在具有数学意义。
而另一边，歌庭派的诸多算家也心情复杂。他们脸上露出了诡谲的表情，夹杂着迷惘、愤怒。
“形式”的理念包含了一致性、完备性、可判定性。可谓是算主希柏澈、一生的理想喻最大的追求。
而否定这份理想的，正是王崎本人。
王崎使用算主的思路，否决了算主的追求，也否定了歌庭派数十年的努力。
但是，这种种复杂的心绪并没有影响到王崎。
王崎明白，现在他代表的，不是他自己，而是“正确”。
自我指涉并不是一个数学的描述——它确实是属于逻辑，但是否属于数学还有待商榷，并非是所有的数学家都承认这一点。地球也好，神州也好，都有这样的迹象。
“这一陈述无法证明”，并非狭义上的数学陈述。
哥德尔证明方法的第二步，就是将这个非数学的陈述或者说准数学的陈述，转化为一个数学的陈述。
地球将之称为——“哥德尔数化”。
七零空间小娇女 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 天才高手 武裂苍穹秦天青儿全集免费阅读 神道丹帝叶尘苏傲雪全本免费阅读 穿书之末世娇宠 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 一觉醒来怀了崽 就想和你在一起 唐老太的种田生活 玄学大佬在现代 周一见 封先生的宠爱 贵门妾 人人都爱马文才 九子登云的作品武裂苍穹 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 穿成大佬假妹妹 武裂苍穹秦天青儿百度云
武术直播间
散打拳击柔道泰拳截拳道空手道不管你练的是什么，功夫，两个字一横，一竖对的，站着错的，躺下。武术皇帝直播一哥功夫巨星吴理。当吴理拥有了武学系统，发现直播就能变强直播间人数突破十万，获得十万粉丝值消耗粉丝值，八极拳提升为大师级消耗粉丝值，兑换被动技能肌肉先生吴理当全世界都在看我直播时，我就是全世界最强的男人！如果您喜欢武术直播间，别忘记分享给朋友...
综漫：我比四宫家还有钱
（不会和原着一样，毕竟漫画就是史）（只有门，不耽误看）（温柔的神！）（抖动的神）（添加点趣味性）等等，还有亿点点好不容易在家族斗争中胜利的白尘一家终于过上了摆烂的生活，父母出去环游世界了，而星则是留下来继续上学了？为什么还要完成学业啊！白尘为什么天才还需要上学呢？我也想去环游世界啊喂！白父不行哦白母...
花都绝品杀手
花都绝品杀手简介emspemsp他是杀手之王，所有暗黑势力闻风丧胆的嗜血修罗，如今却成为都市花丛中的微笑刺客。萝莉校花御姐教师冷艳警花甜美空姐冰山总裁美艳女星各色极品美女，因缘际会，桃运不断，且看一代绝品杀手，如何...
通房有喜
宅斗钓系丫鬟纨绔少爷扮猪吃虎强取豪夺婉宁出身贫寒，生来就是贱命。被养父卖后，她顺利被傅家选中，成了一味治疗大少爷的良药。伺候的男人魁梧，精壮，半点没有孱弱的病态。男人挑起她的下巴嘲讽原来大哥这良药，不过如此。二少爷嘴上嫌弃，却沉溺不可自拔。外人惊讶，傅家二少爷竟为了个低贱的通房跟傅家断绝关系，分府别过。只有婉宁知道，她不过是用来挡刀的棋子而已。为的，是护住他那位心尖上的白月光。一朝意外有喜，生死攸关之际，男人弃了她选择了别人。再次重逢，她涅槃重生身份高贵，睥睨他的眼中再没有一丝爱意。那个男人慌了，将她抵在墙角一遍遍质问阿宁，你哪怕看我一眼？如果您喜欢通房有喜，别忘记分享给朋友...
北宋：开局遇见李清照
（无系统热血争霸架空历史）方世玉来到了宣和二年，靖康耻的前七年。七年后，靖康二年，靖康之耻发生，北宋灭亡，皇帝被俘，皇后公主嫔妃沦为娼妓，这是华夏历史长河中永远的耻辱。皇帝可以死，但皇后公主嫔妃，不能沦落为外族玩物。北宋也可以亡，但是不能亡于外族之手。既然来了，那么此生所愿，就是阻止这件事的发生。为兄弟，报血仇...
都市神级医仙
都市神级医仙简介emspemsp男主何川孤儿被神医张天枢捡回，因张天枢命不久矣，男主何下山寻找与张天枢因误会而离去的爱人素问，和她手中上古天衍论医学秘籍下部，完成张天枢志愿，让两人各自拥有的半部秘籍团圆原┊创┇文┊章wоо⒙ν...