理論計(jì)算機(jī)科學(xué)的奠基人 | 歷史上的今天_聚看點(diǎn)

整理 | 王啟隆

透過(guò)「歷史上的今天」，從過(guò)去看未來(lái)，從現(xiàn)在亦可以改變未來(lái)。

(資料圖)

今天是 2023 年 6 月 14 日，在 1946 年的今天，英國(guó)電視發(fā)明者貝爾德去世。1924 年，貝爾德首次展出了他制造的電視設(shè)備，當(dāng)時(shí)他成功地用電視傳送了一個(gè)活動(dòng)的物體。1928 年，貝爾德開(kāi)始著手研究彩色電視，他為了制造完美的活動(dòng)圖像傳送系統(tǒng)貢獻(xiàn)了畢業(yè)的精力。

903 年 6 月 14 日：理論計(jì)算機(jī)科學(xué)的創(chuàng)始人 Alonzo Church 出生

1903 年 6 月 14 日，美國(guó)數(shù)學(xué)家阿隆佐·丘奇（Alonzo Church）出生，他曾于 1936 年發(fā)表可計(jì)算函數(shù)的第一份精確定義，對(duì)算法理論的系統(tǒng)發(fā)展做出巨大貢獻(xiàn)。從 1929 年起至 1967 年，他在普林斯頓大學(xué)受教并工作近四十年，曾任數(shù)學(xué)與哲學(xué)教授。他還是 1962 年在斯德哥爾摩舉行的 ICM 的全體會(huì)議發(fā)言人。

一直到 1990 年，丘奇在加州大學(xué)洛杉磯分校擔(dān)任弗林特哲學(xué)和數(shù)學(xué)教授。丘奇最知名的學(xué)生，便是我們都熟知的計(jì)算機(jī)歷史人物：艾倫·圖靈。他們兩人被一同認(rèn)為是計(jì)算機(jī)科學(xué)的奠基人。

圖源：維基百科

1936 年，阿隆佐·丘奇發(fā)表論文，提出了 λ 演算的概念；這份論文早于艾倫圖靈關(guān)于停機(jī)問(wèn)題的工作，而艾倫·圖靈則于同年用對(duì)角論證法證明了，不存在解決停機(jī)問(wèn)題的通用算法。這個(gè)證明的關(guān)鍵在于對(duì)計(jì)算機(jī)和程序的數(shù)學(xué)定義，這被稱為圖靈機(jī)。丘奇看到弟子用不同的方式得出了和自己一樣的研究結(jié)論，隨即推薦了圖靈的這篇開(kāi)創(chuàng)性論文《論可計(jì)算數(shù)及其在判定性問(wèn)題上的應(yīng)用》（On Computable Numbers, with a Application to the Entscheidungsproblem）。

圖靈和丘奇的研究表明，即使是一些比算術(shù)弱很多的純邏輯系統(tǒng)，也沒(méi)有有效的決策方法。解決算法問(wèn)題包括構(gòu)造一個(gè)能解決某一指定集及其他相關(guān)集的算法，如果該算法無(wú)法構(gòu)建，則表明該問(wèn)題是不可解的。證明此種問(wèn)題不可解性的定理是算法理論中的一大突破，丘奇的算法即為該類算法的首例。丘奇證明了基本幾何問(wèn)題的算法不可解性。同時(shí)證明了一階邏輯中真命題全集的解法問(wèn)題是不可解的。丘奇和圖靈的論文還提出了“丘奇-圖靈命題”，即所有可以被人類計(jì)算的東西也可以被通用的圖靈機(jī)器計(jì)算。這一論斷很重要，因?yàn)樗赋隽巳祟愑?jì)算的極限。

如果只看到這，想必你會(huì)認(rèn)為這對(duì)師徒的關(guān)系十分融洽，是在開(kāi)辟計(jì)算機(jī)界的路途上互幫互助的好搭檔；但事實(shí)上，圖靈和丘奇有著許多對(duì)立的觀點(diǎn)，比起師徒更像是“合作伙伴”，前面提到的開(kāi)創(chuàng)性論文，他們也是用了截然不同的方法，過(guò)程中毫無(wú)交流。根據(jù)安德魯·霍奇斯的艾倫·圖靈傳記，兩人并不是很親近，也很少見(jiàn)面。更準(zhǔn)確地說(shuō)，兩個(gè)人唯一的一次合作，可能就是 1936 年的這篇論文和隨后的“丘奇-圖靈命題”了。

總而言之，丘奇依然是計(jì)算機(jī)歷史上無(wú)法繞開(kāi)的人物，是計(jì)算機(jī)科學(xué)和邏輯領(lǐng)域的主要先驅(qū)之一，他沒(méi)有像圖靈一樣令人嘆惋的悲劇故事，而是不緊不慢地在自己的生涯中進(jìn)行著無(wú)止境的學(xué)術(shù)研究。

資料來(lái)源：維基百科

