计算机科学导论-思想和方法-第3版-第8章.pptVIP

第八章 探讨与展望 ——思想与方法（第3版） 计 算 机 科 学 导 论 “十二五”普通高等教育本科国家级规划教材 若干问题的探讨与计算教育的展望 计算本质的认识历史、第三次数学危机与希尔伯特纲领、图灵对计算本质的揭示 如何定义一门学科 计算学科是“工科”还是“理科” 程序设计在计算学科中的地位 计算学科目前的核心课程能否培养学生计算方面的能力 理论与实践的结合 创新与发明 复杂度、难度与能力 计算教育的展望 8.1 引 言 在第一章的最后一节，我们介绍了本书关于“计算机导论”课程建立在“计算学科二维定义矩阵”基础上的情况，分析了建立在这个关于学科概念认知模型上的导引，它的优点和不足。针对不足，自然有了本书最后一章，即“探讨与展望”，从而使课程的内容更加完备。 8.2 若干问题的探讨 1.古代中国的“算法化”思想 远在旧石器时代，刻在骨制和石头上的花纹就是对某种计算的记录。然而，在20世纪30年代以前，人们并没有真正认识计算的本质。尽管如此，在人类漫长的岁月中，人们一直没有停止过对计算本质的探索。很早以前，我国学者就认为，对于一个数学问题，只有当确定了其可用算盘解算它的规则时，这个问题才算可解。这就是古中的“算法化”思想。 8.2 若干问题的探讨 2. 计算机器制造的先河 中世纪，哲学家们提出了这样一个大胆的问题：能否用机械来实现人脑活动的个别功能？最初的试验目的并不是制造计算机，而是试图从某个前提出发机械地得出正确的结论，即思维机器的制造。早在1275年，西班牙神学家雷蒙德·露利（R.Lullus）就发明了一种思维机器（“旋转玩具”），从而开创了计算机器制造的先河。 在“旋转玩具”引起了许多著名学者的研究兴趣，最终导致了能进行简单数学运算的计算机器的产生。 8.2 若干问题的探讨 受“旋转玩具”的影响，并伴随着机械钟（用齿轮传动）的产生和发展。1641年，法国人帕斯卡利用齿轮技术制造了第一台加法机；1673年，德国人莱布尼茨在帕斯卡的基础上又制造了能进行简单加、减、乘、除的计算机器；19世纪30年代，英国人巴贝奇制造了用于计算对数、三角函数以及其他算术函数的“分析机”；20世纪20年代，美国人万尼瓦尔·布什研制了能解一般微分方程组的电子模拟计算机等。 在“旋转玩具”中，数值可以由圆盘的旋转角度表示，其正、负，可以由转动的方向确定。至于机械钟，可以认为是一种用于计时的计算机器。 8.2 若干问题的探讨 历史上，模拟计算机采用的运算方法通常不是我们理解的s“四则运算”，冯·诺依曼在《计算机与人脑》一书中，介绍了一种经典式的模拟计算机——微分分析机及其3种基本的运算，即(x±y)/2、积分。而采用差动齿轮可以实现前两种运算；采用一种称之为“积分器”的部件，可以把两个函数x(t)、y(t)形成一种称之为“斯蒂杰斯”的积分。就解全微分方程而言，运算(x±y)/2和“斯蒂杰斯”积分比常用的四种基本算术运算（x+y，x-y，xy，x/y）更为有效。 当然，从微分分析机的3种基本出发，通过一定的组合，可以产生常用的加法、减法和乘法，若再与一定的“反馈”方法结合，还可以产生常用的除法。 8.2 若干问题的探讨 以上计算的历史，包含了人们对计算过程的本质和它的根本问题进行的探索，同时，还为现代计算机的研制积累了经验。 其实，对计算本质的真正认识取决于形式化研究的进程，而“旋转玩具”就是一种形式化的产物，不仅如此，它还标志着形式化思想革命的开始。 8.2.2 第三次数学危机与希尔伯特纲领 1.第三次数学危机 形式化方法和理论的研究起源于对数学的基础研究。数学的基础研究是指对数学的对象、性质及其发生、发展的一般规律进行的科学研究。 德国数学家康托尔从1874年开始，对数学基础作了新的探讨，发表了一系列集合论方面的著作，从而创立了集合论。康托尔创立的集合论对数学概念作了重要的扩充，对数学基础的研究产生了重大影响，并逐步发展成为数学的重要基础。 然而不久，数学家们却在集合论中发现了逻辑矛盾，其中最为著名的是1901年罗素在集合论概括原则的基础上发现的“罗素悖论”，从而导致了数学发展史上的第三次危机。 罗素悖论可以这样形式化地定义：S={x∣xS}。为了使人们更 8.2.2 第三次数学危机与希尔伯特纲领 好地理解集合论悖论，罗素将“罗素悖论”改写成“理发师悖论”。其大意是，一个村庄的理发师宣布了这样一条规定：“给且只给村里那些不自己刮胡子的人刮胡子”。现在要问：理发师给不给自己刮胡子呢？如果理发师给自己刮胡子，他就属于那类“自己刮胡子的人”，按规定，该理发师就不能给自己刮胡子；如果理发师不给自己刮胡子，那么，他就属于那类“不自己刮胡子的人”，按规定，他就应该给自己刮胡子。由此可以推出两个相互矛盾的等价命题：理发师自己给自己刮胡子理发师自己不给自己刮胡