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

  1. 1、本文档共21页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第2章 可计算性理论基础 可计算性理论computability theory) 是研究计算的一般性质的数学理论,也称算法理论或能行性理论. 通过建立计算的数学模型区分哪些是可计算的,哪些是不可计算的. ACM)和美国电气和电子工程师学会计算机分会(简称IEEE-CS)组成的联合攻关组成员的艰苦卓绝的工作. 目前,计算学科正以令人惊异的速度发展, 并大大延伸到传统的计算机科学的边界之外, 成为一门范围极为宽广的学科. 如今, “计算”已不再是一个一般意义上的概念, 而是“各门科学研究的一种基本视角、观念和方法, 并上升为一种具有世界观和方法论特征的哲学范畴”. 可计算性理论是计算机理论之一可计算性理论出现的存储程序计算机即诺伊曼型计算机的设计思想的基本概念、思想和方法被广泛应用于计算机科学的各个领域 计算概念的形成与发展经历了漫长的历史,它是计算科学思想史研究的主要线索之一尽管目前我们还无法考证人类究竟是从什么时期开始计数和进行数的运算,但从现有的考古发现和有文字记载的史料中,我们仍然可以捕捉到早期人类在计算领域取得的成就以及从中体现出的人类智慧. 在《力量—改变人类文明的50大科学定理》一书中,作者将公式1+1=2”列为之首是有充分道理的,人类对数的可加性的发现和推广应用正是数学科学的全部根基以下几个方面 一、计算概念的初识—抽象思维的进步 人类的计算是伴随着人类文明的起源和进步而产生和发展的. 最初计算的表现形式是“计数”,“数”的概念是人们通过计数认识的. 在漫长的进化和发展过程中,人类的大脑逐渐具有了一种特殊的本领,这就是把直观的形象变成抽象的数字,进行抽象思维活动. 正是由于能够在“象”和“数”之间互相转换,人类才真正具备了认识世界的能力. 从“计数”到“数”的概念形成,是人类在抽象思维领域中迈出的辉煌一步. 考古发现最早人类留有计数痕迹的东西是一些带有刻痕的骨头,这些骨头出土于欧洲西部,距今已有2万至3万年的历史,当时生活在这一地区的是奥里尼雅克(Aurignacian)时期(法国旧石器时代前期)的克罗麦昂(Cro-Magnon)人. 把形象事物以刻痕的形式表示并记录在骨头上,表明当时的人类已或多或少地认识了“映射”的概念,而这一概念却是数学科学中最为基本也是十分重要的一个概念. 人类最早使用计数系统的证据,是1937年在捷克斯诺伐克(Czechoslovakia)出土的2万年前的狼的颚骨,颚骨上“逢五一组”,共有55条刻痕. 这样的计数方式被人类延用至今,“正”字计数法便是例证. 研究地球的构造和历史的地质学家和观察人类的体质和社会特征的人类学家向我们提供了早期人的种种遗迹,他们通过地层里各时期的堆积物的相对位置来估测远古至今各个时代的顺序,并以此来探索人类科学的起源. 另一方面,研究科学思想史的科学家们则倾向于从自然科学最初形成的学科体系中寻觅人类科学思想史的根源,认为:“古代科学最先发展起来的是天文学与数学,其次是力学,此外还有一些生物学与医学方面的研究,因为这几个学科同古代人类的生产与生活关系最为密切.” 然而,如果没有更早期人类对数的认识、数的表示和数的计算等方面取得的成就,无论是在古埃及通过人们反复测量土地诞生的最初的几何学,还是古巴比伦人最早认识的“金星运动周期”和对日食、月食的预报,都是不可能的,这是一个可想而知的事实. 令人遗憾的是,在如今的诸多科学史和科学思想史研究的著作中,这一点往往被忽视了. 二、计算概念的定义—计算本质的揭示 在数学科学领域,与“计算”密切相关的概念之一是“算法”,任何计算都是在一定算法支持下进行的. 公元前3世纪,古希腊和中国的数学家就有了算法的概念,象当时的欧几里得辗转相除法就是最好的例子. 大约在公元9世纪初期,阿拉伯著名数学家、天文学家和地理学家花剌子密就给出了现在人们所熟悉的自然数运算规则. 在一个相当长的时期里,人们把“确定关于数学对象(如整数、实数、连续函数等)的各种命题是否正确”作为数学的基本任务. 随着社会的发展以及生产实际的需要,人们逐步开始关心另一类数学任务,“其中之一是在数学发展早期就被认为有极大的重要性,而且至今还在产生着具有重大数学意义的问题,即解决各种问题的算法或能行的计算过程的存在性问题.” 然而,要想真正解决这一问题,就必须对“计算”的概念有一个清楚的认识. 到了20世纪30-40年代,一些著名的数学家几乎同时完全独立地给出了相当于能行可计算函数概念的各种确切定义,其中包括Church的-可定义性概念,Herbrand-G?del-Kleene的一般递归性概念,Turing的可计算性概念等, 经证明,这些形式上完全不同的概念是等价的. 随着计算机的出现和计算机程序设计语言的发展,到了20世纪50-60年代,人们又从不同的角度给出了可计算

文档评论(0)

yi593pu + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档