简体中文
返回首页

早期理论

1930年代—1950年代 · 图灵与计算理论的诞生

在电子计算机出现之前，数学家们已经开始探索一个深刻的问题：机器能否“思考”？这个问题引领了一系列理论基础的出现，为后来人工智能的诞生奠定了数学与逻辑基础。这一时期的先驱者们——图灵、丘奇、哥德尔——他们的工作不仅仅是数学探索，更是对人类心智本质的哲学追问。

这一时期的理论探索可以分为三个主要脉络：计算理论的发展（由图灵和丘奇推动）、形式逻辑的极限（哥德尔的工作）、以及信息论的诞生（香农的贡献）。这三个方向相互交织，共同构成了人工智能的理论基石。

重要里程碑

哥德尔不完备定理

库尔特·哥德尔发表了他的不完备定理，证明了任何足够强大的形式系统都存在无法在该系统内部证明或否定的命题。这一发现不仅震动了数学界，也对后来的计算理论和人工智能产生了深远影响。它表明即使是数学这样的精确系统，也有其固有的局限性。

库尔特·哥德尔 (1906—1978)

已核验 来源： Springer 来源复核日期：

丘奇-图灵论题

阿隆佐·丘奇和阿兰·图灵各自独立提出了著名的 Church-Turing 论题。该论题认为：任何可有效计算的函数都是图灵机可计算的。这一论题将“可计算性”这个直观概念形式化，成为计算机科学的基础。

阿隆佐·丘奇与阿兰·图灵

已核验 来源： Stanford Encyclopedia of Philosophy 来源复核日期：

图灵机

阿兰·图灵在其开创性论文《论可计算数及其在判定问题中的应用》中提出了图灵机概念。这是一个抽象的计算模型，能够模拟任何可计算的数学过程。图灵机不仅奠定了计算理论的基础，也为我们理解“计算”本身提供了最本质的框架。

阿兰·图灵 (1912—1954)

已核验 来源： London Mathematical Society 来源复核日期：

λ演算

阿隆佐·丘奇提出了λ演算（Lambda Calculus），这是一个形式化的函数定义和函数应用系统。λ演算被视为函数式编程的理论基础。1936年的原始λ演算是无类型的。丘奇在1940年的《简单类型论的形式化》中加入了简单类型，创建了最早的显式类型系统之一。它与图灵机在计算能力上是等价的。

阿隆佐·丘奇 (1903—1995)

已核验 来源： American Journal of Mathematics 来源复核日期：

神经元模型

沃伦·麦卡洛克和沃尔特·皮茨发表了《神经活动中内在观念的逻辑演算》，提出了第一个人工神经元模型（McCulloch-Pitts 神经元）。这个模型将神经元简化为一个二元阈值开关，为后来的神经网络研究奠定了基础。

沃伦·麦卡洛克与沃尔特·皮茨

已核验 来源： Bulletin of Mathematical Biophysics 来源复核日期：

控制论

诺伯特·维纳发表了《控制论：关于在动物和机器中控制和通信的科学》，创立了控制论这门新学科。控制论研究了系统如何通过反馈机制来调节自身行为，这对人工智能和机器人学产生了深远影响。

诺伯特·维纳 (1894—1964)

已核验 来源： MIT Press 来源复核日期：

香农信息论

克劳德·香农发表了《通信的数学理论》，奠定了信息论的基础。信息论不仅改变了通信技术，也为后来的机器学习和人工智能提供了重要的理论基础。熵、编码、信息量等概念成为理解数据和处理信息的核心工具。

克劳德·香农 (1916—2001)

已核验 来源： Bell System Technical Journal archive 来源复核日期：

图灵测试

图灵在《计算机器与智能》中以“模仿游戏”取代“机器能思考吗？”这一含义含混的问题：评判者通过文字交流判断回答者是人还是机器。这是一项行为判据，并不等同于证明机器具有意识。

阿兰·图灵

已核验 来源： Mind 来源复核日期：

1955年达特茅斯提案

1955年，John McCarthy、Marvin Minsky、Nathaniel Rochester 与 Claude Shannon 在 Dartmouth Summer Research Project 的提案中使用了“Artificial Intelligence”一词，并提出于1956年夏季共同研究机器智能问题。

约翰·麦卡锡等人

已核验 来源： Stanford / John McCarthy archive 来源复核日期：

重要人物

阿兰·图灵

计算机科学之父

图灵不仅是计算机科学的奠基人，也是人工智能思想的先驱。他的图灵机模型为计算理论奠定了基础，而图灵测试则为智能机器提供了评判标准。在二战期间，他的工作帮助破译了德国的 Enigma 密码。1954年，图灵因不堪忍受对同性恋人身份的迫害而去世。2013年，英国女王伊丽莎白二世追赠他皇家特赦。

阿隆佐·丘奇

λ演算之父

丘奇是普林斯顿大学的教授，他创建的λ演算是函数式编程的理论基础。图灵在普林斯顿随他完成了博士学位。两人在1936年各自独立地给出了可计算性的定义，后来被称为 Church-Turing 论题，这一论题至今仍是计算理论的核心。丘奇一生发表了大量关于逻辑和递归函数的论文。

库尔特·哥德尔

逻辑学家

哥德尔不完备定理被认为是20世纪最重要的数学发现之一。它表明即使是数学这样的精确系统，也有其固有的局限性。这一思想对人工智能的发展有着深远的哲学影响——它提醒我们不要过度迷信形式系统和算法。

克劳德·香农

信息论之父

香农不仅是信息论的创始人，还是人工智能的早期探索者。他建造了一个会走迷宫的机械老鼠（Theseus），这是早期的一个学习机演示。他的1937年硕士论文《继电器与开关电路的符号分析》被认为是数字开关电路理论的奠基之作。

诺伯特·维纳

控制论之父

维纳是麻省理工学院的数学家，他创立了控制论这一跨学科领域。他的“反馈”概念影响了早期人工智能研究。他也是最早警告这类机器可能带来危险的科学家之一，但并非第一个有此担忧的人：他1960年发表在《科学》上的文章，正是把自己的警告与近一个世纪前塞缪尔·巴特勒那部描写机器统治人类的小说相对照。

经典语录

我建议思考这个问题：“机器能思考吗？”

— 阿兰·图灵

Computing Machinery and Intelligence · Mind 59 (236), 1950, 433–460

要么……人的心智（即便在纯数学的范围内）无限地超越任何有限机器的能力，要么就存在绝对不可解的丢番图问题。

— 库尔特·哥德尔

Some basic theorems on the foundations of mathematics and their implications · Gibbs Lecture, 1951; Collected Works III, 1995, p. 310 · Internet Encyclopedia of Philosophy

如果我们为实现自己的目的而使用一种机械装置，一旦启动便无法有效干预它的运行……那么我们最好十分确定，放进机器的目的确实是我们真正想要的目的，而不只是它的一个花哨的仿制品。

— 诺伯特·维纳

Some Moral and Technical Consequences of Automation · Science 131 (3410), 1960, 1355–1358

查看完整时间线