手机浏览器扫描二维码访问
王崎坐在地下,心中对这位阳神阁逍遥的好感蹭蹭蹭往上涨。
掌门啊,你要是想这位一样痛快多好!
陈景云轻轻点头:“我自有计较。”然后又说道:“这是最重要的问题了,你且听好。”
王崎见他说得郑重,忍不住咽了口唾沫。
“所谓算学,完备乎?相容乎?可判定乎?”
啊?王崎明显愣了一下。
这个问题和前面两个差太多了吧!
数学是完备的吗?是不是每个命题都能证明或证伪?
数学是相容的吗?是否用附和逻辑的步骤和顺序,永远不会退出相矛盾的命题?
数学是可判定的吗?是否能用一种机械的方法判定每一个命题的真伪?
这三个问题每一个都直击数学的根本,每一个都是逻辑学领域最高深的问题!
这种问题出现在高考性质的问心关之中?这就像让高中生来解规范场方程一样,是不可能的事情啊!
等一等,由于两个世界的历史已经出现分歧,哥德尔的同位体并没有出现在神州大地,所以目前来看前两个问题都是无解的……第三个问题在地球是阿兰·图灵解决的,但是……现在我还没有学到那边去,也不知道神州的机老图灵是不是解决判定问题——不对,在地球判定性问题的灵感同样来自哥德尔……
也就是说这个纯粹是信仰问题?
王崎心念电转,过了好一会才组织好语言:“第三问,我认为是否定的……若是算器便可解决所有算题,那还要我们算家作甚?”
可是,前两个问题怎么编呢?我心底里的答案当然是标达“对于一个形式逻辑系统,完备性和相容性不可并存”……但是这特么太具体了好吗!要是他再给我来个“请详解”我可办不到啊!
陈景云看着王崎为难的神色,点点头:“这三个问题都是最尖锐的算题,你也不必深究——那么,最后一个问题了。王崎,你和不准道人,是什么关系?这三个问题不在仙院教授范围之内,可是他告诉你的?”
诶?
诶诶?
王崎还在错愕,嘴上却已经开口:“当过一段时间的邻居……”
见鬼,难道这才是戏肉?
他们果然怀疑我和不准道人有关!
还好陈景云问的是“不准道人”而不是“海森宝”,要不然我脱口而出的恐怕就是“海森堡是我最钦佩的科学家”……你妹,这样就真的跳进黄河都洗不清了!
“除此之外呢?他教过你什么?你一晋入仙院就能够解出传功殿后殿的题目,是否与不准道人有关?”
“除了教过我下棋之外,再没有什么了。”王崎斟酌语言:“我能解出题目,与不准道人无关。”
幸好……要是这位问的是“为什么能解出题目”……当初真是太鲁莽了……
还好这位不懂话术……
听了王崎的回答之后,陈景云看了看可哈儿一眼。可哈儿冲他点点头。陈景云这才说道:“好的,我们已经能够确认你和不准道人无关了。”
王崎长舒一口气。尼玛……海老头害人啊……
可还未等他完全放纵下来,真阐子就在他脑海里尖叫:“小心!”
第一百七十五章谪仙
小心?
人人都爱马文才 穿成大佬假妹妹 就想和你在一起 玄学大佬在现代 穿书之末世娇宠 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 武裂苍穹秦天青儿百度云 神道丹帝叶尘苏傲雪全本免费阅读 九子登云的作品武裂苍穹 武裂苍穹秦天青儿全集免费阅读 封先生的宠爱 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 贵门妾 天才高手 唐老太的种田生活 一觉醒来怀了崽 七零空间小娇女 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 周一见
亲爱的道长哟,你也不想我让你的信众,知道你和隔壁胖婶之间那点往事旧情吧?二十一世纪,老骡马贵族孟津被他命中注定的泥头车创死了,他穿越到了一个名为的异世界当中的同名同姓的驿卒的身上,还获得了一颗可以窥探别人梦境的戒指,然后开始了自己在异世界的社畜生活。咋了??真以为穿越异世界后就不用工作了?不可能!为了继续苟活,...
方雷子婴重生,她决定彻底改变曾经所经历的一切,不再谦和有礼,不再以德服人,更不再做一个眼瞎到把渣男当王子,为他牺牲宝贵生命的女战神,她要开个小诊所,当个小医生,没事治治病,闲来撩撩人。※我亲爱滴老婆,门口来了个自称九劫散仙的五道真人,说想请你帮他渡劫飞升某总裁堵在大门口,一脸阴沉,死死拦着那个桃花眼直朝屋里瞅的五道真人,咬牙切齿。哦,叫他按照一万吨黄金兑换成RMB,五分钟之内打到我卡上。否则,这一单不接。五道真人汗好贵!如果您喜欢偏执总裁的天劫医后,别忘记分享给朋友...
他是全球知名企业陆氏总裁,不近女色,她因身中情蛊而他被迫成为解药,哪曾想,一碰成瘾,从此,万劫不复第一次见面,他压她在地毯,各种非礼胡摸乱碰第二次见面,她被他撞倒在地身边,即将吃干抹尽时,却...
超甜鳏夫有三娃简介emspemsp关于超甜鳏夫有三娃种田马甲打脸甜宠重生后,唐九穿成了没爹没娘的小可怜,房屋土地都被大伯霸占,自个儿还被磋磨成了古代版的灰姑娘。甚至差点被嫁给命硬克妻还带着两个拖油瓶的男人。啧!看她手...
图书管理员朱秀穿越到五代十国末期。彼时,刘知远刚刚建立后汉,郭威刚当上新朝廷的枢密使,柴荣弃商从戎逐渐崭露头角,官N代赵匡胤正游历四方,苦苦探寻人生的意义和方向武力值为负数的朱秀,当不了乱世草头王,只能低调求活。好在他知道这个时代的所有大腿,郭威柴荣赵大他决定跟随时代大流,一根根挨个儿抱紧,最大的梦想是混一个开国功臣。可最后,朱秀渐渐发现,最粗大腿竟是他自己!他才是那个注定结束乱世,开创国基的太祖皇帝!如果您喜欢五代第一太祖爷,别忘记分享给朋友...
一张神奇的信用卡信用卡球星系统。它不能刷钱,却可以预支能力属性比赛经验足球技能黑科技装备特效卡片只不过,天下没有免费的午餐,以后还是需要用训练比赛进球与助攻个人或团队的奖项等来还债的。信用卡球星系统名言先当球星,后还本息有借有还,再借不难。如果您喜欢信用卡球星系统,别忘记分享给朋友...