屋顶的魔法灯阵列发出柔和的光芒，给图书馆带来静谧的气氛。

在书架之间走来走去的学生们，受到这种气氛的感染，也下意识的减小了呼吸的力道，放慢脚步、轻踩轻抬。

当阅读者们看到自己正在按照索引寻找的书籍，亦或是偶遇对书名感兴趣的书籍时，便伸手轻轻将其从书架上抽出来。有时候还会搬一下墙边的简易梯垫脚。然后，拥有了这本书的人一般会将书翻开，阅读一下目录或者快速浏览一下。

有那心急的人，会直接依靠在墙边、柱子，或者直接坐在地上，将自己投入手中的知识。其余的人，则会挑选后，来到门口处，向图书管理员提交借阅卡和两枚硬币，办理借阅手续。

只有在隔壁的图书阅览室内，才会有学生抱着几本期刊，走去期刊室提供的桌边，或读或记。

这种借阅行为，今天并不多，所以需要兰恩处理的事情，频率很低。

他选择在这种安静舒适的环境中复习今天的课程，并且，他准备预习明后天的课程。

时针很快走过了一个小时，期间兰恩只处理了两三个借书请求，办理借书卡的更是一个都没有。

兰恩感觉，对于他的水平来说，课程有些过于简单，复习和预习的计划完成的很快。

可以适当的加快自学的进度，他想。虽然对于初级奥法学校来说，第二年尤其是第三年毕业才是常态，但是第一年毕业也不是不可以争取一下。

伸了个懒腰，将课本和笔记（自己的和艾琳娜的）放回书包，兰恩准备干点儿别的放松一下。

看着手边的书库和期刊室，兰恩感觉，既然从事了图书管理员这个伟大的兼职，那这么优良的条件，不用白不用。

他纠结了一秒，先去取了几本期刊。

得益于周围几个市贡献的资源，学校的教学资金还算充裕，所以提供了微微超出需求的期刊和图书资源。兰恩翻了翻，主流的《奥术》、《自然》、《魔法》、《柳叶刀》、《法师周刊》、《奥法综合周报》、《数学会杂志》、《数学新进展》等都是齐全的。

除了可以开拓视野外，这些东西学校里的学生们不太用的上，毕竟，学校只包括了初级奥法教育阶段，和中级奥法教育阶段，阅读这些前沿的东西略微有点超纲了。

本着兴趣，兰恩随意拿了几本回到座位上浏览，虽然很多都看不太懂，但是能对世界的形成一些大致感念。

又有两个人来办理了借书手续，借走了几本习题集，还有一个来图书馆还书的小姑娘，还了一本流行小说《彩虹奥术师》。

哗哗的书页翻动声，给安静的图书馆增添了一丝令人沉静的氛围。

忽然，《数学新进展》上的一篇论文引起了兰恩的兴趣：《论数字计算在决断难题中的应用》——艾伦·麦席森。

一边阅读一边体会这种熟悉的赶脚，兰恩好像又想起来一点东西。

论文中，为了解决“判决问题”的范围广阔的问题，艾伦先生给“可计算性”下了一个严格的定义，并且在论文的尾部，提出了一种有趣的设想。

他设想了一种机器，这种机器十分简单但是运算能力极强，可以用来计算所有具有“可计算性”的函数。

在论文中，艾伦先生首先把人在计算时所做的工作分解成简单的动作，对于人类来说，计算的过程有两部分：