走进修仙

第一百七十四章 问心

掌门啊,你要是想这位一样痛快多好!

陈景云轻轻点头:“我自有计较。”然后又说道:“这是最重要的问题了,你且听好。”

王崎见他说得郑重,忍不住咽了口唾沫。

“所谓算学,完备乎?相容乎?可判定乎?”

啊?王崎明显愣了一下。

这个问题和前面两个差太多了吧!

数学是完备的吗?是不是每个命题都能证明或证伪?

数学是相容的吗?是否用附和逻辑的步骤和顺序,永远不会退出相矛盾的命题?

数学是可判定的吗?是否能用一种机械的方法判定每一个命题的真伪?

这三个问题每一个都直击数学的根本,每一个都是逻辑学领域最高深的问题!

这种问题出现在高考性质的问心关之中?这就像让高中生来解规范场方程一样,是不可能的事情啊!

等一等,由于两个世界的历史已经出现分歧,哥德尔的同位体并没有出现在神州大地,所以目前来看前两个问题都是无解的……第三个问题在地球是阿兰·图灵解决的,但是……现在我还没有学到那边去,也不知道神州的机老图灵是不是解决判定问题——不对,在地球判定性问题的灵感同样来自哥德尔……

也就是说这个纯粹是信仰问题?

王崎心念电转,过了好一会才组织好语言:“第三问,我认为是否定的……若是算器便可解决所有算题,那还要我们算家作甚?”

可是,前两个问题怎么编呢?我心底里的答案当然是标达“对于一个形式逻辑系统,完备性和相容性不可并存”……但是这特么太具体了好吗!要是他再给我来个“请详解”我可办不到啊!

陈景云看着王崎为难的神色,点点头:“这三个问题都是最尖锐的算题,你也不必深究——那么,最后一个问题了。王崎,你和不准道人,是什么关系?”

诶?

诶诶?

王崎还在错愕,嘴上却已经开口:“当过一段时间的邻居……”

见鬼,难道这才是戏肉?

他们果然怀疑我和不准道人有关!

还好陈景云问的是“不准道人”而不是“海森宝”,要不然我脱口而出的恐怕就是“海森堡是我最钦佩的科学家”……你妹,这样就真的跳进黄河都洗不清了!

“除此之外呢?他教过你什么?你一晋入仙院就能够解出传功殿后殿的题目,是否与不准道人有关?”

“除了教过我下棋之外,再没有什么了。”王崎斟酌语言:“我能解出题目,与不准道人无关。”

幸好……要是这位问的是“为什么能解出题目”……当初真是太鲁莽了……

还好这位不懂话术……

听了王崎的回答之后,陈景云看了看可哈儿一眼。可哈儿冲他点点头。陈景云这才说道:“好的,我们已经能够确认你和不准道人无关了。”

王崎长舒一口气。尼玛……海老头害人啊……

可还未等他完全放纵下来,真阐子就在他脑海里尖叫:“小心!”

人气小说推荐More+

女神的游戏
女神的游戏
为了一笔钱,我认识一个漂亮女人,为了一桩荒唐的契约,我陪伴美女度过快乐生活,谁料却走进一桩巨大的阴谋中,金秋,美女,交易,阴谋,一幅多彩 画卷,一段爱恨情仇的故事……
嫩草喷香
豪门强宠:秦少的首席甜妻
豪门强宠:秦少的首席甜妻
她的生活在十八岁毁于一旦。“你母亲欠下的债,就由温小姐亲自来还吧。”男人俯身笑笑,目光却冷得没有一丝温度。肆意的掠夺和侵占,他亲手折断了她的人生,逼她沦为自己的囚徒。人人都知道,在X市翻手为云,覆手为雨的秦先生只宠一个温小姐。她想要的,她不想要的,前者他给予,后者他毁灭。“秦先生,温小姐被同学欺负了。”“开除。”“秦先生,温小姐一直说这家的奶茶很好喝,可惜排队太久。”“收购。”“秦先生,温小姐最
废萌非萌
神级炼丹师
神级炼丹师
武极大陆,丹师为尊。前世为快递员的罗鸣,意外穿越,获得万物快递系统。只要有钱,空间、时间、通通不是问题。啥,你想要三味真火,没问题,钱到位一切好说,加点钱创界圣火要不要?提升战斗力的方法?没问题,只要有钱,这里有横扫万界的绝世功法。颜倾天下的女帝幕雪柔?这个……滚开,没见我正撩得欢吗!
风烟散
影帝大大甜到家
影帝大大甜到家
《影帝大大甜到家》是萌沐沐精心创作的修真小说,笔趣阁实时更新影帝大大甜到家最新章节并且提供无弹窗阅读,书友所发表的影帝大大甜到家评论,并不代表笔趣阁赞同或者支持影帝大大甜到家读者的观点。
萌沐沐
都市之杀神归来
都市之杀神归来
世家公子,很厉害吗,惹了我,一记口水淹死你!修炼武者,很厉害吗,惹了我,一记巴掌扇死你!三年前,少年无能,被人任意羞辱,三年后,少年带了一身通天彻地的修为回来了!杀神归来,就要屹立世界之巅,纵横大千世界。这是一个少年纵横花都、叱咤风云的故事。
我家笑笑天下最美