构造性的计算理论.ppt

通用计算——计算通用 通用计算：起源于莱布尼兹，将各种问题符号化数字化之后，进入计算过程。 计算通用：万物之所以可以计算，是因为万物本来就是在计算。区别只是在于是不是使用数字进行计算。 一切皆计算…… 将构造进行到底 计算科学的特点是：构造性，能行性和潜无穷。 然而计算理论的研究框架却具有以下的特点：非构造性，非能行性和实无穷。例如数理逻辑的语义部分，例如计算理论的停机问题等等。 提出的问题：有没有另一种可能性，使用构造性的框架来思考构造性的计算科学。 回顾历史 为了重新思考计算理论，有必要回顾计算科学历史。 罗素悖论引起了第三次数学危机，在这次危机中走出了计算科学。 康托尔对角线方法 1891年，康托尔使用对角线方法证明实数集是不可数的。 康托尔集合论：实无穷。 当时许多数学家只承认，有穷事物的发展过程是无穷尽的，无穷只是潜在的，是就发展说的。他们不承认已经完成的、已经存在着的无穷整体，例如集合论里的各种超穷集合。 潜无穷论者：高斯，克罗内克，彭加莱。 罗素悖论 理发师悖论：在一个小镇上有一位理发师，这位理发师遵守这样的规则：“给而且只给那些不给自己理发的人理发”。现在问理发师是否要给自己理发。 如果理发师不给自己理发，那么根据定义，他要给自己理发；如果理发师给自己理发，那么根据定义他不能给自己理发。 直觉主义 布劳维尔：荷兰数学家，提出了直觉主义思想，反对康托尔集合，认为罗素