手机浏览器扫描二维码访问
掌门啊,你要是想这位一样痛快多好!
陈景云轻轻点头:“我自有计较。”然后又说道:“这是最重要的问题了,你且听好。”
王崎见他说得郑重,忍不住咽了口唾沫。
“所谓算学,完备乎?相容乎?可判定乎?”
啊?王崎明显愣了一下。
这个问题和前面两个差太多了!
数学是完备的吗?是不是每个命题都能证明或证伪?
数学是相容的吗?是否用附和逻辑的步骤和顺序,永远不会退出相矛盾的命题?
数学是可判定的吗?是否能用一种机械的方法判定每一个命题的真伪?
这三个问题每一个都直击数学的根本,每一个都是逻辑学领域最高深的问题!
这种问题出现在高考性质的问心关之中?这就像让高中生来解规范场方程一样,是不可能的事情啊!
等一等,由于两个世界的历史已经出现分歧,哥德尔的同位体并没有出现在神州大地,所以目前来看前两个问题都是无解的……第三个问题在地球是阿兰图灵解决的,但是……现在我还没有学到那边去,也不知道神州的机老图灵是不是解决判定问题——不对,在地球判定性问题的灵感同样来自哥德尔……
也就是说这个纯粹是信仰问题?
王崎心念电转,过了好一会才组织好语言:“第三问,我认为是否定的……若是算器便可解决所有算题,那还要我们算家作甚?”
可是,前两个问题怎么编呢?我心底里的答案当然是标达“对于一个形式逻辑系统,完备性和相容性不可并存”……但是这特么太具体了好吗!要是他再给我来个“请详解”我可办不到啊!
陈景云看着王崎为难的神色,点点头:“这三个问题都是最尖锐的算题,你也不必深究——那么,最后一个问题了。王崎,你和不准道人,是什么关系?”
诶?
诶诶?
王崎还在错愕,嘴上却已经开口:“当过一段时间的邻居……”
见鬼,难道这才是戏肉?
他们果然怀疑我和不准道人有关!
还好陈景云问的是“不准道人”而不是“海森宝”,要不然我脱口而出的恐怕就是“海森堡是我最钦佩的科学家”……你妹,这样就真的跳进黄河都洗不清了!
“除此之外呢?他教过你什么?你一晋入仙院就能够解出传功殿后殿的题目,是否与不准道人有关?”
“除了教过我下棋之外,再没有什么了。”王崎斟酌语言:“我能解出题目,与不准道人无关。”
幸好……要是这位问的是“为什么能解出题目”……当初真是太鲁莽了……
还好这位不懂话术……
听了王崎的回答之后,陈景云看了看可哈儿一眼。可哈儿冲他点点头。陈景云这才说道:“好的,我们已经能够确认你和不准道人无关了。”
王崎长舒一口气。尼玛……海老头害人啊……
可还未等他完全放纵下来,真阐子就在他脑海里尖叫:“小心!”
手机用户请浏览阅读,更优质的阅读体验。
(新书重生校园鲜妻,狠美味求支持哦)她因为一句玩笑话,被迫闯进了神秘校草的家,从此,成为校草的私宠。然而,顾小染只想逃离,因为神秘的校草大人竟然是吸血鬼!千殿,他们说我人丑胸平智商低,不配呆在你身边做你老婆。听他们瞎说,本殿下不嫌弃。可你是吸血鬼我是人,不可能在一起,更不可能生猴子,所以,我们还是离婚吧!某人不淡定了,起身,扑倒,吻住,谁说不能生?我们这就生一群出来。本书群号,欢迎小可爱加入718581538...
别跟我讲道理,你敢动我的人,我就叫你知道这世界有多可怕!(超萌狐狸精化身护短狂魔!)推荐我的快穿文→头号炮灰综时空历练记综我的专栏里有许多完结文哦→兰桂专栏入文将于1月18日入V,届时三更,希望大家能多多支持,爱你们哟!么么哒づ ̄3 ̄づ正版读者群企鹅号59722091头号炮灰综(快穿苏...
一眼看富贵,两眼断生死。从看出女神有灾祸开始,李十一踏上了一条无法回头的死亡之路。...
当楚岚走出考场那一刻,系统加身!叮,签到成功,奖励法拉利恩佐一辆!于是,楚岚一路向北,在魔都里留下都市车神的传说!叮,签到成功,奖励沙漠之鹰一把!于是,面对武林高手,我起了一枪秒了有什么好说的!叮,签到成功,奖励技能天气之子!于是,现在开始就要放晴了哦!那么问题来了,考试结果还重要吗?...
那年,城隍庙中,朱五和朱重八共吃一锅狗肉。那年,朱重八率数骑冲敌大营,七进七出救小五!那年,死人堆里兄弟相拥,残阳如血袍泽并肩。那年,回望濠州,重八城头哽咽,兄弟!…人只有经历过许多才能长大,长成真正的男子汉,然而长大后,我们都变了!...
狂少归来,只手遮天。叶修遭遇女友背叛,受人冷眼,却在此时非凡身世曝光。从此鱼跃成龙,逍遥都市。...