手机浏览器扫描二维码访问
王崎坐在地下,心中对这位阳神阁逍遥的好感蹭蹭蹭往上涨。
掌门啊,你要是想这位一样痛快多好!
陈景云轻轻点头:“我自有计较。”然后又说道:“这是最重要的问题了,你且听好。”
王崎见他说得郑重,忍不住咽了口唾沫。
“所谓算学,完备乎?相容乎?可判定乎?”
啊?王崎明显愣了一下。
这个问题和前面两个差太多了吧!
数学是完备的吗?是不是每个命题都能证明或证伪?
数学是相容的吗?是否用附和逻辑的步骤和顺序,永远不会退出相矛盾的命题?
数学是可判定的吗?是否能用一种机械的方法判定每一个命题的真伪?
这三个问题每一个都直击数学的根本,每一个都是逻辑学领域最高深的问题!
这种问题出现在高考性质的问心关之中?这就像让高中生来解规范场方程一样,是不可能的事情啊!
等一等,由于两个世界的历史已经出现分歧,哥德尔的同位体并没有出现在神州大地,所以目前来看前两个问题都是无解的……第三个问题在地球是阿兰·图灵解决的,但是……现在我还没有学到那边去,也不知道神州的机老图灵是不是解决判定问题——不对,在地球判定性问题的灵感同样来自哥德尔……
也就是说这个纯粹是信仰问题?
王崎心念电转,过了好一会才组织好语言:“第三问,我认为是否定的……若是算器便可解决所有算题,那还要我们算家作甚?”
可是,前两个问题怎么编呢?我心底里的答案当然是标达“对于一个形式逻辑系统,完备性和相容性不可并存”……但是这特么太具体了好吗!要是他再给我来个“请详解”我可办不到啊!
陈景云看着王崎为难的神色,点点头:“这三个问题都是最尖锐的算题,你也不必深究——那么,最后一个问题了。王崎,你和不准道人,是什么关系?这三个问题不在仙院教授范围之内,可是他告诉你的?”
诶?
诶诶?
王崎还在错愕,嘴上却已经开口:“当过一段时间的邻居……”
见鬼,难道这才是戏肉?
他们果然怀疑我和不准道人有关!
还好陈景云问的是“不准道人”而不是“海森宝”,要不然我脱口而出的恐怕就是“海森堡是我最钦佩的科学家”……你妹,这样就真的跳进黄河都洗不清了!
“除此之外呢?他教过你什么?你一晋入仙院就能够解出传功殿后殿的题目,是否与不准道人有关?”
“除了教过我下棋之外,再没有什么了。”王崎斟酌语言:“我能解出题目,与不准道人无关。”
幸好……要是这位问的是“为什么能解出题目”……当初真是太鲁莽了……
还好这位不懂话术……
听了王崎的回答之后,陈景云看了看可哈儿一眼。可哈儿冲他点点头。陈景云这才说道:“好的,我们已经能够确认你和不准道人无关了。”
王崎长舒一口气。尼玛……海老头害人啊……
可还未等他完全放纵下来,真阐子就在他脑海里尖叫:“小心!”
第一百七十五章谪仙
小心?
天才高手 武裂苍穹秦天青儿全集免费阅读 玄学大佬在现代 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 神道丹帝叶尘苏傲雪全本免费阅读 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 周一见 贵门妾 穿成大佬假妹妹 九子登云的作品武裂苍穹 人人都爱马文才 一觉醒来怀了崽 唐老太的种田生活 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 封先生的宠爱 就想和你在一起 七零空间小娇女 穿书之末世娇宠 武裂苍穹秦天青儿百度云
赌徒简介emspemsp身负巨债婚姻失败的主人公绝地反击,离婚开始,暧昧开运,赌球开路,走出一条不同寻常的自我救赎之路本文中提到的赌球是指各大网站的单场足彩,请勿误解。读书如品茶,这杯茶却是...
病弱大佬靠我走上人生巅峰简介emspemsp关于病弱大佬靠我走上人生巅峰生母被渣爹害死,外祖父被囚禁,谢青棠身负血海深仇,出山准备救人兼报仇。但是她没钱没势没地位,计划不能开展怎么办?谢青棠摸着下巴琢磨了一下,决定去找自己那个据说定了娃...
萧言一个普通的大学生,获得神豪系统,开局获得一亿亿,为了花完这些钱,萧言开启了一条不同寻常的神豪之路。如果您喜欢神豪我有一亿亿舔狗金,别忘记分享给朋友...
永泽穿越到火影世界,和木叶村绑定。木叶要是受到重创被毁灭,永泽的寿命也会受到影响。永泽一想到即将来临的九尾之乱就慌了,再一想到后面的木叶崩溃计划,长门抗米,瞬间就感觉眼前一黑,人生无望。还好,和木叶绑定的同时,他可以获得诸天强大人物的模板。初始就绑定了顶上战争时期的白胡子!拥有了三色霸气和震震果实的能力。九尾之乱。面对让木叶忍者闻风丧胆的尾兽玉,永泽跃身一拳将尾兽玉震碎!ps简介无力,请看正文,不走原著剧情,会大量改变悲剧。如果您喜欢九尾之夜,我一拳打爆尾兽玉,别忘记分享给朋友...
重生野性时代简介emspemsp关于重生野性时代从2018回到1993,记忆中,那一年的夏天很热。...
从一个懵懂无知穷困潦倒的乞丐和书童,历经千辛万苦,成长为一个绝世剑客,主角善良聪明,心怀正义,路见不平,铲除邪恶,在此过程中经历了江湖儿女的爱恨情仇。...