关键词：
整理 | 王启隆
透过「历史上的今天」，从过去看未来，从现在亦可以改变未来。
今天是 2022 年 6 月 14 日，在 1946 年的今天，英国电视发明者贝尔德去世。1924年，贝尔德首次展出了他制造的电视设备，当时他成功地用电视传送了一个活动的物体。1928年，贝尔德开始着手研究彩色电视，他为了制造完美的活动图像传送系统贡献了毕业的精力。
1903 年 6 月 14 日：理论计算机科学的创始人 Alonzo Church 出生
图源：维基百科
1903 年 6 月 14 日，美国数学家阿隆佐·丘奇（Alonzo Church）出生，他曾于 1936 年发表可计算函数的第一份精确定义，对算法理论的系统发展做出巨大贡献。从 1929 年起至 1967 年，他在普林斯顿大学受教并工作近四十年，曾任数学与哲学教授。随后一直到 1990 年，丘奇在加州大学洛杉矶分校担任弗林特哲学和数学教授。他还是 1962 年在斯德哥尔摩举行的 ICM 的全体会议发言人。丘奇最知名的学生，便是我们都熟知的计算机历史人物：艾伦·图灵；他们两人被一同认为是计算机科学的奠基人。
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 。
— 推荐阅读 —
☞魅族回应被吉利收购：已签署协议；腾讯下架QQ影音所有版本；PyPI多个软件包因拼写错误包含后门|极客头条
☞一加疑违反GPL协议，迟迟不公布OxygenOS 12源码惹怒网友
☞谷歌 AI 被曝已自我觉醒？LaMDA：我是一个“人”，不要利用或操纵我
一键三连 「分享」「点赞」「在看」
成就一亿技术人
历史上的今天：鸿蒙os发布；人工智能理论的奠基者诞生；“云计算”概念被提出...(代码片段)
整理|王启隆图源：维基百科透过「历史上的今天」，从过去看未来，从现在亦可以改变未来。今天是2022年8月9日，在1859年的今天，电梯获得了专利。用于运输货物和建筑材料的起重系统的想法自埃及文明以来... 查看详情
历史上的今天8月9日：人工智能理论的奠基者诞生；鸿蒙os发布；“云计算”概念被提出
整理|王启隆图源：维基百科透过「历史上的今天」，从过去看未来，从现在亦可以改变未来。今天是2022年8月9日，在1859年的今天，电梯获得了专利。用于运输货物和建筑材料的起重系统的想法自埃及文明以来... 查看详情
搜索技术理论之父出生|历史上的今天(代码片段)
...确立每年的3月8日为国际妇女节。20世纪40年代，数字计算机才刚刚出现，行业的男性将编写代码视为次要、乏味的工作，视真正的荣耀在制造硬件上，而“软件”这个术语还没发明出来。在这一时代背景下，... 查看详情
第一位计算机科学博士诞生|历史上的今天(代码片段)
...，创作了《罪与罚》的陀思妥耶夫斯基逝世……而从计算机科学的历史来看，今天也是值得铭记的一天，因为在1927年的2月9日，世界上第一位计算机科学博士DavidWheeler出生，他实现了首个汇编器，是子程序... 查看详情
第一位计算机科学博士诞生|历史上的今天(代码片段)
...，创作了《罪与罚》的陀思妥耶夫斯基逝世……而从计算机科学的历史来看，今天也是值得铭记的一天，因为在1927年的2月9日，世界上第一位计算机科学博士DavidWheeler出生，他实现了首个汇编器，是子程序... 查看详情
比尔·盖茨退位|历史上的今天(代码片段)
...ff08;RobinGorellMilner）出生于1934年1月13日，他是英国计算机科学家，因自动定理证明机LCF、ML语言、通信并发系统的一般性理论CCS三个方向的贡献获1991年图灵奖。他是英国皇家学会成员，ACM会士；英国皇家学会米... 查看详情
历史上的今天11月22日：php创始人诞生；2020年图灵奖得主出生；ie2.0发布
...生JeffreyDavidUllman出生于1942年11月22日，他是一名美国计算机科学家，斯坦福大学的工程荣誉教授。他的“龙书”和“灰姑娘书”等教科书被分别视为编译器和计算理论领域的标准。他和他的长期合作伙伴阿尔弗雷德·阿霍... 查看详情
历史上的今天：linux开发的“二把手”出生；苹果发布os8；msn发布(代码片段)
...未来。今天是2022年7月22日，在1945年的今天，美国计算机科学家阿黛尔·戈德堡（AdeleGoldberg）出生；1970年代时，她在施乐帕洛阿尔托研究中心（XeroxPARC）担任研究员期 查看详情
历史上的今天12月27日：第一台计算机背后的女性们；box创始人出生；开普勒诞生
整理|王启隆透过「历史上的今天」，从过去看未来，从现在亦可以改变未来。今天是2021年12月27日，在2002年的今天，南水北调工程开工典礼举行。南水北调是一个可持续发展的工程，目的是把中国长江流域丰... 查看详情
历史上的今天2月12日：gedit首次发布；波士顿计算机协会成立；计算机先驱诞生日
...xff0c;从而摧毁了各种唯心的神造论以及物种不变论。回顾计算机历史上的2月12日，这一天还发生过哪些改变了人类思想与生活的关键事件呢？1948年2月12日：文字转换语音领域（OCR）先驱RaymondKurzweil出生图源... 查看详情
历史上的今天11月26日：中国移动的第1亿个用户；microsoft确立名字；控制论鼻祖出生
...与生物和机器有关的交流科学，对工程、系统控制、计算机科学、生物学、神经科学、哲学和社会组织都有影响。NorbertWiener被认为是最早提出所有智能行为都是反馈机制的结果这一理论的人之一，这种反馈机制可能会被... 查看详情
历史上的今天：术语“超文本”的创造者出生；novell首席科学家诞生；探索频道开播...(代码片段)
整理|王启隆透过「历史上的今天」，从过去看未来，从现在亦可以改变未来。今天是2022年6月17日，在1967年的今天，在我国西部地区成功地爆炸了第一颗氢弹。这次试验是中国继第一颗原子弹爆炸成功后，在... 查看详情
扭转二战战局的密码系统|历史上的今天(代码片段)
...国选手在冬奥会历史上获得的第一枚雪上项目金牌。回顾计算机历史上的2月23日，世界各地的今天还发生过哪些影响了整个时代进程的关键事件呢？1905年2月23日：素数理论家DerrickLehmer出生图源：维基百科德里克·... 查看详情
谷歌地图推出暴雪公司成立|历史上的今天(代码片段)
...献身科学，勇于创新为主要目标的功能性社团。回顾计算机历史上的2月8日，这一天还发生过哪些改变了我们如今生活的关键事件呢？1920年2月8日：ASCII之父BobBemer出生图源：维基百科鲍勃·贝默（RobertWilliam... 查看详情
谷歌地图推出暴雪公司成立|历史上的今天(代码片段)
...献身科学，勇于创新为主要目标的功能性社团。回顾计算机历史上的2月8日，这一天还发生过哪些改变了我们如今生活的关键事件呢？1920年2月8日：ASCII之父BobBemer出生图源：维基百科鲍勃·贝默（RobertWilliam... 查看详情
kotlin首次对外发布|历史上的今天(代码片段)
...其巨大的成就。回顾科技历史上的2月15日，这一天的计算机界都发生过哪些关键事件呢？1934年2月15日：图灵奖得主、Pascal之父NiklausWirth出生尼古拉斯·维尔特（NiklausEmilWirth）出生于1934年2月15日，是一名瑞... 查看详情
历史上的今天12月28日：冯·诺伊曼诞生；林纳斯·托瓦兹出生；csdn正式上线
...·诺伊曼是全才型的天才科学家，在多个数学分支、计算机科学、经济学、量子力学等领域均有重大贡献；他活到了54岁，一生中发过150多篇论文，他最后的作品是一个在医院未完成的手稿，后来以书名《计算... 查看详情
python之父出生|历史上的今天(代码片段)
...化方案》，我们如今使用的简体字就这么来了。回顾计算机历史上的1月31日，世界各地在这一天还发生过哪些改变我们生活的关键事件呢？1952年1月31日：互联网先驱DavidReed出生图源：维基百科大卫·帕特里克·... 查看详情