手机浏览器扫描二维码访问
掌门啊,你要是想这位一样痛快多好!
陈景云轻轻点头:“我自有计较。”然后又说道:“这是最重要的问题了,你且听好。”
王崎见他说得郑重,忍不住咽了口唾沫。
“所谓算学,完备乎?相容乎?可判定乎?”
啊?王崎明显愣了一下。
这个问题和前面两个差太多了!
数学是完备的吗?是不是每个命题都能证明或证伪?
数学是相容的吗?是否用附和逻辑的步骤和顺序,永远不会退出相矛盾的命题?
数学是可判定的吗?是否能用一种机械的方法判定每一个命题的真伪?
这三个问题每一个都直击数学的根本,每一个都是逻辑学领域最高深的问题!
这种问题出现在高考性质的问心关之中?这就像让高中生来解规范场方程一样,是不可能的事情啊!
等一等,由于两个世界的历史已经出现分歧,哥德尔的同位体并没有出现在神州大地,所以目前来看前两个问题都是无解的……第三个问题在地球是阿兰图灵解决的,但是……现在我还没有学到那边去,也不知道神州的机老图灵是不是解决判定问题——不对,在地球判定性问题的灵感同样来自哥德尔……
也就是说这个纯粹是信仰问题?
王崎心念电转,过了好一会才组织好语言:“第三问,我认为是否定的……若是算器便可解决所有算题,那还要我们算家作甚?”
可是,前两个问题怎么编呢?我心底里的答案当然是标达“对于一个形式逻辑系统,完备性和相容性不可并存”……但是这特么太具体了好吗!要是他再给我来个“请详解”我可办不到啊!
陈景云看着王崎为难的神色,点点头:“这三个问题都是最尖锐的算题,你也不必深究——那么,最后一个问题了。王崎,你和不准道人,是什么关系?”
诶?
诶诶?
王崎还在错愕,嘴上却已经开口:“当过一段时间的邻居……”
见鬼,难道这才是戏肉?
他们果然怀疑我和不准道人有关!
还好陈景云问的是“不准道人”而不是“海森宝”,要不然我脱口而出的恐怕就是“海森堡是我最钦佩的科学家”……你妹,这样就真的跳进黄河都洗不清了!
“除此之外呢?他教过你什么?你一晋入仙院就能够解出传功殿后殿的题目,是否与不准道人有关?”
“除了教过我下棋之外,再没有什么了。”王崎斟酌语言:“我能解出题目,与不准道人无关。”
幸好……要是这位问的是“为什么能解出题目”……当初真是太鲁莽了……
还好这位不懂话术……
听了王崎的回答之后,陈景云看了看可哈儿一眼。可哈儿冲他点点头。陈景云这才说道:“好的,我们已经能够确认你和不准道人无关了。”
王崎长舒一口气。尼玛……海老头害人啊……
可还未等他完全放纵下来,真阐子就在他脑海里尖叫:“小心!”
手机用户请浏览阅读,更优质的阅读体验。
南山每晚总有两个小时,灵魂会附到相识人的物品上。有一天晚上,她成了男友的手机。结果半个小时前对她道过晚安的人,正在和一个娇滴滴的女生聊天。在听清楚他们明天的约会时间地点后,她让手机强制关机了。南山呵呵,不想听你们谈情说爱。一年后,南山与某人确定了恋爱关系。某人兴致勃勃,诱哄道要不要先验货?南山不用。穿成他家花洒的时候,就把他有几块腹肌都数的清清楚楚这种事情她会说?...
本书简介亲,你看小说时,曾经为里面的某个阴险狠毒却可怜可悲的女人而遗憾吗?你看电视时,曾经为某个痴情无悔却最终独身的女人而心疼吗?如果有,那么请你不要走开,本文中,作者为这些痴情女子在二十一世纪精挑细选了多位精英男士,保证让这些痴情女子脱离曾经的苦恋,有个幸福美满的结局。本文不虐人(可能吧),不黑人(看我喜不喜欢),喜欢此类型的快到我的碗里来吧。不要客气的收藏一下吧O∩∩O。亲爱的们,刚刚编编下达通知,说周日入V入望大家能一如既往的支持我,谢谢!O∩∩O伯研的文。...
被师傅捡来的小和尚五岁了,该下山找爸爸了。小和尚软软抱着一只小狼崽,迈着小短腿儿冲过去就抱着自己爸爸的大长腿奶声奶气的喊道爸爸!一声爸爸,喊得五位大佬...
何平凡冷婳祎全文免费阅读小说叫都市最佳女婿,都市最佳女婿作者是西楼月,何平凡冷婳祎是都市最佳女婿男女主角,都市最佳女婿主要讲述了最低等的贫困生竟然跟第一女神扯上了关系,一个地方首富家的千金,一个家族没落的颓废少年,两个完全不同世界的人究竟发生了什么?名动一时的玄术家族没落后,十八岁的颓废少年为自己的人生开启了一片全新的世界。...
鬼道一术,与阴阳相通,百家术法皆为所用。林子衿天生短命命格,自小易惹鬼缠身,辛得高人所救,成为鬼道传人。学成归来,收厉鬼,灭邪祟。与美人相伴,纵横校园都市,横跨阴阳两界,只为逆天改命!...
超甜超宠打怪升级。软糯哭包暴力小鲛人×腹黑占有欲强狼王俞瓷是鲛人一族里边儿,公认的最不值钱白色珠光鲛人。蓝星上级为了各族平衡,决定让鲛人族交出来一位小鲛人去陆地生活。蒋少戈一眼看上这条还没驯服自己四肢,连路都走不好的俞瓷。二话不说,捞回家!自此,开始了养鱼之路。俞瓷像是被大灰狼给装在蜜罐子里宠着,哄着。舍不...