通过“历史上的今天”从过去看未来，也可以从现在改变未来。 　　

　　今天是2022年6月14日。1946年的今天，英国电视的发明者贝尔德去世了。贝尔德于1924年首次展出了他的电视设备，当时他成功地通过电视传输了一个移动的物体。1928年，贝尔德开始研究彩色电视，为了制作一套完美的运动图像传输系统，他为毕业贡献了自己的精力。 　　

　　1903 年 6 月 14 日：理论计算机科学的创始人 Alonzo Church 出生 　　

　　来源：维基百科 　　

　　美国数学家阿隆佐邱奇出生于1903年6月14日。他在1936年发表了第一个可计算函数的精确定义，为算法理论的系统发展做出了巨大贡献。从1929年到1967年，他在普林斯顿大学任教和工作了近40年。他是数学和哲学教授。直到1990年，丘奇在加州大学洛杉矶分校担任弗林特的哲学和数学教授。他也是1962年在斯德哥尔摩召开的ICM全体会议的发言人。丘奇最著名的学生是我们都很熟悉的计算机历史人物：艾伦图灵；他们俩都被认为是计算机科学的创始人。 　　

　　1936年，Allonzot Church发表论文，提出了微积分的概念。这篇论文早于图灵在《艾伦》中关于停机时间的工作，而图灵在《艾伦》中于同年证明了不存在求解停机时间的通用算法。这个证明的关键在于计算机和程序的数学定义，它被称为图灵机。丘奇看到自己的弟子用不同的方式得出了和自己一样的研究结论，马上推荐了图灵的开创性论文《论可计算数及其在判定性问题上的应用》(论可计算数，并应用于entscheidungsproblem)。 　　

　　图灵和丘奇的研究表明，即使是一些比算术弱得多的纯逻辑系统，也没有有效的决策方法。求解算法问题包括构造一个可以求解指定集合和其他相关集合的算法。如果算法建不起来，就说明问题无解。证明这类问题不可解性的定理是算法理论的突破，丘奇算法是这类算法的第一个例子。丘奇证明了基本几何问题的算法是无解的。同时证明了一阶逻辑中真命题全集的解是无解的。丘奇和图灵的论文还提出了“丘奇-图灵命题”，即凡是人类能计算的，通用图灵机也能计算。这个断言很重要，因为它指出了人类计算的局限性。 　　

　　如果只看到这一点，你会觉得师徒关系很融洽，是在开辟计算机世界的道路上互相帮助的好伙伴。但其实图灵和丘奇有很多对立的观点，更像是“伙伴”，而不是导师和徒弟。对于前面提到的开创性论文，也是用了完全不同的方法，过程中没有任何沟通。根据安德鲁霍奇斯的艾伦图灵传记，两人并不十分亲近，也很少见面。更准确地说，两人唯一的合作可能就是1936年的这篇论文以及随后的“丘奇-图灵命题”。总而言之，丘奇仍然是计算机科学史上不可回避的人物，是计算机科学和逻辑领域的主要先驱之一。而不是像图灵那样的悲剧故事，他一直在自己的职业生涯中做着无止境的学术研究。 　　

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

　　来源：维基百科 　　

　　罗伯特m弗兰克斯顿出生于1949年6月14日。他是美国的软件工程师和商人。他和丹布里克林一起创建了VisiCalc电子表格程序。弗兰克斯顿也是软件艺术公司的联合创始人。弗兰克斯顿在纽约布鲁克林出生和长大。他于1966年毕业于纽约的史岱文森高中。他获得了麻省理工学院的计算机科学和数学学士学位，然后获得了麻省理工学院的计算机科学工程硕士学位。 　　

　　VisiCalc是世界上第一个用于个人电脑的电子表格计算机程序，最初发布于Apple II平台；VisiCalc的历史意义使微型计算机从计算机爱好者的爱好变成了严肃的商业工具，并促使IBM在两年后推出了IBM PC。VisiCalc也是Apple II的杀手级应用。当时只有Apple II拥有这个软件，直接促进了Apple II的销售。VisiCalc年销量超过70万份，历史销量100万份。 　　

　　在与丹布里克林合作后，弗兰克斯顿后来为莲花开发公司和微软工作。弗兰克斯顿直言不讳地主张减少电信公司在互联网发展中的作用，特别是在宽带和移动通信领域。他创造了“监管者”这个术语来描述他所认为的电信 　　

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 万股普通股以换取永久许可，从而解决了诉讼。

成就一亿技术人

<