我要投搞

标签云

收藏小站

爱尚经典语录、名言、句子、散文、日志、唯美图片

当前位置:多盈娱乐注册 > 多带图灵机 >

超图灵计算

归档日期:08-11       文本归类:多带图灵机      文章编辑:爱尚语录

  图灵生于1912年,在1930年进入剑桥大学学习数学。1934年在22岁时进入国王学院,完成了一篇对冯·诺依曼[4]组合论[5]进行扩展的学位论文。1936年,他发表了论文《关于可计算数及其在可判定问题上的应用》,证明了计算机不能为数学建立完整的模型。在1940年代早期,他开发了破译德军密码的计算机模型,帮助了英国赢得战争。在1940年代后期,他开发了一个人工智能的计算模型:下棋程序,并预测计算机可以完全刻画人类智能,并且到20世纪末期在下棋方面将会超过人类。尽管图灵1936年的论文主要说明的是在解决数学问题时图灵机不能够做什么的问题,但是从1960年代开始,计算机理论科学家们却逐渐开始将图灵机作为一种解决所有可计算问题的模型。本文首先考察了图灵机模型在1930年用于说明图灵模型解决数学问题的不可能性再转变到1960年说明可计算能力的历史演变过程。然后分析了进入1990年代之后,计算逐渐被广泛地应用,扩展了我们关于“可计算问题”的概念,也揭示了图灵机在处理可计算问题时的有限能力。

  在1900年,希尔波特[6]提出逻辑可以完全证明数学命题的真伪,并且列举了数学家们应该尝试证明的25个未证的数学命题。罗素[7]和怀特黑德[8]的名著《数学原理》接受了希尔波特的观点,提出了一套数理逻辑方法作为数学可证明性问题的通用模型。但是他们提出的目标没有实现,促使歌德尔在1931年证明了“逻辑不能够证明所有的数学问题”。歌德尔指出,可判定问题从根本上在逻辑上是无解的。这项工作直接导致了很多数学家开始对逻辑和其他各种数学模型上不可解问题的理论基础和哲学思想进行进一步解释的大量研究。

  歌德尔的思想受到了丘奇[9]的启发,后者在1935年证明了可判定问题不能通过λ演算[10]解决。相对应的,图灵也通过计算机证明了可判定问题不可解,因为图灵机本身的“停机问题”[11]就是不可解的。图灵的结果被歌德尔和丘奇作为一种更加简单和更好的不可判定问题的证明而接受。1937年,图灵受邀到普林斯顿和丘奇一起工作,力图解决后来被广泛知晓的“丘奇-图灵论题”。这个论题认为一阶逻辑、λ演算、图灵机和算法运算作为问题求解的方法是等价的模型。后来,这个论题被看作一个求解所有可计算问题的统一的、完整的机制被重新解释。

  图灵1936年的论文暗示了图灵机(他称作自动机,或a-机)不能提供所有计算形式的完整模型,就像不能提供所有数学公理的模型一样。他在计算的过程中加入了交互选择,定义了c-机(选择机)作为计算的另一个可选模型。后来,图灵又定义了u-机(无组织机)作为另一个描述思维的模型。但是,图灵没有将这两种模型形式化。在1960年代,因为假设图灵模型能够描述一切的可计算问题,就将这两种模型作为不必要的而放弃了。尽管对于丘奇-图灵论题狭义的重新解释和图灵本来关于图灵机只能对算法上可解问题进行形式化的命题自相矛盾,但它在1960年代仍然被广泛接受,甚至变成了计算理论里教条式的原则。计算机科学建立在理论图灵机模型的数学模型基础之上,就相当于物理、化学和生物的科学模型基础一样,但是它只提供了一个可接受而却很弱的计算理论。

  在图灵1936年开创性的论文发表之后,从1960年代开始,计算机科学将它视作一条自然法则,全世界范围内的大学开始将其作为大学课程的一部分进行教授。到了1968年,关于这项法则应该教给学生们什么内容上达成了一致意见,形成ACM1968年的课程文档[12]。这条法则将计算视作信息处理的过程,这个过程就是从输入到输出的转换——这里的输入在计算开始之前已被完全定义,输出提供的就是要解决问题的答案。这样的一种机制转换过程在数学中长期以来被广泛称作运算规则,因此在计算科学中,这样的计算方式被称作算法。

  从1960年代开始,计算领域已经极大地扩展,目前已经出现了诸如人工智能、图形和互联网等等很多s不能被图灵机表示的情况。在每一种情况下,程序与世界(环境)之间的交互在计算过程中起到了一个关键的作用,而这里的交互不能够被计算开始之前的任何输入集合所代替。例如在人工智能中,交互可以视作智能系统的动作开始之前的预先条件,正如布鲁克斯[13]所指出:

  “现实的计算系统不是获得输入,按照逻辑运算,然后产生输出的理性个体……智能在哪儿,环境交互在哪儿,这些都很难获得明确的路线。在某种情况下,谁是谁也许真的不重要,就像所有的智能系统必须被安置在某种环境下,只要它们是有用的就可以了。”

  英国计算机科学家罗宾·迈勒提出了一个新的计算模型的概念框架,其基于CCS[14]和后来的p-演算[15]。在他的图灵奖获奖演说《交互的元素》中,他亦声称目前的计算模型是不充分的:

  “经过七十年之后,我开始明白了,流通和交互的理论需要一种新的概念框架,而不仅仅是我们已经发现的精巧的按照自然顺序的(算法)计算。”

  迈勒在1991年的图灵奖获奖演说中提出了交互模型作为图灵机闭盒运算的补充。但是,他跳过了CCS和p-演算是否已经超越了图灵机和算法的问题。图灵机已经被广泛接受作为一种完全计算的原则,因为在上世纪70末和80年代初公开挑战此论断还为时过早。但是,最近二十多年来,随着计算技术从大型机到工作站再到网络和无线设备,相应的应用也从数值计算与数字处理转到了嵌入式系统和人机接口上。我们相信,加入交互作为计算的部分已经不再为时过早了。在我们的可计算性问题概念上应该有路线上的调整,使得它能够提供一种完善的模型用来为今天的计算系统和软件系统服务。

  交互机的模型,作为图灵机的一种扩充,在1990年代后期被提出。其理论框架在文献[GSW01]中得到了改进。一名荷兰计算理论专家,冯·李尤文,撰写了一篇扩充计算机模型的超图灵模型方面的论文,引用了最近关于交互机的模型,并且认为:

  我们的交互机模型面临的问题在于我们最初没有能够提出一套可比于图灵机的理论框架。但是,完全的计算模型常常在没有理论基础或者数学模型的基础上发展起来的。甚至图灵提出的c-机[Tu36]和u-机[Tu48]也没有任何常规的基础。

  尽管通过类推于物理学中的建模,数学被用来作为描述计算机的理论模型,歌德尔却已经在1931年即指出逻辑不能够刻画数学[Go31],并且图灵也指出,不论是逻辑还是算法都不能完整地描述计算和人类思维。除了交互机之外,还有别的超图灵计算模型被提出,比如带实数的计算[16]。但是,设想所有的计算都可以通过算法进行描述仍然被广泛地接受。交互机模型被批评为一种不必要的库恩式的路线]。但是,歌德尔、丘奇、图灵,以及最近的迈勒、维格勒和冯·李尤文均认为实际情况并非如此。

  UltraLAB图形工作站GXM系列是一款配备多CPU或超高频CPU、多GPU、海量并行存储架构,支持CPU+并行存储、U+GPU、高频CPU+多卡等计算、图形设计、图像处理的超级异构图形工...博文来自:wdf8088的博客

  图灵机模型与计算机(一)一、图灵机的构成1、一条无限长的纸带(tape)。纸带被划分为一个接一个的小格子,每个格子上包含一个来自有限字幕的符号,字母表中有一个特殊的符号,就是一个空格,它表示空白。纸带...博文来自:weixin_30335353的博客

  UltraLABH490系列是一款配备intel第7代至尊处理器(4~18核,4.5Ghz以上)、最大512GB内存容量、双显卡架构的多核与超高频兼备的图形工作站。   硬...博文来自:wdf8088的博客

  《计算机器与智能》是A.M.Turing在1950年创作的一篇论文,它向我们阐述了一种非定义式的研究方法,为我们揭开人工智能这层神秘的面纱。在文章中,他详细的阐述了“模仿游戏”这一特殊的博弈游戏。利用...博文来自:Ian_安安

  导读:在“斜杠青年”这个词出现前的半个多世纪,有一个人,不羁于科学的边界,一生传奇,一世神秘。计算机/人工智能/密码/生物形态/量子/自由意志/神谕/……这就是图灵,一个......博文来自:大数据

  ArtificialIntelligence,也就是人工智能,就像长生不老和星际漫游一样,是人类最美好的梦想之一。虽然计算机技术已经取得了长足的进步,但是到目前为止,还没有一台电脑能产生“自我...博文来自:wdf8088的博客

  本文是A.M.Turing在1950年创作,详细定义并解释了人工智能及其研究目的,发展方向,并驳斥了此前科学界及社会上普遍存在的反对观点,讲解通俗易懂,细致入微,有理有据,被称为人工智能科学的开山之作,直到现在仍有极重要的意义,几乎所有的...

  图灵书籍包括Hadoop实战中文版.pdf、Hadoop应用架构.pdf。

  做一个小东西的时候需要用python和这个接口,使用的时候遇到了一些坑,于是记录一下。本文只记录接入API时候的一些简单坑,更多使用技巧没有说到。介绍图灵机器人是以语义技术为核心驱动力的人工智能公司(...博文来自:inskil的学习笔记

  小编跟着图灵听课去(4月)参加了很多线下的会议,再次深深体会到算法很重要,因为不管是什么技术主题的大会,人们都会找算法的书。现在小编就来盘点一下图灵新出版的算法书,推荐给大家。1、《程序员的数学》第3...博文来自:图灵教育

  心得:有限自动机-下推自动机(有限计算机)-确定型图灵机(临界点)-通用图灵机(全能计算机),软硬件可以相互模拟替代,并且没有通用机器不能实现的算法,而通用机器上的程序只不过是对一台确定型机器的...博文来自:carver_x的博客

  阿兰•图灵(1912.6.23—1954.6.7),英国数学家、逻辑学家,被称为计算机科学之父、人工智能之父,是计算机逻辑的奠基者,提出了“图灵机”和“图灵测试”等重要概念。为纪念他在计算机领域的卓越...博文来自:图灵教育

  1.首先你要知道:为什么在证明一个命题时,反证法是有用的。反证法即首先假设结论不成立,由该假设推导出某个命题的正反两方面,这违反了矛盾律(理论体系发相容性/自恰性),故假设不成立,故结论成立。可以去知...博文来自:zinnc的专栏

  《微积分超入门》是2005年2月世界图书出版公司出版的图书,作者是平野叶一。 和学校教育中的数学稍微有些差别,本书并不是大学入门考试的答题指导也不是提供应试技巧。笔者希望的是,通读这本书读者可以轻轻松松地接触微积分,体会拥有2000多年历...

  程序设计丛书 全端Web开发 使用JavaScript与Java pdf

  链接:密码:n4kl 本书为完整版,以下为内容截图: ...博文来自:的博客

  图灵机与计算理论是人工智能乃至整个计算机科学的理论基础。一切计算过程都可以用图灵机仿真。因此,无论如何人工智能都无法逃脱图灵机可计算理论的范畴。本章从图灵可计算理论的基础触发,忽略掉一切实用的工程细节...博文来自:的博客

  年前看了一本科普书籍–《人工智能简史》,作者尼克,早年任职哈佛和惠普,后投资创业。这本书描述了两大人工智能的发展方向,一派主张拟生物大脑(譬如人工神经网络),另一派则主张用逻辑和符号系统(譬如自动定理...博文来自:Camus

  可归约性1可归约性定义归约:就是将一个问题转化为另一个问题,使的用第二个问题的解来解第一个问题第一个问题。这种思想类似于数学证明中,如果一个证明很难从原命题切入,此时根据原命题与其逆否命题是等价的,将...博文来自:hengfanz的专栏

  问题链接:HDU1287破译密码。基础训练级的题,用C语言编写程序。问题简述:参见上述链接。问题分析:C语言中,异或运算符是“^”。对于源码a,加密字母x,密文字母v,根据题意满足:a^x=v,那么有...博文来自:weixin_33862993的博客

  unity下图灵机器人的使用这里json的解析与建立使用的是LitJson.dll一、机器人建立首先到图灵机器人的官网注册一个号并建立机器人(有则可以...博文来自:u014716849的博客

  编程问题的提出我们是否可以编写一个程序用来测试任何可以用哥德尔数表示的程序是否会终止?反证法假设这样的测试程序存在,然后证明它的存在将会产生一个矛盾。证明步骤第一步假设测试程序存在存在这样的一个程序,...博文来自:需要加盐吗?

  从小就听过图灵的名字,直到今天图灵完备:一切可计算的问题都能计算,这样的虚拟机或者编程语言就叫图灵完备的。一个能计算出每个图灵可计算函数(Turing-computablefunction)的计算系统...博文来自:Martin 的博客

  图灵机器人案例:来自慕课网,由于讲师讲的太快,我来一个代码分析,方便自己查阅如图页面:1.项目详解 要求接入图灵官网的API,做一个能机器 实现类似微信的聊天页面2.项目核心 访问网络,JSON解析,...博文来自:月先生的一亩三分地

  问题描述是否存在一个过程能做这件事:该过程以一个计算机程序以及该程序的一个输入作为输入,并判断该过程在给定输入运行时是否最终能停止。问题解答1936年图灵证明这样的过程是不存在的。证明(反证法)假设:...博文来自:MyLinChi的博客

  图灵提出图灵机的模型并不是为了同时给出计算机的设计,它的意义我认为有如下几点:1、它证明了通用计算理论,肯定了计算机实现的可能性,同时它给出了计算机应有的主要架构;2、图灵机模型引入了读写与算法与程序...博文来自:weixin_36583895的博客

  最近刚考完可计算理论,考前看习题总有一些题让设计一个图灵机来实现某个算法什么的(≖-≖)(虽然考试题里完全没有考到!然而我还是勤勤恳恳地想了很久)当时看图灵机定义看了无数遍,但依然不是很明白怎么设计啊...博文来自:机密母星联络处

  最近要做一个智能音箱的项目,可是声卡一直配置不好。。。所以,还做个啥啊。没办法,智能退而求其次,做一个文本交互的聊天机器人管家,并给它写个界面。用java写,然后在linux装个jdk就行了。下面说一...博文来自:编程,是个体力活

  无需账号,无需登录,无需积分。收集自互联网,侵权通知删除。百度网盘链接:提取码:c1qe...博文来自:xiebing502161175的博客

  1、图灵机器人概述图灵机器人开放平台是北京光年无限科技旗下的个性化人工智能机器人开放平台。通过图灵机器人开放平台,软硬件产品开发者可快速为自己的产品接入一款具备个性化身份属性特征、满足不同场景多轮对话...博文来自:gcc_jiang的博客

  编辑推荐 172张图解轻松入门; 从基础知识到全新动向,一本书掌握HTTP协议; Web前端开发者必备,从基础知识到全新动向一网打尽。 内容简介 《图灵程序设计丛书:图解HTTP》对互联网基盘——HTTP协议进行了全面...

  高清完美带目录文字版。《算法之美》是2018年5月由中信出版集团出版的一本图书,作者是布莱恩·克里斯汀和汤姆·格里菲思。本书通过讨论人类事务算法设计的概念,以帮助人们更好地处理日常生活中遇到的难题。万维钢、查尔斯·都希格等人对本书做出了评...

  主要内容1.UltraLABH490s水冷级工作站介绍2.热门应用算法特点分析与最快硬件配置推荐  2.1科学与仿线 三维设计与仿线 数字摄影测量、倾斜摄影...博文来自:wdf8088的博客

  1、创建图灵机器人   进入图灵机器人网址:登录/注册,进入机器人管理,然后点击创建机器人然后我们选择或填写机器人的相关属性,这里我选择的是聊天...博文来自:小小渔夫

  AZlie_N:刘英武廉颇老矣,不能饭否。群硕成立15年了,干成什么大事了?

本文链接:http://cakesbyrita.net/duodaitulingji/1153.html