方浪书院 通过搜索各大小说站为您自动抓取各类小说的最快更新供您阅读!

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

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

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

勤奋和努力没有白费。

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

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

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

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

说到数学危机。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

跑题了。

兰恩拉回思绪。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

研究方式,主要是实验。

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

尤其是……中继器。

方浪书院推荐阅读:八步焚屠耀世灵尊写书成神:我真没想武侠变玄幻啊钦天帝万古神帝最新章节飞鱼开局获得宗门系统冰雪风云录万界熟练度成仙开局被女帝带走,小青梅都急哭了从魔教鼎炉到万古共主器君陈少君无敌召唤之最强人皇末世:抱歉我的军团只有女兵守城百年千夫所指?灭族别找我!华娱激荡年代御兽:我能不断进化兽娘圣虚(圣墟)蠕虫君主的崛起绝代武帝斗罗:我的魂技是九秘横推一切敌洪荒神域诸天:我的学生,全穿越了周阳无敌御兽从黑帝开始九州霸业极道武学修改器","copyright":"起点中文网魂分阴阳我复苏了华夏神明血月代行者修仙:肌肉修士,物理飞升在恐怖片里当万人迷沉睡八万年,圣人老祖出关了开局大宗师修为,建立不朽神朝!狂刀,道主,葬天棺穿越成公主我的玩家太会创造了时光流派苏牧叶挽秋全文免费阅读完整版我魔帝重修,无敌很合理吧影视世界从匆匆那年开始转生地龙:地龙怎么是蚯蚓啊熟练度面板:成就最强仙族修仙:我有一个天道空间见面一张卖身契,仙界全是我小弟木河剑帝万法千通伏神灵唐逗穿越诸天,武神之躯横推万界让你当好圣孙,你养一群女妖?我在修仙文里养成萝莉我重生成了蚯蚓
方浪书院搜藏榜:携千亿物资空间重生,她被七个哥哥团宠了斗罗之开局一只鸟玄幻:我率地府镇世间!穿越综玄,从绑定陈北玄模板开始我在修真界创办三只牛传媒宗门无敌升级逆天废材:鬼医大小姐抗战英雄谱太古凌霄诀我的命运改变器儒道:我是三界圣人!镇压诸天系统我是神国大尊杀戮变强之武道长生全职法师:煞渊起手以示尊敬病娇美人不当白月光请个律师打官司一剑逍遥斩红尘异能诡妃:邪尊,好火爆永生轮回系统护体:渡怨女大王阴阳碎天诀重生猛虎:率领雄狮南征北战奇异传她靠生崽火遍全星际修仙:我用超算成剑仙九星轮回诀诸天:无限兑换从斗罗开始女装大佬的家教日记从洪荒逃走当幕后黑手微醺迷恋虚灵神位神木图腾:重生沙漠树地狱法典重瞳藏不住玄幻:我能查看人生剧本校园捉妖师仙武成双我喜欢欺负我的青梅竹马仙途之绝品灵灯使我在异世界当写手你捅谁不好,捅这挂逼家族不朽魔心重生后嫁给了敌国太子影视世界从匆匆那年开始无限强化我不可能是精神病开局从大树开始进化木叶之忍者人生关于魔王这件事牵起你温暖的手
方浪书院最新小说:被退婚后,我的大帝身份瞒不住了无上帝尊之唯我独尊反派:主角,你缺个结拜兄弟!玄幻:这个儒修不讲道理坏了,我被魔宗妖女包围了谁让你招惹他了?他的徒弟全是大帝大限将至?帝兵在手老祖杀疯了!西游:天庭天兵,绑定平账大圣!我为诡异源头,祭天地,祭苍生!星武纪元:开局获得BUG级异能我一个废炉鼎,你让我娶当朝公主?神墟帝尊混沌的摩潘德斯开局人皇幡,我以诛天证大道开局被退婚?我反手娶你家老祖玄黄鼎我功德无量,娘子是妖又何妨破天一剑转世成女:开局攻略气运之子虚无源道珠悟性逆天:濒死创仙法,惊呆大帝都快成仙了才拉我进穿越萌新群?人在洪荒,开局拾取金色词条我,杨戬,这个封神玩家有点多混沌鸿蒙之主宰万界别人御兽我炼体这个词条不太正经我从纳妾开始无敌开局骗到绝色娘子,我软饭硬吃仙戒内修炼十年,我都化神了外面全筑基?剑来:开局骊珠洞天,福缘遍地!妖魔世界,我靠掠夺寿命苟成大帝九个绝色嫂子要嫁给我穿越大隆:不是我怎么变成瞎子了?玄幻:开局签到九千亿年修为重生魔门:我能看到炼蛊进度条叛出家族后,转身夺舍魔族女帝私生子黑心师兄别装啦,你的同伙全招了凌霄苍穹录付费才能修仙?我的宗门全免费修什么仙?我忙着养爹呢!污蔑我禽兽师妹,我认罪你们又哭啥?开局降临混沌世界,被大道锁定洪荒:叠盒子,六十万亿体内世界无敌从激活太虚鼎开始镇压妖窟被嫌弃,我当反派哭什么逆天魔尊:重生归来,镇压万界我乃无上帝子转世,大婚之日被笑土着?人生模拟:从养成女谪仙开始开局混沌不灭剑体,无敌从下山开始