人工智能的师公

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

推荐阅读更多精彩内容