手机浏览器扫描二维码访问
掌门啊,你要是想这位一样痛快多好!
陈景云轻轻点头:“我自有计较。”然后又说道:“这是最重要的问题了,你且听好。”
王崎见他说得郑重,忍不住咽了口唾沫。
“所谓算学,完备乎?相容乎?可判定乎?”
啊?王崎明显愣了一下。
这个问题和前面两个差太多了吧!
数学是完备的吗?是不是每个命题都能证明或证伪?
数学是相容的吗?是否用附和逻辑的步骤和顺序,永远不会退出相矛盾的命题?
数学是可判定的吗?是否能用一种机械的方法判定每一个命题的真伪?
这三个问题每一个都直击数学的根本,每一个都是逻辑学领域最高深的问题!
这种问题出现在高考性质的问心关之中?这就像让高中生来解规范场方程一样,是不可能的事情啊!
等一等,由于两个世界的历史已经出现分歧,哥德尔的同位体并没有出现在神州大地,所以目前来看前两个问题都是无解的……第三个问题在地球是阿兰·图灵解决的,但是……现在我还没有学到那边去,也不知道神州的机老图灵是不是解决判定问题——不对,在地球判定性问题的灵感同样来自哥德尔……
也就是说这个纯粹是信仰问题?
王崎心念电转,过了好一会才组织好语言:“第三问,我认为是否定的……若是算器便可解决所有算题,那还要我们算家作甚?”
可是,前两个问题怎么编呢?我心底里的答案当然是标达“对于一个形式逻辑系统,完备性和相容性不可并存”……但是这特么太具体了好吗!要是他再给我来个“请详解”我可办不到啊!
陈景云看着王崎为难的神色,点点头:“这三个问题都是最尖锐的算题,你也不必深究——那么,最后一个问题了。王崎,你和不准道人,是什么关系?”
诶?
诶诶?
王崎还在错愕,嘴上却已经开口:“当过一段时间的邻居……”
见鬼,难道这才是戏肉?
他们果然怀疑我和不准道人有关!
还好陈景云问的是“不准道人”而不是“海森宝”,要不然我脱口而出的恐怕就是“海森堡是我最钦佩的科学家”……你妹,这样就真的跳进黄河都洗不清了!
“除此之外呢?他教过你什么?你一晋入仙院就能够解出传功殿后殿的题目,是否与不准道人有关?”
“除了教过我下棋之外,再没有什么了。”王崎斟酌语言:“我能解出题目,与不准道人无关。”
幸好……要是这位问的是“为什么能解出题目”……当初真是太鲁莽了……
还好这位不懂话术……
听了王崎的回答之后,陈景云看了看可哈儿一眼。可哈儿冲他点点头。陈景云这才说道:“好的,我们已经能够确认你和不准道人无关了。”
王崎长舒一口气。尼玛……海老头害人啊……
可还未等他完全放纵下来,真阐子就在他脑海里尖叫:“小心!”
时光请善待我的她 大明孤狼 赌妃在上,王爷在下 废材重生:邪王独宠悍王妃 一爱到底之顾少毒妻 最强除妖师 神偷长公主 眼镜兄撞上恶魔王子 悍妻[医道] 系统之娇宠孕妻 捡到病娇太子之后(重生) 扛着boss拼下限(末世) 我是狠人大帝的同乡 直播和男神同居的日子 天黑请开眼 娱乐超级奶爸 穿越之弃子国师 烈火燃情:高冷总裁滚远点 断神 天地炼成
本文系破镜重圆又撩又虐又甜男主对女主偏执成瘾江城大佬沈墨浓少年时,父亲突然去世,家道中落,初恋女友也不辞而别,音讯全无。那时,他发誓,要让负了他的人终生痛苦,粉身碎骨。若干年后,沈墨浓晃动着精美水晶杯里的顶级红酒,那晃动的液体鲜红如血,他一边嘴角扬起,眼底含着一万年前冰山上最冷的一片积雪,没有任何笑意,修长好看的身姿挺拔,往空中轻轻触了一下温如初,欢迎你回来。温如初蓦然打了一连串的喷嚏总感觉有人在暗地里算计我。当别人为了讨好沈墨浓而跟风去欺负温如初的时候,没想到却惹得沈墨浓勃然大怒从今往后,不要让我再看见你!更加当众向众人宣布我的女人只有我能欺负。温如初只想找到当年在地震中将自己救出来的那个哥哥,她只记得分别时,她问我要怎样才能再见到你呢?那个哥哥对她说小妹妹,我是励志要做一个新时代的农民的人,以后你来乡村的大田野里来找我。于是,大学的时候,温如初毫不犹豫的报考了大夏国排名第一的夏国农科院。毕业之后,温如初抛开了身份的束缚,投身到了夏国最穷最偏僻的乡野山村。只不过在某一天,他被某个人抓了回去(求收藏!)如果您喜欢偏执大佬的心尖宠回头了吗,别忘记分享给朋友...
宁救一恶人,不管一乱世。救人不救世,借毒行医人。如果您喜欢隐世毒医,别忘记分享给朋友...
关于权爷的正牌小娇妻璃洛怎么也没想到父亲为了利益,竟然将她卖给恶心老男人,更没想到被首富龙少救下,一夜温存!后妈继妹害她身败名裂,找工作处处碰壁,她为了凑齐母亲的医药费答应和龙少签订契约成了龙太太!听闻龙少权势滔天,却独宠她入骨,他性子薄情冷冽,却为她精心准备生日惊喜漫天烟花,他不近女色她以为甜甜的爱情终于来了!直到一个女人出现,他果断绝情的离开了她,璃洛才知道他从未爱过自己!可悲的替...
一朝穿越,胸前扎着厚厚的布带,身穿太监服,她乐瑶瑶摇身一变,居然成了一个小太监!天呐!来一道雷将她劈回去吧!传闻,睿王足智多谋,俊美非凡,乃是天元皇朝第一才子,年方十八,只可惜至今无...
全球刷怪是吹个大气球9精心创作的都市小说,笔趣阁实时更新全球刷怪最新章节并且提供无弹窗阅读,书友所发表的全球刷怪评论,并不代表笔趣阁赞同或者支持全球刷怪读者的观点。...
2003年夏季,巴西新星卡卡低调地踏进米兰城葡萄牙小将克里斯蒂亚诺罗纳尔多背着争议飞到曼彻斯特默默无闻的梅西在拉玛西亚抬头仰视着刚加盟的超级巨星罗纳尔迪尼奥在荷兰一家默默无闻的小球队里,有个即将惨遭淘汰的废物却在憧憬着成为世界顶级巨星,在欧洲足坛掀起一股超级锋暴。书友群908223342,欢迎书友们入群,验证时请填写书名,谢谢!...