《走进人工智能》人工智能简史-探索AI世界

P71

1900年，德国著名数学家大卫·希尔伯特（David Hilbert）在第二届国际数学家大会（巴黎）上做了著名演讲“数学问题”（Mathematical Problems）。其中一个问题是“证明公理系统的相容性（consistency或compatibility）”，推动可计算思想的发展。该演讲于1902年发表。

P14

现已证明，图灵机模型（1936投稿、1937接受的图灵论文On Computable Numbers, with an Application to the Entscheidungsproblem）、一般递归函数（general recursive functions，1933年，数学角度，哥德尔和埃尔布朗Herbrand提出）和λ-演算（λ-calculus，1936年，数理逻辑角度，邱奇Church提出）三种模型在功效上是等价的。

P16

恩尼格玛机（Enigma machine）。

P18

图灵曾说：“这（破译恩尼格玛机）不过是将来之事的前奏，也是将来之事的影子。”

P24

1955年的达特茅斯会议，七个讨论议题：自动计算机、计算机编程、神经网络、计算的复杂度、智能算法的自我学习与提高、智能算法抽象能力、智能算法随机性与创造力。在该会议上，术语“人工智能”被首次使用。人工智能研究的猜想是：学习以及智能的其他方面原则上可以被精确描述出来，从而可以制造一部机器来模拟它。因此，需要研究让机器使用语言、形成抽象概念、解决目前仅能被人类解决的问题，并且机器能够提升自己的能力。

P25

人工智能研究的第一性原理是对智能行为过程的精确描述。即以机器为载体来展示人类智能或生物智能，需要对智能行为发生过程予以清晰描述，从而通过程序设计语言被机器按程序执行。