何为Turing Machine（图灵机）？

1.什么是人工智能?

定义：The study and design of intelligent agents

相关书籍：《人工智能：一种现代的方法》

2.图灵机简介：

1. 可能是 agent (智能主体）中最简单的一种，希望回答一系列的理论问题
2. 图灵机可以模拟任何一个其他的智能主体
3. 智能主体的极限（什么样的问题是任何程序都无法完成的）

3.图灵机的提出背景：

1. Hilbert‘s 10th problem: Can we find a mechanical process with finite steps to judge if every Diophantus’s equation(equation with inter coefficients) has a solution
2. 如何去刻画“算法”这个概念？
   1. λ-calculus（Alonzo Church），与之相关的数学处理软件 Mathematica ，人工智能设计语言Lisp高度相关。
   2. 递归函数论(Stephen Kleene):有限的元素+迭代规则 →一系列函数→递归函数（可计算函数）
   3. Formal System(形式化系统)：公理→定理，形式化系统本身的推演也是机械化的过程，也被视作一种对算法的刻画，代表人物：哥德尔

4.图灵1936年发表的论文

：论可计算及其在判断问题上的应用，给出了图灵机的定义