第9章 期刊上的論文
  屋頂的魔法燈陣列發出柔和的光芒，給圖書館帶來靜謐的氣氛。

  在書架之間走來走去的學生們，受到這種氣氛的感染，也下意識的減小了呼吸的力道，放慢腳步、輕踩輕抬。

  當閱讀者們看到自己正在按照索引尋找的書籍，亦或是偶遇對書名感興趣的書籍時，便伸手輕輕將其從書架上抽出來。有時候還會搬一下牆邊的簡易梯墊腳。然後，擁有了這本書的人一般會將書翻開，閱讀一下目錄或者快速瀏覽一下。

  有那心急的人，會直接依靠在牆邊、柱子，或者直接坐在地上，將自己投入手中的知識。其余的人，則會挑選後，來到門口處，向圖書管理員提交借閱卡和兩枚硬幣，辦理借閱手續。

  只有在隔壁的圖書閱覽室內，才會有學生抱著幾本期刊，走去期刊室提供的桌邊，或讀或記。

  這種借閱行為，今天並不多，所以需要蘭恩處理的事情，頻率很低。

  他選擇在這種安靜舒適的環境中複習今天的課程，並且，他準備預習明後天的課程。

  時針很快走過了一個小時，期間蘭恩隻處理了兩三個借書請求，辦理借書卡的更是一個都沒有。

  蘭恩感覺，對於他的水平來說，課程有些過於簡單，複習和預習的計劃完成的很快。

  可以適當的加快自學的進度，他想。雖然對於初級奧法學校來說，第二年尤其是第三年畢業才是常態，但是第一年畢業也不是不可以爭取一下。

  伸了個懶腰，將課本和筆記（自己的和艾琳娜的）放回書包，蘭恩準備乾點兒別的放松一下。

  看著手邊的書庫和期刊室，蘭恩感覺，既然從事了圖書管理員這個偉大的兼職，那這麽優良的條件，不用白不用。

  他糾結了一秒，先去取了幾本期刊。

  得益於周圍幾個市貢獻的資源，學校的教學資金還算充裕，所以提供了微微超出需求的期刊和圖書資源。蘭恩翻了翻，主流的《奧術》、《自然》、《魔法》、《柳葉刀》、《法師周刊》、《奧法綜合周報》、《數學會雜志》、《數學新進展》等都是齊全的。

  除了可以開拓視野外，這些東西學校裡的學生們不太用的上，畢竟，學校隻包括了初級奧法教育階段，和中級奧法教育階段，閱讀這些前沿的東西略微有點超綱了。

  本著興趣，蘭恩隨意拿了幾本回到座位上瀏覽，雖然很多都看不太懂，但是能對世界的形成一些大致感念。

  又有兩個人來辦理了借書手續，借走了幾本習題集，還有一個來圖書館還書的小姑娘，還了一本流行小說《彩虹奧術師》。

  嘩嘩的書頁翻動聲，給安靜的圖書館增添了一絲令人沉靜的氛圍。

  忽然，《數學新進展》上的一篇論文引起了蘭恩的興趣：《論數字計算在決斷難題中的應用》——艾倫·麥席森。

  一邊閱讀一邊體會這種熟悉的趕腳，蘭恩好像又想起來一點東西。

  論文中，為了解決“判決問題”的范圍廣闊的問題，艾倫先生給“可計算性”下了一個嚴格的定義，並且在論文的尾部，提出了一種有趣的設想。

  他設想了一種機器，這種機器十分簡單但是運算能力極強，可以用來計算所有具有“可計算性”的函數。

  在論文中，艾倫先生首先把人在計算時所做的工作分解成簡單的動作，對於人類來說，計算的過程有兩部分：
  （1）在紙上寫上或擦除某個符號；
  （2）把注意力從紙的一個位置移動到另一個位置；
  為了模擬人的這種運算過程，他設想的這台機器，有四個部分：
  （1）一條無限長的紙帶。紙帶被劃分為一個一個的小格子，每個格子上包括一個有限字母表的符號，字母表要包括一個稱為“空白”的特殊符號。

  （2）一個讀寫裝置。可以在上面的紙帶上左右移動，並讀寫當前格子上的符號。

  （3）一套控制規則。能夠根據機器當前狀態和當前格子上的內容，確定下一步讀寫裝置的動作，並改變機器的當前狀態，進入一個新的狀態。

  （4）一個狀態寄存器。存儲機器的當前狀態，機器的狀態數必須是有限的，而且有一個稱為“停機狀態”的特殊狀態。

  機器的一次單一動作，即讀寫裝置讀出一個信息，然後根據當前內部狀態進行查表，得出一個輸出動作（是否往紙帶上寫信息，還是移動讀寫裝置到下一個方格）。同時，規則內部也會告訴機器，下一個時刻內部狀態轉移到哪一個。

  如此循環往複，或可計算所有的可計算問題。

  文中提議，整個計算過程可以采用二進位製，這是極其巧妙而具有美感的設計，就像論文裡引用大奧術師萊布尼茲手稿中的那句話：“1與0，一切數字的神奇淵源。這是造物的秘密、美妙的典范，因為，一切無非都來自上天。”

  整篇論文，給人一種異常的熟悉感。

  蘭恩敏銳的察覺到，這似乎是一個新時代的前奏。

  或許自己可以加快這個時代的到來，蘭恩想。

  正在這時，圖書館關門時間到了，他默默的在自己筆記本上，記下了這本期刊的名字、期數、頁碼，以備以後查閱。

  蘭恩起身通知還在流連的學生們，圖書館準備關門。他還有後續的工作，就是將書庫和期刊室中的圖書複位。

  將圖書複位也分三個部分：
  （1）將學生們還回來的書籍按照書脊上的索引複位。

  （2）將被抽出來放在回收台上的書籍按照書脊上的索引複位。

  （3）快速巡視所有書架，大致找出被放錯位置的書籍，按照索引複位。

  忙完這一切鎖上圖書館大門，已經很晚了，蘭恩回到宿舍發現所有人都已經入睡。

  他輕手輕腳的脫衣上床，匆匆寫了幾筆日記，然後堅持忍著疲憊，使用通用冥想術進行了一個小時冥想，然後才倒頭睡下。幸好冥想本身也有增強精神和解除疲憊的作用。

  明天是休息日。

  　《On Computable Numbers， with an Application to the Entscheidungsproblem》即《論數字計算在決斷難題中的應用》——艾倫·麥席森·圖靈。

  　　
  　
  (本章完)