屋《彩虹奥术师》。
哗哗的书页翻动声，给安静的图书馆增添了一丝令人沉静的氛围。
忽然，《数学新进展》上的一篇论文引起了兰恩的兴趣：《论数字计算在决断难题中的应用》——艾伦·麦席森。
一边阅读一边体会这种熟悉的赶脚，兰恩好像又想起来一点东西。
论文中，为了解决“判决问题”的范围广阔的问题，艾伦先生给“可计算性”下了一个严格的定义，并且在论文的尾部，提出了一种有趣的设想。
他设想了一种机器，这种机器十分简单但是运算能力极强，可以用来计算所有具有“可计算性”的函数。
在论文中，艾伦先生首先把人在计算时所做的工作分解成简单的动作，对于人类来说，计算的过程有两部分：
（1）在纸上写上或擦除某个符号；
（2）把注意力从纸的一个位置移动到另一个位置；
为了模拟人的这种运算过程，他设想的这台机器，有四个部分：
（1）一条无限长的纸带。纸带被划分为一个一个的小格子，每个格子上包括一个有限字母表的符号，字母表要包括一个称为“空白”的特殊符号。
（2）一个读写装置。可以在上面的纸带上左右移动，并读写当前格子上的符号。
（3）一套控制规则。能够根据机器当前状态和当前格子上的内容，确定下一步读写装置的动作，并改变机器的当前状态，进入一个新的状态。
（4）一个状态寄存器。存储机器的当前状态，机器的状态数必须是有限的，而且有一个称为“停机状态”的特殊状态。
机器的一次单一动作，即读写装置读出一个信息，然后根据当前内部状态进行查表，得出一个输出动作（是否往纸带上写信息，还是移动读写装置到下一个方格）。同时，规则内部也会告诉机器，下一个时刻内部状态转移到哪一个。
如此循环往复，或可计算所有的可计算问题。
文中提议，整个计算过程可以采用二进位制，这是极其巧妙而具有美感的设计，就像论文里引用大奥术师莱布尼兹手稿中的那句话：“1与0，一切数字的神奇渊源。这是造物的秘密、美妙的典范，因为，一切无非都来自上天。”
整篇论文，给人一种异常的熟悉感。
兰恩敏锐的察觉到，这似乎是一个新时代的前奏。
或许自己可以加快这个时代的到来，兰恩想。
正在这时，图书馆关门时间到了，他默默的在自己笔记本上，记下了这本期刊的名字、期数、页码，以备以后查阅。
兰恩起身通知还在流连的学生们，图书馆准备关门。他还有后续的工作，就是将书库和期刊室中的图书复位。
将图书复位也分三个部分：
（1）将学生们还回来的书籍按照书脊上的索引复位。
（2）将被抽出来放在回收台上的书籍按照书脊上的索引复位。
（3）快速巡视所有书架，大致找出被放错位置的书籍，按照索引复位。
忙完这一切锁上图书馆大门，已经很晚了，兰恩回到宿舍发现所有人都已经入睡。
他轻手轻脚的脱衣上床，匆匆写了几笔日记，然后坚持忍着疲惫，使用通用冥想术进行了一个小时冥想，然后才倒头睡下。幸好冥想本身也有增强精神和解除疲惫的作用。
明天是休息日。爱你中文网小说阅读_www.20zw.com