那这么优良的条件，不用白不用。
他纠结了一秒，先去取了几本期刊。
得益于周围几个市贡献的资源，学校的教学资金还算充裕，所以了微微超出需求的期刊和图书资源。兰恩翻了翻，主流的《奥术》、《自然》、《魔法》、《柳叶刀》、《法师周刊》、《奥法综合周报》、《数学会杂志》、《数学新进展》等都是齐全的。
除了可以开拓视野外，这些东西学校里的学生们不太用的上，毕竟，学校只包括了初级奥法教育阶段，和中级奥法教育阶段，这些前沿的东西略微有点超纲了。
本着兴趣，兰恩随意拿了几本回到座位上浏览，虽然很多都看不太懂，但是能对世界的形成一些大致感念。
又有两个人来办理了借书手续，借走了几本习题集，还有一个来图书馆还书的小姑娘，还了一本流行《彩虹奥术师》。
哗哗的书页翻动声，给安静的图书馆增添了一丝令人沉静的氛围。
忽然，《数学新进展》上的一篇论文引起了兰恩的兴趣《论数字计算在决断难题中的应用》——艾伦·麦席森。
一边一边体会这种熟悉的赶脚，兰恩好像又想起来一点东西。
论文中，为了解决“判决问题”的范围广阔的问题，艾伦先生给“可计算性”下了一个严格的定义，并且在论文的尾部，提出了一种有趣的设想。
他设想了一种机器，这种机器十分简单但是运算能力极强，可以用来计算所有具有“可计算性”的函数。
在论文中，艾伦先生首先把人在计算时所做的工作分解成简单的动作，对于人类来说，计算的过程有两部分
（1
第9节 期刊上的论文(2/4)