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