计算机的过去现在与未来-02、图灵和图灵机模型.pptVIP

第2课 图灵和图灵机模型 罗 东 俊 ZSUJONE@126.COM 主要内容 2.1 计算本质的认识历史 2.2 图灵机计算模型 2.3 图灵简介 2.1 计算本质的认识历史 在20世纪30年代以前，人们并没有真正认识计算的本质 很早以前，我国的学者认为，对于一个数学问题，只有当确定了其可用算盘解算它的规则时，这个问题才算可解。这就是古代中国的“算法化”思想。 蕴涵了计算的根本问题，即“能行性”问题 这对现代计算学科的研究具有重要的意义： 图灵机 几何定理的机器证明 对计算本质的真正认识取决于形式化研究的进程 形式化研究进程 1275年，思维机器“旋转玩具” 是一种形式化的产物，标志着形式化思想革命的开始 形式化方法和理论的研究起源于对数学的基础研究。 康托尔的集合论，成为数学的重要基础 希尔伯特纲领：将每一门数学的分支构成形式系统或形式理论，并在以此为对象的元理论即元数学中，证明每一个形式系统的相容性，从而导出全部数学的相容性 希尔伯特纲领的目标，其实质就是要寻找通用的形式逻辑系统，该系统应当是完备的，即在该系统中可以机械地判定任何给定命题的真伪 其目的是为了消除罗素悖论：S={x∣x?S} 1931年，哥德尔提出的关于形式系统的“不完备性定理”中指出，这种形式系统是不存在的，从而宣告希尔伯特纲领失败 “不完备性定理”说明，有些数学问题是不能用任何机械过程来解决的，我们应把