科技的成就（五十一）

397、初等数论的不可解问题
1936 年 4 月，邱奇证明判定性问题不可解。33 岁的邱奇发表论文《初等数论的不可解问题》，运用λ演算给出了判定性问题一个否定的答案。λ演算是一套从数学逻辑中发展起来的形式系统，采用变量绑定和替换，研究函数的抽象和应用。

398、NP 完备领域开山论文发表
1971 年 5 月，NP 完备领域开山论文发表。史蒂芬·库克在自己的博士论文“The Complexity of Theorem Proving Procedures”中定义了 NP 完备问题并提出了库克定理，奠定了 NP 完备的理论基础，开启了该领域的快速发展。

399、Simula 67 发布
1967 年 5 月，Simula 67 发布。最初的 Simula 版本是 Simula I，于 1962 年发布，分别由达尔和尼高设计与实现，一开始就是为模拟环境而开发的。之后的Simula 67 引入对象、类、继承等概念，成为第一种面向对象程序设计语言。C++、Java 等均受 Simula 67 的重大影响。

400、Node 发布
2009 年 5 月 27 日，Node 发布。Node 由瑞安·达尔开发，是一个开源、跨平台 JavaScript 运行时环境，可以在 Web 浏览器之外执行 JavaScript 代码，推动了服务器端 JavaScript 领域的快速发展。Node 是首个使用非阻塞编程模型的主流框架。

401、图灵提交划时代论文
1936 年 5 月 28 日，图灵提交划时代论文。图灵在《论可计算数及其在判定问题上的应用》中阐述了图灵机的概念。图灵机属于思想实验，体现了现代计算机的所有逻辑功能。这台“机器”由无限长的纸带、读写头、控制器和寄存器组成。

402、大 O 符号诞生
1892 年，大 O 符号诞生。大 O 符号在数学上用于描述函数的渐进行为，在计算机领域用于分析算法的复杂度。大 O 符号由德国数论学家巴赫曼在著作《解析数论》（Analytische Zahlentheorie）首先引入，并经朗道等推广而普及使用，一般也称为“朗道符号”。

403、MSN首个版本发布
"1999 年 7 月 22 日，MSN Messenger 首个版本发布。MSN Messenger 是微软开发的即时通信软件，8.0 版本之后改成了 Windows Live Messenger。除了有基本的文字通信功能外，还支持视频会议、语音交谈、多人会议、连线游戏等。"

404、CAP 定理
"1998 年，布鲁尔提出 CAP 定理。CAP 定理是指一个分布式系统不可能同时满足以下三点：一致性（Consistency）、可用性（Availability）和分区容错性（Partition tolerance）。CAP 定理一开始由布鲁尔以猜想的形式提出，又被称作布鲁尔定理。"
 

记录前辈的功绩与成就，激励我们不断前行!