整理 | 王啟隆

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

(資料圖)

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

903 年 6 月 14 日：理論計算機科學的創始人 Alonzo Church 出生

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

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

圖源：維基百科

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

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

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

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

資料來源：維基百科

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

圖源：維基百科

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

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

在與 Dan Bricklin 合作之后，弗蘭克斯頓后來在 Lotus Development Corporation 和 Microsoft 工作。弗蘭克斯頓直言不諱地倡導減少電信公司在互聯網發展中的作用，特別是在寬帶和移動通信方面。他創造了“監管機構”一詞來描述他認為電信公司與其監管機構之間的勾結阻止了變革。

資料來源：維基百科

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

圖源：維基百科

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

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

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