书趣读

手机浏览器扫描二维码访问

第六百七十五章 可计算的理论数理逻辑(第1页)

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

图灵在想,这就相当于是机器对付机器,虽然有一点点人力的帮助,但是总体而言。

都是由机器之间的电波相互识别的,这样的电波有的快速的反应能力。

一天在梦中,有一个机器盒子,有两条纸带。

一条纸带咔擦咔擦的从左往右走,另一条纸带从右往左走。

机器不停,一直发出几个声响。

打带机有很多台,不仅仅是单独的,有的是两个打带机的纸带连接着两个甚至多个机器,有的打带机甚至是一个带子连接着一个机器的。

有很多地方的机器都通过带子连接在一起,同时运动。

最后前后四方无边无际的都是这种机器,有的运行很慢,半天一动,有的很快一直不停。

有的忽快忽慢,有的有时往左移有时往右移。

这是一台可以自己运算的机器,机器在自己运算的时候就是这样的。

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

图灵在想,机器的本质是什么?对话的本质又是什么?他开始深入的思考这个问题。

图灵开始自己制作一个机器的模型,他需要定义一个事情。

先假设有一台机器,这个机器具备计算任何一个模型的能力。

在输入口输入问题,经过计算后再从输出的地方输出想要的东西。

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

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

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

也就是数学家要研究环代数的原因。

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

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

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

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

它成为可计算性理论的重要组成部分。

本周收藏榜
热门小说推荐
恐怖女主播

恐怖女主播

我叫元君瑶,一个和我格格不入的名字。我天生顽疾,丑到畸形,从小脸上就开始长瘤。三个月时,父亲就离开了我,十五岁时,我又克死了母亲,只有外婆拉扯着我和异父异母的弟弟长大。但因为一场意外,我被献给了一个和我本该不会有任何交集的男人。为了复仇,为了讨回公道,我开始了主播的道路。我…是一个专门直播见鬼的网红女主播!...

春心农场

春心农场

茅山派修道多年,开办春心农场一个  本农场宗旨是只招收风流鬼,不风流的不给钱啊!  鬼来种田,妖来监工,小鞭子一抽,那叫一个得意。  我是春心,我荡漾,英俊发小,千年狐妖,暧昧仇人,统统收入田中。  狐族有一种草,男人吃了男人受不了,女人吃了女人受不了,男女都吃了,床受不了,你要不要尝尝?  某人感慨,像这种宝贝就应该留在人间造福人类。...

君宠新妃:娘子,要听话

君宠新妃:娘子,要听话

一穿过来就嫁人,颜笙很懵逼,嫁的还是某位不愿意娶她的王爷!上一世原主让这王爷和府中侧妃生生虐死,这一世定然将他这王府炸伤天!但首先得把婚离了吧,不然天天那么多好男人在她眼前瞎晃,能看不能撩,颜笙感觉自己错过了一个亿!不小心发现自己真正的爱人也在这个时代后,颜笙彻底炸了!颜笙启禀皇上,本王妃要休夫改嫁然而爱人说不用休,直接弄死...

倾身付君心

倾身付君心

没身份没地位没靠山,三没私生女却要当军长夫人?!一纸婚约,她一跃成为第一军长的候补未婚妻。灰姑娘立志要转正,可却被某男无耻地缠上,阴谋诡计暗杀,毒招轮番上演滚开好咩,人家要嫁的是高富帅,至于你,有多远滚多远纳尼?无耻男才是真的军长大人?!...

往生门扉

往生门扉

一道门扉,无数个世界。忍术破道魔法斩魄刀帝具。旗木家的男人,绝不认输!...

神厨狂后

神厨狂后

她是21世纪顶尖杀手,却穿为北燕国最不受宠爱的废材王后,仗着娘家横行霸道欺凌后宫。她有超级酷帅的腹黑丈夫和超级可爱的天才宝宝,还有一个可以抽奖掉装备的厨神系统。看她如何用一锅一勺,征服美男称霸后宫走向人生巅峰!情节虚构,请勿模仿...

每日热搜小说推荐