第34节 兰恩的学习和研究

这大半年,兰恩彻底忍住自己,不去看那些前沿期刊的做法,还是很有效的。

题海战术备战升学之余,他也在不停地补课。

兰恩的做法是,忍住不去接触前沿的东西,转而从一个点入手,抽丝剥茧,理一遍之前的脉络树。

勤奋和努力没有白费。

对于这篇《论数字计算在决断难题中的应用》,兰恩已经大致理解了它的思路,它的前因后果。代价是,他花在各种资料和文献上的时间,大大超出了他用在做题上的时间。

合上最后一本书,兰恩慢慢整理自己的思路。

“图灵机的原理只是附属,这篇论文最中心的思想还是解决可计算性问题。”

“而他对于可计算性的思索,本质上还是第三次数学危机的延伸。“

说到数学危机。

第一次数学危机,是产生于远古时代,那个魔法依然是神秘的魔法,奥术还远远不成系统,与魔法完全不分家的时代。

由于几何在当年的魔法阵和施法上的巨大作用,数学的意义首次被提高了。

有的魔法师学者们开始认为“万物皆数”,即:数学的知识是可靠的、准确的,而且可以应用于现实的世界,数学的知识由于纯粹的思维而获得,不需要观察、直觉和日常经验。

直到他们遇到了正五边形的问题。

在当时那个神秘学当道的时代,正三角形、五角星、六芒星、八角星是最常用的基础架构图形。直到有一个法师,发现五角星连成正五边形后,边与对角线的比无法用有理数表示。

然后他被束缚后,扔下了法师塔。

这次也被后世称作“无理数危机”。

当然,由于无理数的定义,这次危机在历经沧桑后最终解决。

由此带来的后果是积极的,法师们察觉,直觉和经验不一定靠得住,推理证明才是最可靠的,从此法师们开始重视演译推理,并由此建立了几何公理体系。

这是巨大的进步和奠基作用,也深深地影响了以后奥术的出现。

第二次数学危机,则是在伟大的光荣时代,由大奥术师艾萨克和大奥术师莱布尼兹共同引发的。

想到莱布尼兹,兰恩又想到了莱布尼兹大奥术师的生平。

由于对艾伦·麦席森论文中,特意提到的莱布尼兹手稿感兴趣,兰恩特地去查了一点资料。

出生于目前神圣同盟的视力范围内,一个魔法世家的他,却深深地相信一切都可以用理性分析。然后他盯上了数学这项在法师间广为使用的基础工具,根据记载,他和艾萨克几乎同时,各自独立的发明了微积分。然后,他们的工作,建立的体系,深深地影响了后世至今。而且,他还涉猎广泛,在许多不同的领域都有傲人的成就。

他有一个传播很广但是上不了台面的观点:“我们的世界,或许不是创世神创造的最好的一个,但肯定属于最有意思的一批。”

对于这一点,兰恩比较以为然。

跑题了。

兰恩拉回思绪。

艾萨克和莱布尼兹引发的这项危机,正是由于他们的微积分。

在微积分大范围应用的同时,关于微积分基础的问题也越来越严重。关键问题就是无穷小量究竞是不是零?无穷小及其分析是否合理?由此而引起了法师和奥术师们长达一百多年的争论。这就是第二次数学危机,又名“无穷小危机”。

后来,是柯西和魏尔斯特拉斯等一批奥术师,通过对数学分析一系列基本概念的精确定义,以及对分析的算术化,逐步解决了这次危机,恢复了数学的结构。

这次危机的意义,一是加速了分析数学的发展,使其成为了庞大的体系;二是彻底解下了微积分甚至数学上面神秘的面纱,冲破了魔法的束缚,为数学的独立发展创造了条件,也让普通人有机会成为奥术师。比如兰恩所在的小学,颇有一些头脑超人,但是资质一般或家境一般的同学,在小学毕业后直接去奥术学院就读。

第三次数学危机,也就是目前魔法界和奥术界正在经历的这次,却是由于集合论的悖论产生的。

它像第一次危机那样,突然出现。

在一个位于奥法联邦,名叫伯特兰·阿瑟的奥术师研究集合的时候,忽然发现了悖论。

关于这个悖论的阐述,最著名的是“理发师问题”。

一个理发师宣布了这样一条原则:他给所有不给自己刮脸的人刮脸,并且,只给村里这样的人刮脸。当人们试图回答下列疑问时,就认识到了这种情况的悖论性质:“理发师是否自己给自己刮脸?“如果他不给自己刮脸,那么他按原则就该为自己刮脸;如果他给自己刮脸,那么他就不符合他的原则。

这就是这次危机的核心问题。

危机爆发时,距离大奥术师庞加莱的宣称“数学的严格性,看来直到今天才可以说实现了”才刚刚过去两年,属于赤裸裸的打脸。

直到如今,危机仍然在蔓延。

例如这篇论文,就是艾伦·麦席森奥术师在思考‘停机问题’——它和导致这次危机的悖论一样,属于自指——时,寻找这次数学危机解决方案的产物。

艾伦的天才之处在于,他的思考高屋建瓴。他首先考虑的是,是否所有数学问题都用解?如果这个问题不解决,辛辛苦苦解题,最后发现无解,一切的努力都是浪费时间和精力。

至于论文末尾提出的理想计算机器,则是这些思考的副产物。

“这样,经过通读所有这些相关的书籍,我就大致理清了这个世界上,往昔数学发展的脉络。至少是这篇论文所在的分支,虽然理解的仍太过粗浅。”兰恩揉着太阳穴想到

“如果文学构建了美学的大厦,那么构建理性大厦的,一定是数学。”

“要实现自己‘想看到更远一些的美妙风景’的愿望,成为大奥术师是必不可少的,而这个过程,就是自己攀登理性大厦的过程。”

放下揉太阳穴的手,兰恩将面前已经合上的书籍收了起来,移到一边。

他准备例行更换手头的事情,换换脑子。

学习和思考之余,兰恩经常会研究一些看起来更实用更有意思的事儿。而对这篇论文学习的告一段落,意味着他有了更多的时间鼓捣这些。

研究方式,主要是实验。

实验内容,他选择的是一些可以动手操作,还能有拓展思考的东西,譬如他很感兴趣的魔法符文。

尤其是……中继器。

第155节 内部茶话会第125节 如何多写几篇论文第259节 徘徊者三号第271节 最高评议会紧急会议第195节 看法第120节 开学(第二更)第30节 欢度丰收节第193节 新方向和资本家的套路第76节 挖墙脚和人造卫星第445节 遥感和导航第172节 索菲娅来到(第三更,八千完毕,求票)第360节 海妖第299节 自动代码和编译器第324节 聘请第123节 迟到(第一更)第372节 协会航天部对图纸的反应第142节 小埃布尔在行动第158节 晴天霹雳第420节 感谢信第101节 拍卖会(三千字大章)第424节 广色域与三无实验室第71节 雇工党在行动第66节 线索第68节 积分到账第200节 大洋彼岸令人震撼的新成果第230节 加林·梅利韦瑟第258节 索利哈尔工厂异动第330节 驾驶员莫什第67节 远方的消息第450节 往返于星河的畅想第219节 再临钟声实验室第422节 距离遥远的影响第90节 曲谱第321节 五百金币加锦旗第310节 种族间的小区别第222节 商业互吹和兰恩的会议报告第403节 尘埃落定的设计竞赛第87节 又到考试季第123节 迟到(第一更)第39节 古老的信纸第297节 航天与尿不湿第259节 徘徊者三号第25节 古魔法师第76节 挖墙脚和人造卫星第20节 专利律师第379节 理想的通信方式:光缆第83节 宣誓效忠第442节 《宇宙的田园时代》第382节 基地第356节 灵感迸发第280节 准备一下,再次出发第352节 程序员培训第75节 优秀业绩第369节 晶石与音质的玄学第247节 组委会报告审核第221节 超环与微雕符文第207节 书迷见面会第24节 动物园里的法阵第11节 参观索利哈尔工厂第233节 布里奇斯来访第221节 超环与微雕符文第413节 嵌入式第178节 钟声实验室(求保底月票)第95节 再次出发第415节 图形用户界面第424节 广色域与三无实验室第281节 报文通讯与个人存款第242节 新进度第45节 夜市第34节 兰恩的学习和研究第242节 新进度第438节 星云搜索引擎第247节 组委会报告审核第223节 短期展望和参观邀请第308节 多姿不多彩的小窗户第313节 刹那间的抉择第236节 奥术等级提升第364节 几项进展第364节 几项进展第410节 范内瓦老师退休第182节 新一代计算机正式开工(双更求票票)第428节 航天发射场的老朋友第385节 发布会进行中第18节 魔法符文课第261节 《控制论》第55节 惨遭表白的艾琳娜第378节 结束的大会与重大进展第273节 大会前的例行茶话会第260节 牧星人(拖欠的盟主加更4/5)第128节 改进方向(第二更)第448节 兰恩到医院第18节 魔法符文课第437节 最后的吟游诗人第169节 奥术师通讯社第269节 决定第437节 最后的吟游诗人第238节 范内瓦导师带来的消息(双倍求月票)第169节 奥术师通讯社第354节 切割第286节 对后续行程的汇报