手机浏览器扫描二维码访问
那就是用任何一个只含有有限个字符的语言,在限制字符串长度的情况下,它可以严谨描述的物件数量是有限的。故而任何一个这样的语言通过有限长度的句子可以描述的物件数量最多和自然数一样多。”
随着卢格安说出这个结论,教室里鸦雀无声,所有人都好像看傻子一样看着他。
一名逻辑学教授忍不住吐槽道:“这不是一句废话吗?”
“没错,这就是一句废话。”卢格安认同地点点头。
“……”
一众教授脑门泛出几条黑线。
你搁这儿搁这儿呢?
就当众人想要把卢格安轰下台时,卢格安却突然说道:“这是一句废话,但也是一句有用的废话。因为这个事实直接证明了一个定理。”
说着,卢格安对伊蕾亚点点头。
伊蕾亚转身在黑板上画下一个优美的无穷符号。
“首先,我们可以知道,世界上一定存在一个不可计算的实数。”
卢格安伸出一根手指,接着推理道:“同样的,我们也可以轻易证明:必定存在一个函数f=N→N,使得不存在一个算法可以在有限时间内计算f的值。”
说罢,卢格安伸出了第二根手指。
“最后,也是最重要的一点是:如果我把一个有限的公理系统作为我的语言,那么就只存在可数个证明。
当然,我们也只能在公理系统中构造出可数个问题。然而,有可数个证明是否可以解决所有这些问题呢?”
在卢格安伸出第三根手指的同时,伊蕾亚也放下手中的粉笔。
此时,黑板上已经被娟秀整齐的英文小字所覆盖。卢格安负责说结论,而伊蕾亚负责书写具体过程,这就是两人事先划分下的职责。
看着黑板上密密麻麻的推理过程,在场所有教授纷纷陷入了沉默。
他们的大脑正在急速运转,试图寻找出推理的逻辑漏洞。有的教授甚至拿出笔纸,满头大汗地推算起来。
这其中,只有希尔伯特一个人没有试图去推演那些逻辑。
因为他知道,卢格安既然敢把这套逻辑拿出来,就一定是能禁得住考验的。
他真正在思考的,则是卢格安最后提出的那个问题:有可数个证明是否可以解决所有这些问题?
隐隐的,他感觉自己好像看到了什么,但又好像什么也没看到。
相对论,无处不在……
在这些教授还在埋头消化这三套逻辑证明时,伊蕾亚悄悄挪步到卢格安身后,伸手精准地掐住了卢格安腰间的软&肉。
嘶~~~
前一秒还云淡风轻,自信傲然的德国青年,表情瞬间扭曲起来。
卢格安强撑着笑容,转过身,将伊蕾亚一把抱住。咬着牙,在她耳边小声斥问道:“疯女人,你在干什么?”
“当然是帮我们伟大的卢尔尼雪夫斯基先生清醒一下咯。”
伊蕾亚抿嘴微笑,翻手抱住卢格安,踮起脚,将下巴点在卢格安的肩膀上,在他耳旁如是轻语道。
值得一提的是,这期间伊蕾亚掐在卢格安腰间的手从未放开过……
替嫁后,郁先生黏她上瘾 拥有背刺技能的我穿越到耽美同人世界 人在漫威,做幕后黑手 [综英美]别动退休猎魔人的狗 傀儡皇子请自重 穿越社恐在线求解脱 我变成NPC了? 末世废土之火种 他的心上有颗糖 韦小宝纵横花都 汉末多少事 [名柯]锈钉 宿主,你直播间爆火了 五文书 云动九源 沈总别虐了,太太她要改嫁了 而绿之年 阴阳摆渡,我怎么就无敌了 [名侦探柯南]假如能直面阳光 宿主难带,让她做任务她天天摆烂
关于皇室百年无女,捡个奶团宠上天医学博士秦璃洛葬身火海,意外穿成了三岁奶团。十三岁的战王爷在草丛中捡起她,这小团子太可爱了,捡回去做小妹妹挺不错。谁知小奶团也正在打量他。哇,大哥哥太帅了,抱大腿,抱大腿。皇帝一听儿子捡回了一个小奶团,马上给众皇子下令,给朕抢回来做女儿!大皇子小团子,我带你进宫好不好?小团子不好,陪大哥哥。太子小团子,想不想跟我去东宫?小团子不想,陪大哥哥。众皇子好话说尽,无一成功。皇上急了,直接开口抢人。皇儿,小团子喊你大哥哥,能不能让她跟你一起喊朕父皇?战王不行,小团子是儿臣救回来的,她只能是儿臣一个人的。皇帝你个不孝子!战王只要父皇不把小团子认做女儿,您随便。皇帝大手一挥,都给朕宠!要是惹小团子不开心,朕饶不了你们!众皇子面面相觑,到底谁才是父皇亲生的?他们没想到,小团子因祸得福得到一个空间。于是小手一挥,妙手回春...
少年林昊在觉醒测试中以失败告终,但也不算完全失败,至少有了以精神力赋予所想之一切的力量。哪怕失去了面板,但依旧强势,从微末之中崛起,只为完成父母给予自己的复仇宿命。但当走到半途时,林昊才恍然所觉,原来,他才是这天地之间最大的劫p...
(本书又名90后青春物语)林一身上曾有过许多标签少年做题家九八五废物前大厂码农。一桩意外,让他沿着时光之河逆流而上,穿越十二年光阴。回到梦开始的地方,让所有遗憾通通不再发生!财富权势名声那些不过是我拥有过最微不足道的东西。一段少年事,一曲凡人歌。(第一卷少年自有凌云志,曾许人间第一流已完结...
上一世被人骗财夺命,庄易一直到死前才知道他不是个废物,他是曾经辉煌过的召唤师家族嫡系,只是一直没有觉醒,也再也没有机会变强。重生回到十六岁,庄易做的第一件事就是拿好祖传的玲珑盒尝试让自己觉醒,并且迈出召唤师最重要的第一步召唤本命兽。只是这个本命兽看起来怎么和大陆第一高手雷修总有千丝万缕的关系?恩,一定是错觉。这...
关于我是白月光?财阀老婆不香吗?代码狗江浩竟然穿书成了江家大少,这泼天的荣华富贵还没来得及享受,竟然得知自己是个凄惨的反派男二,开篇就被拥有主角光环的男主推下楼梯还恶人先告状!怎么,男主是不知道有监控这东西吗?事实教你做人!你们颠公颠婆自己爱玩儿降智游戏,别带上我!什么女主,谁稀罕?全球首富可是我老婆!比女主有钱!比女主漂亮!比女主有脑子!只要吃上他老婆的软饭,他就是人生赢家了!谁爱颠谁颠去!听管家说,你一个人住着害怕,如果你嫌这里太大,我可以给你换个小点的公寓!不用!不用!这里挺好啊!躺在老婆怀里,真香呐!...
皇甫盈盈清明节去给父母扫墓,因为救一个婴儿被车撞了。家里关系硬,爸妈都是有大功德军人。神给她一次重生的机会。可不是说把她复活到一颗类似蓝星一样的星球吗?为什么她到了兽世,还是那种雄多雌少的兽世!什么,一个雌性可以拥有无数伴侣?而雄性只能有一个。皇甫盈盈一开始你别过来啊!当各种各样的美男为了她的宠爱百花齐放。好...