手机浏览器扫描二维码访问
掌门啊,你要是想这位一样痛快多好!
陈景云轻轻点头:“我自有计较。”然后又说道:“这是最重要的问题了,你且听好。”
王崎见他说得郑重,忍不住咽了口唾沫。
“所谓算学,完备乎?相容乎?可判定乎?”
啊?王崎明显愣了一下。
这个问题和前面两个差太多了吧!
数学是完备的吗?是不是每个命题都能证明或证伪?
数学是相容的吗?是否用附和逻辑的步骤和顺序,永远不会退出相矛盾的命题?
数学是可判定的吗?是否能用一种机械的方法判定每一个命题的真伪?
这三个问题每一个都直击数学的根本,每一个都是逻辑学领域最高深的问题!
这种问题出现在高考性质的问心关之中?这就像让高中生来解规范场方程一样,是不可能的事情啊!
等一等,由于两个世界的历史已经出现分歧,哥德尔的同位体并没有出现在神州大地,所以目前来看前两个问题都是无解的……第三个问题在地球是阿兰·图灵解决的,但是……现在我还没有学到那边去,也不知道神州的机老图灵是不是解决判定问题——不对,在地球判定性问题的灵感同样来自哥德尔……
也就是说这个纯粹是信仰问题?
王崎心念电转,过了好一会才组织好语言:“第三问,我认为是否定的……若是算器便可解决所有算题,那还要我们算家作甚?”
可是,前两个问题怎么编呢?我心底里的答案当然是标达“对于一个形式逻辑系统,完备性和相容性不可并存”……但是这特么太具体了好吗!要是他再给我来个“请详解”我可办不到啊!
陈景云看着王崎为难的神色,点点头:“这三个问题都是最尖锐的算题,你也不必深究——那么,最后一个问题了。王崎,你和不准道人,是什么关系?”
诶?
诶诶?
王崎还在错愕,嘴上却已经开口:“当过一段时间的邻居……”
见鬼,难道这才是戏肉?
他们果然怀疑我和不准道人有关!
还好陈景云问的是“不准道人”而不是“海森宝”,要不然我脱口而出的恐怕就是“海森堡是我最钦佩的科学家”……你妹,这样就真的跳进黄河都洗不清了!
“除此之外呢?他教过你什么?你一晋入仙院就能够解出传功殿后殿的题目,是否与不准道人有关?”
“除了教过我下棋之外,再没有什么了。”王崎斟酌语言:“我能解出题目,与不准道人无关。”
幸好……要是这位问的是“为什么能解出题目”……当初真是太鲁莽了……
还好这位不懂话术……
听了王崎的回答之后,陈景云看了看可哈儿一眼。可哈儿冲他点点头。陈景云这才说道:“好的,我们已经能够确认你和不准道人无关了。”
王崎长舒一口气。尼玛……海老头害人啊……
可还未等他完全放纵下来,真阐子就在他脑海里尖叫:“小心!”
扛着boss拼下限(末世) 捡到病娇太子之后(重生) 系统之娇宠孕妻 穿越之弃子国师 娱乐超级奶爸 直播和男神同居的日子 天地炼成 赌妃在上,王爷在下 大明孤狼 废材重生:邪王独宠悍王妃 最强除妖师 天黑请开眼 悍妻[医道] 神偷长公主 眼镜兄撞上恶魔王子 烈火燃情:高冷总裁滚远点 断神 时光请善待我的她 一爱到底之顾少毒妻 我是狠人大帝的同乡
一个原著中并不存在,拥有着不死能力的变种人会给漫威带来哪些变化?比如,死侍并没有毁容。比如,钢铁侠开起了火锅店。比如没有金手指。时间线剧情以本文为主。如果您喜欢漫威之不死者之王,别忘记分享给朋友...
关于云少宠妻有点甜颜暮怀了一个素昧平生的男人的孩子,被人害,被人踩。孩子他爹不干了,分分钟让颜暮把他娶回家。结果太意外,老公不仅是大佬,宠妻还有点甜。爱上了闪婚老公,求扑倒姿势在线等,挺着急!...
关于总裁老公,别傲娇!渣爹恼羞成怒,被迫联姻之下,她仓促嫁给了封家的残疾少爷。可是说好的残疾可怜柔弱无助呢?惹不起躲得起,揣着肚子里两个崽,她准备收拾东西跑路了。...
年轻有为时含冤入狱。沉冤昭雪出狱时,父母已老,女儿尚小,人近中年,却一切都得从头开始。还好,我在狱中拜得扶摇子的第十七代嫡传弟子为师,又跟狱友学会了诸多本事,还觉醒了前世的记忆。原想着,开个诊所悬壶济世,或是干点别的,打死不再去混上一世已经混够了的娱乐圈。可为我默默付出的家人,全都在干群演,又全都深爱着混娱乐圈,关键他们还混不好。没办法,我只能陪他们叱诧异界娱乐圈了。PS本书非套路文,全新的尝试,应该会让您耳目一新V群626241926(2千粉丝或全订即可申请,老书的也行)如果您喜欢我真没想混娱乐圈啊,别忘记分享给朋友...
遭哥哥陷害,她被送上陌生男人的床。一夜,她失了身,爸爸意外坠楼,妈妈心脏病发她失去所有。几近走投无路时,他犹如天神一般降临在她的面前。他说我需要一个听话...
一句话简介推理就是,推倒妹子,线索整理。正经的简介魂穿美国混血帅哥。火辣女上司,冰山学妹,傲娇空姐,温柔护士,怯懦白领每一个女主角的背后,都有着不为人知的秘密。拥有无限读档的罗南,将逐一揭开了她们神秘的面纱不正经简介推理就是推倒妹子和线索整理。说到妹子,就不禁让我想起本书里众多的妹子,真是千娇百媚,各有特色。今年年初,中美合拍的罗南记即将正式开机,将由我继续扮演美少年罗南布鲁斯。我会用美少年的艺术形象努力创造一个正能量的形象,文体两开花,希望大家多多支持。Q群962099175,听说群里不飙车,没番外,真的(认真脸)打劫收藏!推荐!打赏!如果您喜欢我的存档女友,别忘记分享给朋友...