1949 年 6 月 14 日：VisiCalc 電子表格程序的共同創(chuàng)建者 Robert Frankston 出生

圖源：維基百科

鮑勃·弗蘭克斯頓（Robert M. Frankston）出生于 1949 年 6 月 14 日，他是美國(guó)的一位軟件工程師和商人，與 Dan Bricklin 共同創(chuàng)建了 VisiCalc 電子表格程序。弗蘭克斯頓也是 Software Arts 的聯(lián)合創(chuàng)始人。弗蘭克斯頓在紐約布魯克林出生和長(zhǎng)大。他于 1966 年畢業(yè)于紐約市Stuyvesant 高中。他獲得了麻省理工學(xué)院計(jì)算機(jī)科學(xué)和數(shù)學(xué)專業(yè)的理學(xué)學(xué)士學(xué)位，隨后又獲得了麻省理工學(xué)院的計(jì)算機(jī)科學(xué)工程碩士學(xué)位。

VisiCalc 是世界上第一個(gè)用于個(gè)人計(jì)算機(jī)的電子表格 計(jì)算機(jī)程序，最初發(fā)布于 Apple II 平臺(tái)；VisiCalc 的歷史意義讓微型計(jì)算機(jī)從計(jì)算機(jī)愛(ài)好者的愛(ài)好轉(zhuǎn)變?yōu)橐环N嚴(yán)肅的商業(yè)工具并促使 IBM 在兩年后推出了 IBM PC 。VisiCalc 也是 Apple II 的殺手級(jí)應(yīng)用，當(dāng)時(shí)只有 Apple II 擁有這款軟件，直接促進(jìn)了 Apple II 的銷量。VisiCalc 在六年內(nèi)售出了超過(guò) 700,000 份，在其歷史上銷量高達(dá) 100 萬(wàn)份。

在與 Dan Bricklin 合作之后，弗蘭克斯頓后來(lái)在 Lotus Development Corporation 和 Microsoft 工作。弗蘭克斯頓直言不諱地倡導(dǎo)減少電信公司在互聯(lián)網(wǎng)發(fā)展中的作用，特別是在寬帶和移動(dòng)通信方面。他創(chuàng)造了“監(jiān)管機(jī)構(gòu)”一詞來(lái)描述他認(rèn)為電信公司與其監(jiān)管機(jī)構(gòu)之間的勾結(jié)阻止了變革。

資料來(lái)源：維基百科

2003 年 6 月 14 日：雅虎以 16.3 億美元收購(gòu) Overture

圖源：維基百科

Overture 的前身 GoTo 是 Idealab 的衍生產(chǎn)品，也是世界上第一家成功提供按位置付費(fèi)搜索服務(wù)的公司。1998 年 2 月，GoTo 為廣告商提供了一個(gè)選項(xiàng)，讓廣告商自行選擇支付多少費(fèi)用以顯示在結(jié)果頂部以響應(yīng)特定搜索。每次搜索者點(diǎn)擊廣告商網(wǎng)站的鏈接時(shí)，廣告商都會(huì)向 GoTo 支付出價(jià)金額。GoTo 的付費(fèi)模式非常成功，2001 年 10 月 8 日，GoTo 更名為 Overture Services，通過(guò)之后的深度合作，Overture 使 MSN 和 Yahoo 等門戶網(wǎng)站能夠通過(guò)每天在其網(wǎng)站上進(jìn)行的數(shù)億次網(wǎng)絡(luò)搜索獲利。

2003 年 10 月 7 日，Overture 被其最大的客戶雅虎以 16.3 億美元收購(gòu)。隨著雅虎將其許多產(chǎn)品重新命名為雅虎名稱，Overture 的舊品牌名稱被逐步淘汰。日本和韓國(guó)則是例外，當(dāng)?shù)仄髽I(yè)選擇繼續(xù)使用 Overture 品牌。不過(guò)，這場(chǎng)收購(gòu)的背后，其實(shí)還有個(gè)小插曲。1999 年 5 月，GoTo 提交了題為“影響計(jì)算機(jī)網(wǎng)絡(luò)搜索引擎生成的搜索結(jié)果列表中位置的系統(tǒng)和方法”的專利申請(qǐng)；在被雅虎收購(gòu)之前，Overture 于 2002 年 1 月根據(jù)該專利對(duì) FindWhat.com 和 2002 年 4 月對(duì)谷歌發(fā)起了侵權(quán)訴訟。谷歌的官司談何容易，于是 Overture 選擇了更簡(jiǎn)單的做法：在雅虎收購(gòu) Overture 之后，谷歌同意向雅虎發(fā)行 270 萬(wàn)股普通股以換取永久許可，從而解決了訴訟。

【歡迎投稿】以史為鏡，可以知興替。 計(jì)算機(jī)科學(xué)發(fā)展至今，有許多至關(guān)重要的事件、人物，歡迎所有朋友一起共建「歷史上的今天」，投稿郵箱： tangxy@csdn.net 。