歷史回眸

再次啟動時間機……這次到達的是20世紀30年代，離今天近了很多。無論新舊大陸，經(jīng)濟大蕭條都造成了巨大的破壞。社會各階層幾乎每一個家庭都深受其害。只有極其少數(shù)的幾個地方能讓人們免于遭受窮困之苦。幾乎沒有人能夠幸運的在這些避難所里度過危機，注意，我說的是幾乎沒有，還真的有這么些幸運兒，比如說當時普林斯頓大學(xué)的數(shù)學(xué)家們。

新建成的哥特式辦公樓給普林斯頓大學(xué)帶來一種天堂般的安全感。來自世界各地的邏輯學(xué)者應(yīng)邀來到普林斯頓，他們將組建一個新的學(xué)部。正當大部分美國人還在為找不到一片面包做晚餐而發(fā)愁的時候，在普林斯頓卻是這樣一番景象：高高的天花板和木雕包覆的墻，每天品茶論道，漫步叢林。 一個名叫阿隆佐·邱奇(Alonzo Church)的年輕數(shù)學(xué)家就過著這樣優(yōu)越的生活。阿隆佐本科畢業(yè)于普林斯頓后被留在研究院。他覺得這樣的生活完全沒有必要，于是他鮮少出現(xiàn)在那些數(shù)學(xué)茶會中也不喜歡到樹林里散心。阿隆佐更喜歡獨處：自己一個人的時候他的工作效率更高。盡管如此他還是和普林斯頓學(xué)者保持著聯(lián)系，這些人當中有艾倫·圖靈、約翰·馮·諾伊曼、庫爾特·哥德爾。

這四個人都對形式系統(tǒng)感興趣。相對于現(xiàn)實世界，他們更關(guān)心如何解決抽象的數(shù)學(xué)問題。而他們的問題都有這么一個共同點：都在嘗試解答關(guān)于計算的問題。諸如：如果有一臺擁有無窮計算能力的超級機器，可以用來解決什么問題？它可以自動的解決這些問題嗎？是不是還是有些問題解決不了，如果有的話，是為什么？如果這樣的機器采用不同的設(shè)計，它們的計算能力相同嗎？

在與這些人的合作下，阿隆佐設(shè)計了一個名為lambda演算的形式系統(tǒng)。這個系統(tǒng)實質(zhì)上是為其中一個超級機器設(shè)計的編程語言。在這種語言里面，函數(shù)的參數(shù)是函數(shù)，返回值也是函數(shù)。這種函數(shù)用希臘字母lambda（λ），這種系統(tǒng)因此得名4。有了這種形式系統(tǒng)，阿隆佐終于可以分析前面的那些問題并且能夠給出答案了。
除了阿隆佐·邱奇，艾倫·圖靈也在進行類似的研究。他設(shè)計了一種完全不同的系統(tǒng)（后來被稱為圖靈機），并用這種系統(tǒng)得出了和阿隆佐相似的答案。到了后來人們證明了圖靈機和lambda演算的能力是一樣的。

如果二戰(zhàn)沒有發(fā)生，這個故事到這里就應(yīng)該結(jié)束了，我的這篇小文沒什么好說的了，你們也可以去看看有什么其他好看的文章?？墒嵌?zhàn)還是爆發(fā)了，整個世界陷于火海之中。那時的美軍空前的大量使用炮兵。為了提高轟炸的精度，軍方聘請了大批數(shù)學(xué)家夜以繼日的求解各種差分方程用于計算各種火炮發(fā)射數(shù)據(jù)表。后來他們發(fā)現(xiàn)單純手工計算這些方程太耗時了，為了解決這個問題，各種各樣的計算設(shè)備應(yīng)運而生。IBM制造的Mark一號就是用來計算這些發(fā)射數(shù)據(jù)表的第一臺機器。Mark一號重5噸，由75萬個零部件構(gòu)成，每一秒可以完成3次運算。

戰(zhàn)后，人們?yōu)樘岣哂嬎隳芰Χ龀龅呐Σ]有停止。1949年第一臺電子離散變量自動計算機誕生并取得了巨大的成功。它是馮·諾伊曼設(shè)計架構(gòu)的第一個實例，也是一臺現(xiàn)實世界中實現(xiàn)的圖靈機。相比他的這些同事，那個時候阿隆佐的運氣就沒那么好了。

到了50年代末，一個叫John McCarthy的MIT教授（他也是普林斯頓的碩士）對阿隆佐的成果產(chǎn)生了興趣。1958年他發(fā)明了一種列表處理語言（Lisp），這種語言是一種阿隆佐lambda演算在現(xiàn)實世界的實現(xiàn)，而且它能在馮·諾伊曼計算機上運行！很多計算機科學(xué)家都認識到了Lisp強大的能力。1973年在MIT人工智能實驗室的一些程序員研發(fā)出一種機器，并把它叫做Lisp機。于是阿隆佐的lambda演算也有自己的硬件實現(xiàn)了！