()屋顶的魔法灯阵列发出柔和的光芒,给图书馆带来静谧的气氛。
在书架之间走来走去的学生们,受到这种气氛的感染,也下意识的减小了呼吸的力道,放慢脚步、轻踩轻抬。
当阅读者们看到自己正在按照索引寻找的书籍,亦或是偶遇对书名感兴趣的书籍时,便伸手轻轻将其从书架上抽出来。有时候还会搬一下墙边的简易梯垫脚。然后,拥有了这本书的人一般会将书翻开,阅读一下目录或者快速浏览一下。
有那心急的人,会直接依靠在墙边、柱子,或者直接坐在地上,将自己投入手中的知识。其余的人,则会挑选后,来到门口处,向图书管理员提交借阅卡和两枚硬币,办理借阅手续。
只有在隔壁的图书阅览室内,才会有学生抱着几本期刊,走去期刊室提供的桌边,或读或记。
这种借阅行为,今天并不多,所以需要兰恩处理的事情,频率很低。
他选择在这种安静舒适的环境中复习今天的课程,并且,他准备预习明后天的课程。
时针很快走过了一个小时,期间兰恩只处理了两三个借书请求,办理借书卡的更是一个都没有。
兰恩感觉,对于他的水平来说,课程有些过于简单,复习和预习的计划完成的很快。
可以适当的加快自学的进度,他想。虽然对于初级奥法学校来说,第二年尤其是第三年毕业才是常态,但是第一年毕业也不是不可以争取一下。
伸了个懒腰,将课本和笔记(自己的和艾琳娜的)放回书包,兰恩准备干点儿别的放松一下。
看着手边的书库和期刊室,兰恩感觉,既然从事了图书管理员这个伟大的兼职,那这么优良的条件,不用白不用。
他纠结了一秒,先去取了几本期刊。
得益于周围几个市贡献的资源,学校的教学资金还算充裕,所以提供了微微超出需求的期刊和图书资源。兰恩翻了翻,主流的《奥术》、《自然》、《魔法》、《柳叶刀》、《法师周刊》、《奥法综合周报》、《数学会杂志》、《数学新进展》等都是齐全的。
除了可以开拓视野外,这些东西学校里的学生们不太用的上,毕竟,学校只包括了初级奥法教育阶段,和中级奥法教育阶段,阅读这些前沿的东西略微有点超纲了。
本着兴趣,兰恩随意拿了几本回到座位上浏览,虽然很多都看不太懂,但是能对世界的形成一些大致感念。
又有两个人来办理了借书手续,借走了几本习题集,还有一个来图书馆还书的小姑娘,还了一本流行小说《彩虹奥术师》。
哗哗的书页翻动声,给安静的图书馆增添了一丝令人沉静的氛围。
忽然,《数学新进展》上的一篇论文引起了兰恩的兴趣:《论数字计算在决断难题中的应用》艾伦麦席森。
一边阅读一边体会这种熟悉的赶脚,兰恩好像又想起来一点东西。
论文中,为了解决“判决问题”的范围广阔的问题,艾伦先生给“可计算性”下了一个严格的定义,并且在论文的尾部,提出了一种有趣的设想。
他设想了一种机器,这种机器十分简单但是运算能力极强,可以用来计算所有具有“可计算性”的函数。
在论文中,艾伦先生首先把人在计算时所做的工作分解成简单的动作,对于人类来说,计算的过程有两部分: