4 为什么计算机不是万能的-不可解、难解、容易解的界限
® 用工程思维看计算机的极限在哪里
® 计算机之父图灵博士
○ 常人思考方法：工匠式，迭代式进步，小步快跑
○ 上世纪30年代中期，图灵思考三个问题：
§ 1 世界上是否所有数学问题都有明确答案
§ 2 如果有明确答案，是否可以通过有限步骤的计算得到答案
§ 3 对于那些有可能在有限步骤计算出来的数学问题，能否有一种假象的机械，让他不断运动，最后当机器停下来时，那个数学问题就解决了？
○ 图灵不是在后面观察规律，而是在前面等大家，首先找到极限所在，然后在极限里寻找具体问题的答案，而不是浪费时间做试图超越极限的事
○ 提出图灵机，是一个数学模型，今天所有的计算机，包括正在设计的新计算机，从解决问题的能力来讲，都灭有超出图灵机的范畴
® 人工智能的边界
○ 1 世界上有很多问题，只有一小部分是数学问题
○ 2 数学问题中，只有一小部分是有解的
○ 3 在有解的问题中，只有一部分是理想状态的图灵机可以解决的
○ 4 在后一类问题中，只有一部分是今天实际的计算机可以解决的
○ 5 人工智能可以解决的问题是4中的一部分
○ 界限：所有问题-数学问题-可计算问题-图灵机能解决的问题-人工智能能解决问题-人工智能已经找到解决方法的问题
® 图灵的成就：一方面是认知，一方面是启示
○ 图灵的认知是一种高屋建瓴、自上而下的认知
○ 图灵的境界受到以为数学大师希尔伯特的启发：
§ 1 希尔伯特的第十个问题:随便给一个不确定的方程，能否通过有限步的运算，判定它是否存在整数解
□ 答案是否定的，那么就说明很多数学问题其实上帝也不知道答案是否存在，因此我们不可能找到他
□ 前苏联伟大数学家马季亚谢维奇从数学上解决了希尔伯特的问题
§ 2 冯诺依曼的《量子力学的数学原理》，意识到计算机来自于确定性的机械的运动
□ 21世界的电子计算机，里面电子的运动其实等价于机械运动。
□ 人的意识来自于测不准原理，这是宇宙本身的规律
□ 由此得出，计算是确定的，而意识可以是不定的，两者不可能划等号，两者是两回事，这就是任何计算机的边界
