手机浏览器扫描二维码访问
掌门啊,你要是想这位一样痛快多好!
陈景云轻轻点头:“我自有计较。”然后又说道:“这是最重要的问题了,你且听好。”
王崎见他说得郑重,忍不住咽了口唾沫。
“所谓算学,完备乎?相容乎?可判定乎?”
啊?王崎明显愣了一下。
这个问题和前面两个差太多了吧!
数学是完备的吗?是不是每个命题都能证明或证伪?
数学是相容的吗?是否用附和逻辑的步骤和顺序,永远不会退出相矛盾的命题?
数学是可判定的吗?是否能用一种机械的方法判定每一个命题的真伪?
这三个问题每一个都直击数学的根本,每一个都是逻辑学领域最高深的问题!
这种问题出现在高考性质的问心关之中?这就像让高中生来解规范场方程一样,是不可能的事情啊!
等一等,由于两个世界的历史已经出现分歧,哥德尔的同位体并没有出现在神州大地,所以目前来看前两个问题都是无解的……第三个问题在地球是阿兰·图灵解决的,但是……现在我还没有学到那边去,也不知道神州的机老图灵是不是解决判定问题——不对,在地球判定性问题的灵感同样来自哥德尔……
也就是说这个纯粹是信仰问题?
王崎心念电转,过了好一会才组织好语言:“第三问,我认为是否定的……若是算器便可解决所有算题,那还要我们算家作甚?”
可是,前两个问题怎么编呢?我心底里的答案当然是标达“对于一个形式逻辑系统,完备性和相容性不可并存”……但是这特么太具体了好吗!要是他再给我来个“请详解”我可办不到啊!
陈景云看着王崎为难的神色,点点头:“这三个问题都是最尖锐的算题,你也不必深究——那么,最后一个问题了。王崎,你和不准道人,是什么关系?”
诶?
诶诶?
王崎还在错愕,嘴上却已经开口:“当过一段时间的邻居……”
见鬼,难道这才是戏肉?
他们果然怀疑我和不准道人有关!
还好陈景云问的是“不准道人”而不是“海森宝”,要不然我脱口而出的恐怕就是“海森堡是我最钦佩的科学家”……你妹,这样就真的跳进黄河都洗不清了!
“除此之外呢?他教过你什么?你一晋入仙院就能够解出传功殿后殿的题目,是否与不准道人有关?”
“除了教过我下棋之外,再没有什么了。”王崎斟酌语言:“我能解出题目,与不准道人无关。”
幸好……要是这位问的是“为什么能解出题目”……当初真是太鲁莽了……
还好这位不懂话术……
听了王崎的回答之后,陈景云看了看可哈儿一眼。可哈儿冲他点点头。陈景云这才说道:“好的,我们已经能够确认你和不准道人无关了。”
王崎长舒一口气。尼玛……海老头害人啊……
可还未等他完全放纵下来,真阐子就在他脑海里尖叫:“小心!”
赌妃在上,王爷在下 直播和男神同居的日子 神偷长公主 一爱到底之顾少毒妻 天地炼成 穿越之弃子国师 捡到病娇太子之后(重生) 断神 最强除妖师 系统之娇宠孕妻 扛着boss拼下限(末世) 时光请善待我的她 娱乐超级奶爸 眼镜兄撞上恶魔王子 烈火燃情:高冷总裁滚远点 天黑请开眼 大明孤狼 悍妻[医道] 我是狠人大帝的同乡 废材重生:邪王独宠悍王妃
每早七点更新超好看哟不要错过O3OWIFI之母,海蒂拉玛。世界上首位全裸出镜的好莱坞女王,电子前沿基金会先锋奖获得者,无线通讯的启明星,美艳与智慧的宠儿。她一觉醒来,发现自己睡在一个陌生的街头。路边的男人把她捡了回去,还随手煮了一碗香喷喷的意大利面试图投喂。我的名字?列奥纳多迪皮耶罗达...
新书求支持简介慢穿小世界,带着随身空间去末世,去星际,去修仙最后回来陪爸爸开面馆。周霜霜本来觉得这就是自己的人生,没想到,有一天末世会降临到自己的世界。老规矩,无CP,无极...
叶流云魂穿异界,一来就出现在天牢,而且三日之后就要问斩!好在觉醒了神级模拟器,花费名望,即可进行模拟,每一次模拟之后,都可以随机选择保留一个天赋能力!你选择认罪,并且随意攀咬他人,说是受人指使!金刀卫查探之后发现你牛头不对马嘴,将你凌迟处死!你选择喊冤,喊破喉咙也没有人理你!三日之后,你被法场处斩!你选择三日之后,你被法场处斩!叶流云一阵欲哭无泪,我想回地球!如果您喜欢模拟器开局天牢死囚,别忘记分享给朋友...
红袖读书首届全球征文大赛参赛作品如果您喜欢郡主难惹,别忘记分享给朋友...
杨霄穿越斗罗大陆,觉醒黄金瞳,掌握风水火土精神五大元素。在星斗大森林里怒爆君焰,在史莱克学院时间零秒杀唐三,言灵黑日吞噬万物,言灵审判神鬼皆杀。在面对杀戮之都的暴乱三国之战神界的讨伐,杨霄不得不以战止战,重走封神之路,拿回至高的权与力。如果您喜欢我在斗罗怒爆君焰,别忘记分享给朋友...
开局顶替sword剑皇上场,暴打可汗,直接给可汗带上痛苦面具。一边吊打各路LCK上单,一边发歌?不会唱跳rap的偶像不是一个好上单?这是一个峡谷之巅路人王重生到LOL职业赛场打职业的故事,梦的起点在LCK,但梦的终点在LPL。天不生我林灿宇,LCK上单万古如长夜。如果您喜欢联盟开局暴打可汗,别忘记分享给朋友...