关于计算思维特质性.docVIP

关于计算思维特质性 　　摘 要：本文讨论了计算思维两个特有的性质，即可解释证明和关联世界。这两个特质是计算思维区别于实证思维和逻辑思维的界石。依据科学思维的分类标准，本文从理论上阐述了这两种特质的内涵以及在计算思维中的位置。同时，还进一步探讨了这两种特质对于计算机科学和计算机工程的意义与作用，特别是在计算机工程中，这些特质成为重要的理论基础和背景，并且影响着工程技术的质量标准和开发规范。结合教学改革实践，本文提出了应该在教学内容中加强这方面理解的培养。 　　关键词：计算思维；特质性；可解释证明；关联世界；人才培养 　　自从周以真明确提出计算思维的概念后[1]，国内经过陈国良、王飞跃、徐志伟等人的研究和宣传[2-4]，促进了对于大学计算机教育的重新认识和重新定位，并且持续影响着计算机课程的改革与建设。对计算思维本身的研究也在不断地深化，形成了研究工作和教学实践之间良性的互动。本文试图就计算思维的核心概念做一些探讨，基本问题是――计算思维有没有属于自己的独特的思维方式和判断标准，而这些方式和标准在实证思维和逻辑思维框架中是不被认可的？ 　　一种思维模式实际上就是一种看待世界和认识世界的方法与观点，也就是我们所说的世界观，其核心内容是对于思维结论正确性的判断标准。任何思维都是以产生某种结论为目标的，对于结论的判断标准，构成了思维模式的独有特质。比如说唯心主义和唯物主义对于世界本源的看法就是不同的，因此拥有各自的世界观。在科学思维中，以物理学为代表的实证思维与以数学为代表的逻辑思维，其看待世界的观点也是不同的，并且形成了各自的判断结论是否正确的不同的标准。那么比起实证思维和逻辑思维，稍晚以后发展起来的计算思维有没有自己的世界观呢？与实证思维和逻辑思维的世界观究竟有什么不同呢？这个问题的确需要认真加以研究。 　　本文以下分为五个部分：第一部分我们简要说明科学思维的分类标准；并且在第二部分回顾一下，作为实证思维的物理学和作为逻辑思维的数学，判断结论正确性的标准是什么，有什么本质上的不同；在第三部分，我们介绍计算思维的一些思维特点和理论基石，这些特点和基石奠定了计算思维的基础，并且形成了有别于实证思维和逻辑思维的不同之处，从而使得计算思维之所以能够成为第三种科学思维模式；在第四部分，我们介绍计算思维的一种特质，即可解释证明；它的另一种特质，即关联世界，将在第五部分讨论；最后我们做一些总结。 　　一、科学思维的分类与特点 　　科学思维指的是在科学活动中的思维。一般而言，我们通过思维的外在形式进行分类，这种外在形式主要是思维的表现形式，以及判定结论正确性的标准。科学思维都是以产生结论为目的，因此以什么方式产生结论和以什么标准接受结论构成了一种思维的特有标志，也是区别不同思维模式的主要依据。 　　比如说，在实证思维的模式中，人们通过观察和实验得出一些揭示客观世界的结论，这些结论最重要的部分是以定律的形式出现的，而其他的结论则是以逻辑推论或者实验验证的方式出现的。对于同一个客观世界，可以建立多种理论系统来进行解释，因此人们必须约定一种解释来展开对于客观世界规律的认识和描述。这就是我们现在所使用的基于伽利略、牛顿、爱因斯坦等科学家建立的物理科学系统。在这个系统中，我们从少数几个定律出发，建立起来解释整个客观世界的架构。其中最显著的特点是，任何结论，无论是通过什么方式得到的，只要在实验中未被观察或者验证，则该结论不会被认可。实证成为判定结论正确性的唯一标准，这就是实证思维的特质性。 　　而在逻辑思维中，产生结论和判定结论正确性则完全是另外一种方式。首先要有一个称为公理的命题（结论）的集合，然后有一个推理规则，从公理出发通过推理规则产生的结论（包括公理本身）都被认为是正确的。无论这个结论听起来多么荒谬。而对于有些结论，尽管可能在现实世界中被反复验证，但只要不能从这个系统中通过推理得到，都不会被认为是正确的结论。逻辑推理成为判定结论的唯一标准，这就是逻辑思维的特质性。 　　上述两种思维模式显然有着十分不同的特点，因此成为科学思维中的两类思维模式，它们的代表分别是物理学和数学。我们不排除可以通过其他方式建立科学体系，只是因为人类社会的历史发展，采用并且接受了目前这种关于物理学和数学的表达体系。因此大家必须共同遵循其中的原则，符合判定标准的结论必须认为是正确的，不符合判定标准的结论只能予以存疑。这是人类社会的基本的科学契约，只有大家遵守这一契约，科学才能健康有序地发展。 　　根据这样的原则，可以解释为什么没有化学思维和生物学思维，也没有经济学思维和管理学思维。不同的学科可以采取相同的思维方式，只要产生结论的方式和判定标准相同，其思维模式也就是相同的。在化学或者经济学中间，其思维的方式和标准与物理学和数学没有什么不同，或者只是它们的混合而