数学心

第五百八十八章 可计算的理论(数理逻辑)(1/1)

言情小说吧【m.yqxsb.com】第一时间更新《数学心》最新章节。

图灵发明了爆炸机之后,开始陷入了深深的思考当中。

图灵在想,这就相当于是机器对付机器,虽然有一点点人力的帮助,但是总体而言。都是由机器之间的电波相互识别的,这样的电波有的快速的反应能力。

一天在梦中,有一个机器盒子,有两条纸带。一条纸带咔擦咔擦的从左往右走,另一条纸带从右往左走。机器不停,一直发出几个声响。打带机有很多台,不仅仅是单独的,有的是两个打带机的纸带连接着两个甚至多个机器,有的打带机甚至是一个带子连接着一个机器的。有很多地方的机器都通过带子连接在一起,同时运动。最后前后四方无边无际的都是这种机器,有的运行很慢,半天一动,有的很快一直不停。有的忽快忽慢,有的有时往左移有时往右移。这是一台可以自己运算的机器,机器在自己运算的时候就是这样的。

尽管只是个普通的二进制,但是他也变成了几个具有对话意义的过程,这是个伟大的突破。

图灵在想,机器的本质是什么?对话的本质又是什么?他开始深入的思考这个问题。图灵开始自己制作一个机器的模型,他需要定义一个事情。

先假设有一台机器,这个机器具备计算任何一个模型的能力。在输入口输入问题,经过计算后再从输出的地方输出想要的东西。

是不是任何一个东西都可以计算?计算的时候要什么元件才可以?

肯定使用电器,这个电器的基本运算是什么样子的?可以有很多种,在堆砌成大运算的时候也有达到运算能力越来越强才对。

这个点子元件就是布尔代数的原理,也是数学中的环代数,所以以后的计算机全部都是环代数。也就是数学家要研究环代数的原因。

结合了丘奇的理论,就可以丰富图灵机。

除此以外,图灵第一个要面对的问题就是,什么是可以计算的,什么是不可以计算的?是有能计算的才能用布尔代数去计算,不能计算的就不可以放在计算机中,必须在第一时间内排除掉才可以。

在排除掉不能计算的问题的情况下,才能酣畅淋漓的去计算任何一个可以计算的问题。

1936年,图灵发表了《论可计算数及其在判定问题上的应用》,其中描述了一种理论上的机器,现在称为“图灵机”。它成为可计算性理论的重要组成部分。

人气小说推荐More+

单纯校花重金求子?我直接应聘接单
单纯校花重金求子?我直接应聘接单
前世猝死在工作岗位上的林小严,死后重生回高三毕业的第一天。重生后,他意外发现,曾经的高中校花顾若瑶,竟然在从事重金求子的诈骗行业!一瞬间...校花顾若瑶那清纯甜美的形象,在他心中轰然崩塌...不入虎穴,焉得虎子?为了满足顾若瑶重金求子的心愿,林小严大喊出那句名言。“我不入地狱,谁入地狱!!”
兔子的小调
我在地狱游戏里当卧底
我在地狱游戏里当卧底
当人生中唯一的光明消失,你会怎么做?谢长欢:“我会用他离开的方式离开。【欢迎来到地狱游戏,本游戏发起者为地狱,玩家为将死之人!注意!将死!不是已死!】【当玩家积分达标时,即可重回人间!】……那一天,全城的纸钱都被一位少年买下,烧给同一个人,随着纸钱一起的,还有独栋别墅和一辆豪车。谢长欢:“无父无母孤儿一枚,求收留!范九安:“跟我回家。……范九安认真科普:“冬天穿的越厚,睡觉越冷。谢长欢似懂
嗷呜哇
成为漫画人气Top先从BE开始
成为漫画人气Top先从BE开始
是一部包括热血、温馨、休闲、喜剧等因素的热血少年漫,因其画风的精致、剧情的出其不意和主角们的意难平收获了一众粉丝的喜爱。然而作者在高潮部分断更,一断就断三年,在读者哀怨的等待中,三年后番外篇开始更新,漫画论坛顿时登顶第一!那是一个新的角色——他毒舌、张口第一句话就是让人去死、眼神也是止不住的厌恶、经常会提各种不合理的要求别人执行。所有读者在一开场抱着对新角色的厌恶,然而……[这简直是在要我命!又
一只月兔
出狱断亲你提的,我成医圣你跪什么?
出狱断亲你提的,我成医圣你跪什么?
秦阳为同父异母的妹妹秦东海顶罪,入狱六年,狱中获得医武传承,拯救至亲于水火,令家族企业获得新生!出狱后,至亲之人却暗中对他算计,不惜对他下毒,要将他毒杀!秦阳幡然醒悟,这群所谓的至亲都是一群白眼狼!“你们不仁在先,别怪我不义,你们下半辈子组队上街要饭吧!”“现在才知道后悔?太迟了!”
熬夜小乖
怎么从be作者手中找出唯一he
怎么从be作者手中找出唯一he
“你总得付出点什么,你懂的,炼金术的铁则:等价交换。“其实相比于别人,我索取的已经少得可怜,仅仅是一个人的回忆而已。“不足轻重的回忆。男人将背起的铜棺放下,鸢尾花的浅蓝模糊了他的视线,那对冷肃的紫金瞳里罕见的浮现出几抹犹豫与追忆。魔女之死、升华之礼、猎魔与秘血、国度与王皇……黄金乡、浮士德、死海教宗、西斯庭教堂……“不,我承担不起空落的代价。在此时未降临前的彼时,于此刻已降临后的彼刻,命运
悲雨无鳞