整理 | 王啟隆

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

(資料圖)

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

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

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

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

圖源：維基百科

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

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

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

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

資料來源：維基百科

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

圖源：維基百科

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

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

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

資料來源：維基百科

2003 年 6 月 14 日：雅虎以 16.3 億美元收購 Overture

圖源：維基百科

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

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

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