早期理论
1930年代—1950年代 · 图灵与计算理论的诞生
在电子计算机出现之前，数学家们已经开始探索一个深刻的问题：机器能否“思考”？这个问题引领了一系列理论基础的出现，为后来人工智能的诞生奠定了数学与逻辑基础。这一时期的先驱者们——图灵、丘奇、哥德尔——他们的工作不仅仅是数学探索，更是对人类心智本质的哲学追问。
这一时期的理论探索可以分为三个主要脉络：计算理论的发展（由图灵和丘奇推动）、形式逻辑的极限（哥德尔的工作）、以及信息论的诞生（香农的贡献）。这三个方向相互交织，共同构成了人工智能的理论基石。
重要里程碑
丘奇-图灵论题
阿隆佐·丘奇和阿兰·图灵各自独立提出了著名的 Church-Turing 论题。该论题认为：任何可有效计算的函数都是图灵机可计算的。这一论题将“可计算性”这个直观概念形式化，成为计算机科学的基础。
阿隆佐·丘奇 & 阿兰·图灵
图灵机
阿兰·图灵在其开创性论文《论可计算数及其在判定问题中的应用》中提出了图灵机概念。这是一个抽象的计算模型，能够模拟任何可计算的数学过程。图灵机不仅奠定了计算理论的基础，也为我们理解“计算”本身提供了最本质的框架。
阿兰·图灵 (1912—1954)
λ演算
阿隆佐·丘奇提出了λ演算（Lambda Calculus），这是一个形式化的函数定义和函数应用系统。λ演算被视为函数式编程的理论基础。1936年的原始λ演算是无类型的；丘奇在1940年的《简单类型论的形式化》中加入了简单类型，创建了最早的显式类型系统之一。它与图灵机在计算能力上是等价的。
阿隆佐·丘奇 (1903—1995)
神经元模型
沃伦·麦卡洛克和沃尔特·皮茨发表了《神经活动中内在观念的逻辑演算》，提出了第一个人工神经元模型（McCulloch-Pitts 神经元）。这个模型将神经元简化为一个二元阈值开关，为后来的神经网络研究奠定了基础。
沃伦·麦卡洛克 & 沃尔特·皮茨
香农信息论
克劳德·香农发表了《通信的数学理论》，奠定了信息论的基础。信息论不仅改变了通信技术，也为后来的机器学习和人工智能提供了重要的理论基础。熵、编码、信息量等概念成为理解数据和处理信息的核心工具。
克劳德·香农 (1916—2001)
1955年达特茅斯提案
1955年，John McCarthy、Marvin Minsky、Nathaniel Rochester 与 Claude Shannon 在 Dartmouth Summer Research Project 的提案中使用了“Artificial Intelligence”一词，并提出于1956年夏季共同研究机器智能问题。
约翰·麦卡锡等人
重要人物
阿兰·图灵
计算机科学之父
图灵不仅是计算机科学的奠基人，也是人工智能思想的先驱。他的图灵机模型为计算理论奠定了基础，而图灵测试则为智能机器提供了评判标准。在二战期间，他的工作帮助破译了德国的 Enigma 密码。1954年，图灵因不堪忍受对同性恋人身份的迫害而去世。2013年，英国女王伊丽莎白二世追赠他皇家特赦。
阿隆佐·丘奇
λ演算之父
丘奇是普林斯顿大学的教授，他创建的λ演算是函数式编程的理论基础。他的学生包括图灵，两人共同提出了 Church-Turing 论题，这一论题至今仍是计算理论的核心。丘奇一生发表了大量关于逻辑和递归函数的论文。
库尔特·哥德尔
逻辑学家
哥德尔不完备定理被认为是20世纪最重要的数学发现之一。它表明即使是数学这样的精确系统，也有其固有的局限性。这一思想对人工智能的发展有着深远的哲学影响——它提醒我们不要过度迷信形式系统和算法。
克劳德·香农
信息论之父
香农不仅是信息论的创始人，还是人工智能的早期探索者。他建造了一个会走迷宫的机械老鼠（Theseus），这是早期的一个学习机演示。他的1937年硕士论文《继电器与开关电路的符号分析》被认为是数字开关电路理论的奠基之作。
诺伯特·维纳
控制论之父
维纳是麻省理工学院的数学家，他创立了控制论这一跨学科领域。他的“反馈”概念影响了早期人工智能研究。维纳还最早提出了人工智能可能带来危险的警告。
经典语录
我建议思考这个问题：“机器能思考吗？”
任何足够强大的形式系统都是不完备的。
机器的危险性不在于机器本身，而在于人类对机器的依赖。