整理 | 王启隆
透过「历史上的今天」，从过去看未来，从现在亦可以改变未来。
今天是 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 。
推荐阅读：
▶余承东回应高通对华为恢复 5G 芯片供应；ChatGPT 发布重要更新；微软推出免费 AI 入门课|极客头条
▶Altman、Hinton 中国首秀：GPT 终将过时，AI 是当今世界最迫切的问题！
