第2章可计算性理论述基础.docVIP

第2章 可计算性理论基础 可计算性理论computability theory) 是研究计算的一般性质的数学理论，也称算法理论或能行性理论. 通过建立计算的数学模型区分哪些是可计算的，哪些是不可计算的. ACM）和美国电气和电子工程师学会计算机分会（简称IEEE-CS）组成的联合攻关组成员的艰苦卓绝的工作. 目前，计算学科正以令人惊异的速度发展, 并大大延伸到传统的计算机科学的边界之外, 成为一门范围极为宽广的学科. 如今, “计算”已不再是一个一般意义上的概念, 而是“各门科学研究的一种基本视角、观念和方法, 并上升为一种具有世界观和方法论特征的哲学范畴”. 可计算性理论是计算机理论之一可计算性理论出现的存储程序计算机即诺伊曼型计算机的设计思想的基本概念、思想和方法被广泛应用于计算机科学的各个领域 计算概念的形成与发展经历了漫长的历史，它是计算科学思想史研究的主要线索之一尽管目前我们还无法考证人类究竟是从什么时期开始计数和进行数的运算，但从现有的考古发现和有文字记载的史料中，我们仍然可以捕捉到早期人类在计算领域取得的成就以及从中体现出的人类智慧. 在《力量—改变人类文明的50大科学定理》一书中，作者将公式1+1=2”列为之首是有充分道理的，人类对数的可加性的发现和推广应用正是数学科学的全部根基以下几个方面 一、计算概念的初识—抽象思维的进步 人类的计算是伴随着人类文明的起源和进