作者注
许多关于人工智能和机器学习的当代文章都存放在一个名为
序言
第一章 图灵的电子大脑
[1]. 霍奇斯,《艾伦·图灵传:如谜的解谜者》,贝内特图书/哈钦森出版社,1983年。
[2]. 除了惊人的科学成就,图灵在英国还有着深远的社会影响。经过长期公开高调的运动,英国政府在2014年对他进行了赦免。不久之后,所有根据同一法律被起诉的人都获得了赦免。
[3]. 这是检查质数最直观的方法,但绝不是最优雅或最有效的方法。自古以来,人们就知道埃拉托斯特尼筛法(由希腊数学家埃拉托斯特尼提出的一种简单检定质数的算法。)更为简单清晰。
[4]. 此后我将不再区分图灵机和通用图灵机,都用图灵机来表述。
[5]. 图灵将解决判定问题的荣耀与普林斯顿大学数学家阿隆佐·邱奇分享,后者先于图灵独立获得了一个截然不同的结果证明。然而,图灵的证明被认为是决定性的:它更直接、更完整、更易懂,而且影响巨大。他据此发明了图灵机,改变了世界。
[6]. 严格地说,算法就是一种方法,而程序是一种用实际编程语言(比如Python或者Java)编码的算法。因此,算法独立于编程语言。