4 问题类型

4 为什么计算机不是万能的-不可解、难解、容易解的界限

    ® 用工程思维看计算机的极限在哪里

    ® 计算机之父图灵博士

        ○ 常人思考方法：工匠式，迭代式进步，小步快跑

        ○ 上世纪30年代中期，图灵思考三个问题：

            § 1 世界上是否所有数学问题都有明确答案

            § 2 如果有明确答案，是否可以通过有限步骤的计算得到答案

            § 3 对于那些有可能在有限步骤计算出来的数学问题，能否有一种假象的机械，让他不断运动，最后当机器停下来时，那个数学问题就解决了？

        ○ 图灵不是在后面观察规律，而是在前面等大家，首先找到极限所在，然后在极限里寻找具体问题的答案，而不是浪费时间做试图超越极限的事

        ○ 提出图灵机，是一个数学模型，今天所有的计算机，包括正在设计的新计算机，从解决问题的能力来讲，都灭有超出图灵机的范畴

    ® 人工智能的边界

        ○ 1 世界上有很多问题，只有一小部分是数学问题

        ○ 2 数学问题中，只有一小部分是有解的

        ○ 3 在有解的问题中，只有一部分是理想状态的图灵机可以解决的

        ○ 4 在后一类问题中，只有一部分是今天实际的计算机可以解决的

        ○ 5 人工智能可以解决的问题是4中的一部分

        ○ 界限：所有问题-数学问题-可计算问题-图灵机能解决的问题-人工智能能解决问题-人工智能已经找到解决方法的问题

    ® 图灵的成就：一方面是认知，一方面是启示

        ○ 图灵的认知是一种高屋建瓴、自上而下的认知

        ○ 图灵的境界受到以为数学大师希尔伯特的启发：

            § 1 希尔伯特的第十个问题:随便给一个不确定的方程，能否通过有限步的运算，判定它是否存在整数解

                □ 答案是否定的，那么就说明很多数学问题其实上帝也不知道答案是否存在，因此我们不可能找到他

                □ 前苏联伟大数学家马季亚谢维奇从数学上解决了希尔伯特的问题

            § 2 冯诺依曼的《量子力学的数学原理》，意识到计算机来自于确定性的机械的运动

                □ 21世界的电子计算机，里面电子的运动其实等价于机械运动。

                □ 人的意识来自于测不准原理，这是宇宙本身的规律

                □ 由此得出，计算是确定的，而意识可以是不定的，两者不可能划等号，两者是两回事，这就是任何计算机的边界