一种构造性的计算理论.PPT

一种构造性的计算理论;通用计算——计算通用;将构造进行到底;回顾历史;康托尔对角线方法;罗素悖论;直觉主义;形式主义;哥德尔定理;图灵;形式主义成为主流;被忽视的维特根斯坦;归结到对角线方法;一些研究工作;构造性的计算理论;理发师悖论;矛盾的启发;逻辑的功能与局限;;对于理发师悖论的分析;;递归函数的例子;;;数字化：罗素悖论的对角线形式;递归函数形式;现有理论中的对角线方法;计算理论需要更严格的基础;一种构造性的计算理论;;对于“所有”的构造性理解;康托尔函数;对于“所有”的构造性理解;“相互追随，趋于无穷”;不停机不可以吗？;;小结;;附录：对角线引理;康托尔对角线方法;;对于对角线方法的分析;维氏的正对角线方法;;定义的不完整性;维氏对于其他悖论的统一分析;;对角线相关悖论的特点;结论;