手机浏览器扫描二维码访问
陈景云轻轻点头:“我自有计较。”然后又说道:“这是最重要的问题了,你且听好。”
王崎见他说得郑重,忍不住咽了口唾沫。
“所谓算学,完备乎?相容乎?可判定乎?”
啊?王崎明显愣了一下。
这个问题和前面两个差太多了吧!
数学是完备的吗?是不是每个命题都能证明或证伪?
数学是相容的吗?是否用附和逻辑的步骤和顺序,永远不会退出相矛盾的命题?
数学是可判定的吗?是否能用一种机械的方法判定每一个命题的真伪?
这三个问题每一个都直击数学的根本,每一个都是逻辑学领域最高深的问题!
这种问题出现在高考性质的问心关之中?这就像让高中生来解规范场方程一样,是不可能的事情啊!
等一等,由于两个世界的历史已经出现分歧,哥德尔的同位体并没有出现在神州大地,所以目前来看前两个问题都是无解的……第三个问题在地球是阿兰·图灵解决的,但是……现在我还没有学到那边去,也不知道神州的机老图灵是不是解决判定问题——不对,在地球判定性问题的灵感同样来自哥德尔……
也就是说这个纯粹是信仰问题?
王崎心念电转,过了好一会才组织好语言:“第三问,我认为是否定的……若是算器便可解决所有算题,那还要我们算家甚?”
可是,前两个问题怎么编呢?我心底里的答案当然是标达“对于一个形式逻辑系统,完备性和相容性不可并存”……但是这特么太具体了好吗!要是他再给我来个“请详解”我可办不到啊!
陈景云看着王崎为难的神色,点点头:“这三个问题都是最尖锐的算题,你也不必深究——那么,最后一个问题了。王崎,你和不准道人,是什么关系?这三个问题不在仙院教授范围之内,可是他告诉你的?”
诶?
诶诶?
王崎还在错愕,嘴上却已经开口:“当过一段时间的邻居……”
见鬼,难道这才是戏肉?
他们果然怀疑我和不准道人有关!
还好陈景云问的是“不准道人”而不是“海森宝”,要不然我脱口而出的恐怕就是“海森堡是我最钦佩的科学家”……你妹,这样就真的跳进黄河都洗不清了!
“除此之外呢?他教过你什么?你一晋入仙院就能够解出传功殿后殿的题目,是否与不准道人有关?”
“除了教过我下棋之外,再没有什么了。”王崎斟酌语言:“我能解出题目,与不准道人无关。”
幸好……要是这位问的是“为什么能解出题目”……当初真是太鲁莽了……
还好这位不懂话术……
听了王崎的回答之后,陈景云看了看可哈儿一眼。可哈儿冲他点点头。陈景云这才说道:“好的,我们已经能够确认你和不准道人无关了。”
王崎长舒一口气。尼玛……海老头害人啊……
可还未等他完全放纵下来,真阐子就在他脑海里尖叫:“小心!”
(大雁文学WwW.XiaoYanWenXue.CoM)
舞吧,傀儡 美女总裁老婆 黑暗剑圣 网游之零纪元 兽王三国 死亡神座 权柄大明 苍天霸业 纸醉江山 霸隋 重生之天生我才 与女精灵的地球生活 玄玑图 美女教师的鬼医高手 我叫布里茨 鼎天武帝 神捕乱宋 超级特警综合系统 醉卧九天 道梦之轮回
第一次下山,赵长东便捡了一个美女老婆,唯一的缺点就是有点冷。...
人的一生要靠自我奋斗,当然也要考虑历史的进程!克格勃对外情报总局,332362665克格勃国内防谍总局,533461647...
当人们看见站在顶点的人,只能看到他一身的光辉,羡慕他的伟大,却看不见他身下阴霾悲哀和血骨累累的枯骨。穿越电影系统,探寻不一样的世界。...
中森明菜,宫泽理惠,黑木瞳,中山美穗一个电影博士穿越到了90年代的日本,经济崩溃,美女如云,他发誓一定要成为名监督。PS名词解释,在日本的监督是总导演,比一般导演权力大很多。本书主角谨慎腹黑,不喜勿入。剧情讨论群460129486黑车书友群218154038V群895121669恭候大驾光临。...
世人皆有罪,罪行天地定,入我圣狱,生死由我不由天!同是普通人的楚峰,偶然之间得到了一个可以升级的监狱,历经无数年的努力,他的监狱成了关押圣人的囚牢!你是圣人?不好意思,这里便是掌控圣人生死的地方!quot...
种田,美食,青梅竹马,傻白甜。本文周日(22号)入V,感谢支持。姜夙兴这辈子只有一个执念无论如何也要履行与青梅竹马白糖哥哥的婚约,即使他早在上辈子就知道,顾白棠的命定道侣并不是他。姜夙兴你我二人指腹为婚青梅竹马天作之合旷世奇缘我不管你今后会遇到谁你都只能喜欢我爱我宠我陪我看每一次日出日落观每一次潮涨潮跌你的眼睛只能看我一个人你的唇只能吻我一个人你的!我不管反正你只能跟我一个人双修!顾白棠吃瓜群众仙长,你这是要逼婚?姜夙兴一拍大腿对!逼婚!本座要逼婚!吃瓜群众(搓手)逼婚逼婚!绑了绑了!顾白棠满脸黑线怒胡闹!食用说明气个阶段都有前期中期后期。实攻很暖,很萌,很深情...