人工智能的师公

英国人图灵是人工智能之父，大家都应该比较熟悉了。图灵发明图灵机，奠定了计算机及人工智能的理论基础。然而，比较少人知道的是，图灵是在他到美国留学攻读博士生的时候把图灵机发明出来的。而他的导师是阿隆佐·邱奇，邱奇在1930年代初就发明了Lamda演算，图灵与邱奇共同发论文证明图灵机和Lamda演算是等效的，换言之，图灵是在导师邱奇的启发下，发明图灵机的。Lamda演算后来启发了LISP的发明，LISP被认为是最早的人工智能语言。图灵机的特点在于，它以比较简单的概念来阐述复杂的数学问题解决方案，从而更容易让人理解和接受。