屋顶的魔法灯阵列发出柔和的光芒，给图书馆带来静谧的气氛。
在书架之间走来走去的学生们，受到这种气氛的感染，也下意识的减小了呼吸的力道，放慢脚步、轻踩轻抬。
当阅读者们看到自己正在按照索引寻找的书籍，亦或是偶遇对书名感兴趣的书籍时，便伸手轻轻将其从书架上抽出来。有时候还会搬一下墙边的简易梯垫脚。然后，拥有了这本书的人一般会将书翻开，阅读一下目录或者快速浏览一下。
有那心急的人，会直接依靠在墙边、柱子，或者直接坐在地上，将自己投入手中的知识。其余的人，则会挑选后，来到门口处，向图书管理员提交借阅卡和两枚硬币，办理借阅手续。
只有在隔壁的图书阅览室内，才会有学生抱着几本期刊，走去期刊室提供的桌边，或读或记。
这种借阅行为，今天并不多，所以需要兰恩处理的事情，频率很低。
他选择在这种安静舒适的环境中复习今天的课程，并且，他准备预习明后天的课程。
时针很快走过了一个小时，期间兰恩只处理了两三个借书请求，办理借书卡的更是一个都没有。
兰恩感觉，对于他的水平来说，课程有些过于简单，复习和预习的计划完成的很快。
可以适当的加快自学的进度，他想。虽然对于初级奥法学校来说，第二年尤其是第三年毕业才是常态，但是第一年毕业也不是不可以争取一下。
伸了个懒腰，将课本和笔记（自己的和艾琳娜，兰恩准备干点儿别的放松一下。
和期刊室，兰恩感觉，既然从事了图书管理员这个伟大的兼职，那这么优良的条件，不用白不用。
他纠结了一秒，先去取了几本期刊。
得益于周围几个市贡献的资源，学校的教学资金还算充裕，所以提供了微微超出需求的期刊和图书资源。兰恩翻了翻，主流的《奥术》、《自然》、《魔法》、《柳叶刀》、《法师周刊》、《奥法综合周报》、《数学会杂志》、《数学新进展》等都是齐全的。
除了可以开拓视野外，这些东西学校里的学生们不太用的上，毕竟，学校只包括了初级奥法教育阶段，和中级奥法教育阶段，阅读这些前沿的东西略微有点超纲了。
本着兴趣，兰恩随意拿了几本回到座位上浏览，虽然很多都看不太懂，但是能对世界的形成一些大致感念。
又有两个人来办理了借书手续，借走了几本习题集，还有一个来图书馆还书的小姑娘，还了一本流行小说《彩虹奥术师》。
哗哗的书页翻动声，给安静的图书馆增添了一丝令人沉静的氛围。
忽然，《数学新进展》上的一篇论文引起了兰恩的兴趣：《论数字计算在决断难题中的应用》——艾伦·麦席森。
一边阅读一边体会这种熟悉的赶脚，兰恩好像又想起来一点东西。
论文中，为了解决“判决问题”的范围广阔的问题，艾伦先生给“可计算性”下了一个严格的定义，并且在论文的尾部，提出了一种有趣的设想。
他设想了一种机器，这种机器十分简单但是运算能力极强，可以用来计算所有具有“可计算性”的函数。
在论文中，艾伦先生首先把人在计算时所做的工作分解成简单的动作，对于人类来说，计算的过程有两部分：
（1）在纸上写上或擦除某个符号；
（2）把注意力从纸的一个位置移动到另一个位置；
为了模拟人的这种运算过程，他设想的这台机器，有四个部分：
（1）一条无限长的纸带。纸带被划分为一个一个的小格子，每个格子上包括一个有限字母表的符号，字母表要包括一个称为“空白”的特殊符号。
（2）一个读写装置。可以在上面的纸带上左右移动，并读写当前格子上的符号。
（3）一套控制规则。能够根据机器当前状态和当前格子上的内容，确定下一步读写装置的动作，并改变机器的当前状态，进入一个新的状态。
（4）一个状态寄存器。存储机器的当前状态，机器的状态数必须是有限的，而且有一个称为“停机状态”的特殊状态。
机器的一次单一动作，即读写装置读出一个信息，然后根据当前内部状态进行查表，得出一个输出动作（是否往纸带上写信息，还是移动读写装置到下一个方格）。同时，规则内部也会告诉机器，下一个时刻内部状态转移到哪一个。
如此循环往复，或可计算所有的可计算问题。
文中提议，整个计算过程可以采用二进位制，这是极其巧妙而具有美感的设计，就像论文里引用大奥术师莱布尼兹手稿中的那句话：“1与0，一切数字的神奇渊源。这是造物的秘密、美妙的典范，因为，一切无非都来自上天。”
整篇论文，给人一种异常的熟悉感。
兰恩敏锐的察觉到，这似乎是一个新时代的前奏。
或许自己可以加快这个时代的到来，兰恩想。
正在这时，图书馆关门时间到了，他默默的在自己笔记本上，记下了这本期刊的名字、期数、页码，以备以后查阅。
兰恩起身通知还在流连的学生们，图书馆准备关门。他还有后续的工作和期刊室中的图书复位。
将图书复位也分三个部分：
（1）将学生们还回来的书籍按照书脊上的索引复位。
（2）将被抽出来放在回收台上