程序设计范式、图灵完备性与计算思维
Programming Paradigms, Turing Completeness and Computational Thinking
摘要：
编程范式的概念，以及相关的程序设计语言和方法，是计算机科学教学法的一个既定原则，载于国际课程。然而，这一概念与库恩的经典概念化的科学范式作为一个占主导地位的世界观，它取代了它的前辈通过优越的解释力。此外，编程范式如何被描述和区分也不是很清楚。事实上，仔细观察，明显不同的编程范式是非常紧密联系的。相反，它们应该被视为图灵完全计算与计算思维补充的统一计算机科学范式的不同传统。
英文摘要：
The notion of programming paradigms, with associated programming languages and methodologies, is a well established tenet of Computer Science pedagogy, enshrined in international curricula. However, this notion sits ill with Kuhn's classic conceptualisation of a scientific paradigm as a dominant world view, which supersedes its predecessors through superior explanatory power. Furthermore, it is not at all clear how programming paradigms are to be characterised and differentiated. Indeed, on closer inspection, apparently disparate programming paradigms are very strongly connected. Rather, they should be viewed as different traditions of a unitary Computer Science paradigm of Turing complete computation complemented by Computational Thinking.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
