computer-science / pioneers
先驱
图灵、冯·诺伊曼、香农、Dijkstra、Knuth 到 Hinton——奠定计算的人
36 篇
艾伦·图灵
Alan Turing
在计算机这台机器被造出来之前十几年，一个 24 岁的剑桥研究生先在纸上把它想了出来。1936 年，艾伦·图灵为了回答一个纯逻辑问题，发明了一个假想的机器——后来人们叫它"图灵机"。这台纸上的机器，定义了"什么叫做计算"，也定义了此后所有真实计算机的能力边界。 流行叙事常把图灵说成"计算机之父，造出了第一台电脑"。这既高…
图灵机 · 可计算性 · 人工智能
被 4 个领域引用（数学、哲学思想、人类历史、宇宙物理）
冯·诺伊曼
John von Neumann
1945 年夏，一份未经正式发表、只是在研究人员之间传阅的打字稿，重新定义了计算机应该是什么样子。这份由约翰·冯·诺伊曼（John von Neumann）执笔的《EDVAC 报告初稿》，把指令和数据都放进同一块存储器——这个看似朴素的决定，成为此后七十年几乎所有计算机的骨架。 "冯·诺伊曼架构"让人以为他是个工程师，…
存储程序 · 冯诺伊曼架构 · 博弈论
被 1 个领域引用（工程与技术）
克劳德·香农
Claude Shannon
1948 年，《贝尔系统技术期刊》分两期（7 月与 10 月）刊发了一篇合计约五十页的长文，题目平淡无奇：《通信的数学理论》。克劳德·香农（Claude Shannon）在这篇文章里做了一件看上去不可能的事：把"信息"这个飘忽不定的直觉，变成了可以精确计算的数学量。这不仅仅是一篇通信工程论文——它创造了一门全新的科学。…
信息论 · 熵 · 比特
被 1 个领域引用（工程与技术）
约翰·麦卡锡
John McCarthy
1955 年夏天，一个年仅 27 岁的数学家在一份提案里写下了两个词："artificial intelligence"。那个夏天，这两个词还不存在于任何技术词汇表里。写下它们的人是约翰·麦卡锡（John McCarthy），他正在筹备一场将在达特茅斯学院举行的暑期研讨会，并需要给这场会议的研究主题起一个名字。 这个名…
人工智能 · LISP · 达特茅斯会议
莱斯利·兰波特
Leslie Lamport
1978 年，兰波特（Leslie Lamport）发表了一篇题为《分布式系统中的时间、时钟与事件排序》（Time, Clocks, and the Ordering of Events in a Distributed System）的论文，提出了"逻辑时钟"的概念。 这篇论文在计算机科学史上有着奇特的地位：它不只是…
分布式系统 · 逻辑时钟 · Paxos
被 1 个领域引用（哲学思想）
罗伯特·塔扬
Robert Tarjan
1971 年，斯坦福大学的一名博士生在攻读计算机科学的第一年，注意到一个奇特的模式：深度优先搜索（DFS）这个看似简单的图遍历策略，背后蕴藏着惊人的算法力量。 他用 DFS 设计出了有向图强连通分量的线性时间算法，接着是双连通分量、平面图测试……一系列看似不相关的图论难题，在 DFS 框架下迎刃而解。
算法 · 图论 · 数据结构
托尼·霍尔
Tony Hoare
1960 年，一位 26 岁的英国年轻人为了和上司打的一个赌，写出了一种排序方法。它快得不可思议，至今仍是计算机每天排序数据时最常用的算法之一。但写出它的查尔斯·安东尼·理查德·霍尔（C. A. R. Hoare，人称 Tony Hoare），后来用一生做的，是一件更难的事：让我们相信一个程序真的是对的。 提到霍尔，几…
快速排序 · 霍尔逻辑 · 程序正确性
艾兹格·迪科斯彻
Edsger W. Dijkstra
1968 年，《ACM 通讯》刊发了一封只有三段话的短信，标题是《Go To 语句被认为是有害的》（Go To Statement Considered Harmful）。发信人是荷兰计算机科学家艾兹格·威贝·迪科斯彻（Edsger Wybe Dijkstra）。这封信引发的争论延续了数十年——但它改变了整整一代程序员…
最短路径 · 结构化编程 · 信号量
唐纳德·克努特
Donald E. Knuth
1962 年，一位年仅 24 岁的数学研究生收到了一家出版社的邀约，请他写一本关于编译器的书。他估计需要 12 章，大约两年完成。实际上，他花了六十年，只写完了其中的一部分——但这本半完成的书，已经被许多人认为是计算机科学史上最重要的著作。这个人是唐纳德·厄尔·克努特（Donald Ervin Knuth），这套书叫《…
算法分析 · 计算机程序设计艺术 · TeX
格蕾丝·霍普
Grace Hopper
1947 年 9 月 9 日，哈佛大学 Mark II 计算机出现故障。操作团队在继电器（Relay 70）触点之间找到了一只飞蛾，把它用胶带粘在日志本上，在旁边写道："First actual case of bug being found（首次发现真正的 bug 实例）。"这一页日志至今保存在史密森尼美国国家历史博…
编译器 · COBOL · 程序调试
蒂姆·伯纳斯-李
Tim Berners-Lee
1989 年 3 月，一位在瑞士日内瓦欧洲核子研究中心（CERN）工作的英国工程师向老板提交了一份建议书，标题是《信息管理：一个提案》（Information Management: A Proposal）。老板在封面上写了四个字："模糊但令人兴奋。"这份"模糊的提案"，成为万维网（World Wide Web）的起点…
万维网 · HTTP · HTML
文顿·瑟夫
Vint Cerf
1973 年的一个下午，文顿·瑟夫（Vinton G. Cerf）坐在旧金山的一家酒店大堂里，在一个信封的背面草草写下了一些想法——关于如何让不同的计算机网络互相"交谈"。他的搭档鲍勃·卡恩（Bob Kahn）在旁边提出问题，他负责画图和写方程。 那张信封上的草图，最终演化成了 TCP/IP 协议——今天地球上所有互联…
TCP/IP · 互联网 · 网络协议
丹尼斯·里奇
Dennis Ritchie
有一种贡献，你每天在使用它，却从未意识到它的存在。你打开的每一个 App，运行的每一段服务器代码，嵌入在你汽车里的每一行固件——它们的绝大多数都用 C 语言写成，或者运行在 Unix 及其后代（Linux、macOS、Android、iOS 的内核）之上。 丹尼斯·里奇（Dennis Ritchie）是 C 语言的发明…
C语言 · Unix · 操作系统
肯·汤普森
Ken Thompson
1969 年的一个夏天，肯·汤普森（Ken Thompson）的妻子和儿子去加利福尼亚度假，给他留下了三个星期的独处时光。他用这三周，在贝尔实验室一台被废弃的 PDP-7 小型机上，写出了一个操作系统内核、一个 shell 和一个文件系统编辑器。 这就是 Unix 的诞生。
Unix · B语言 · UTF-8
理查德·斯托曼
Richard Stallman
1983 年 9 月 27 日，MIT 人工智能实验室的一台打印机引发了一场运动。理查德·斯托曼（Richard Matthew Stallman，缩写 RMS）想修改一台 Xerox 激光打印机的驱动程序——它频繁卡纸却不通知用户。但 Xerox 拒绝提供源代码。 这个拒绝让斯托曼极度不安。在他看来，软件本该像科学知…
自由软件 · GNU · 版权左置
林纳斯·托瓦兹
Linus Torvalds
1991 年 8 月 25 日，赫尔辛基大学的一名 21 岁学生在 comp.os.minix 新闻组上发帖： 这个声称"只是爱好"、"不会很大"的项目，就是 Linux 内核。三十余年后，它运行在全球超过 90% 的服务器、97% 的超级计算机、全球 Android 手机、云计算基础设施的绝大多数，以及太空中的火星直…
Linux · Git · 开源
比尔·盖茨
Bill Gates
1975 年 1 月，《大众电子》杂志封面刊登了 Altair 8800——第一台面向消费者的个人计算机套件。哈佛大学大二学生比尔·盖茨（William Henry Gates III）看到后，打电话给制造商 MITS，声称他和搭档保罗·艾伦（Paul Allen）已经有了一款可以在 Altair 上运行的 BASIC…
微软 · 个人电脑 · 软件产业
史蒂夫·沃兹尼亚克
Steve Wozniak
如果说史蒂夫·乔布斯是苹果公司的灵魂，史蒂夫·沃兹尼亚克（Stephen Gary Wozniak，绰号"Woz"）就是它的智识。 1976 年，Wozniak 在惠普做工程师，利用业余时间为"家酿计算机俱乐部"（Homebrew Computer Club）的朋友们设计了一台电脑。他从未想过要卖它——只是想炫耀一个精…
Apple · 个人电脑 · 硬件工程
杨·勒坤
Yann LeCun
1989 年，贝尔实验室的一位年轻法国研究员把一张手写数字的灰度图像送入一个神经网络，网络输出了正确的数字识别结果。这不是第一次有人尝试用神经网络识别字符，但这一次的网络有一个根本不同的结构——它利用了图像的空间局部性，用共享权重的小型过滤器扫描整张图像，而不是把图像"拍平"成一维向量。 这种结构叫卷积神经网络（Con…
深度学习 · 卷积神经网络 · 计算机视觉
约书亚·本希奥
Yoshua Bengio
2003 年，约书亚·本希奥（Yoshua Bengio）与合作者发表了一篇论文《神经概率语言模型》（A Neural Probabilistic Language Model）。这篇论文引入了一个在当时看起来只是技术细节的思想：用神经网络把词语映射到低维连续向量空间——词嵌入（Word Embeddings）。 没有…
深度学习 · 生成模型 · 图灵奖