人工智慧真的会超越人类吗?智能与理性的边界
就在最近几年,因为AlphaGo打败李世石等原因,人工智慧、深度学习这些辞汇突然甚嚣尘上。人们从来没有像最近这样惶惶不安,终结者和机器人大战电影里的一幕幕仿佛突然离我们如此接近。更有很多人大喊奇点就要来临。
而作为对这学期计算理论课程的回顾,我想带大家从公认的现代人工智慧的源头——图灵老先生谈起,一步步讲到有关智能的核心猜想:丘奇—图灵命题,最后再简要证明一下哥德尔不完备性理论,来带大家回顾AI和计算机发展的前世今生。
智能是什么?
当八十年前的图灵坐在书桌前的时候,他和我们一样在沉思这个问题。
一个智能正在反思智能本身,这耐人寻味的自指将成为整个故事开始的缘起。
当时的时代,自然是没有计算机的(但是也不远了),所以图灵的思考同时具有计算科学和哲学的双重意味。值得一提的是,当时并不是没有用于计算的机器,一个机械史上登峰造极的精密仪器之作,便是由英国数学家巴贝奇设计的差分机: