数学心

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

人气小说推荐More+

重生70:种田打猎,我把妻女宠上天
重生70:种田打猎,我把妻女宠上天
关于重生70:种田打猎,我把妻女宠上天:上一世,因为重男轻女,吕春来听信谗言。害了老婆,卖了女儿,落得孑然一身的下场。如今重活一世,他拳打恶毒家人,脚踢无耻村霸。眼观六路找山货,耳听八方打野物。石斛,灵芝,猴头菇……野鸡,野猪,野麂子……靠着赶山打猎,把妻女都给宠上了天!
lucky爹
被病娇千金独宠后,白月光哭求我原谅
被病娇千金独宠后,白月光哭求我原谅
重生前,万般卑微求不来渴望的求情,甚至遭尽冷眼。最终被赶出家门,孤身流落,麻木一生。再活一世,江浩再不奢望,与他们断绝关系可世界却变了。冷漠疏离的大姐,日日祈求原谅。讨厌江浩的二姐,却主动上门恳求冰释前嫌。一直冷眼,认为磨练心性的三姐,再维持不住高傲的面孔。父亲后悔,母亲痛心,一切只希望江浩回来。就连一直而心江浩的前未婚妻,也非江浩不嫁。......可迟来的深情比草贱。江浩早已不需要这些。大雪中
我开始秀了
重生1958:我带全村吃香喝辣
重生1958:我带全村吃香喝辣
我带全村吃香喝辣:李大柱穿越到1958年,一个和他同名同姓的人身上。偏心奶奶、泼辣婶子、虚伪叔叔....原宿主却怂的一批,任由他们欺负自己老妈...而主角却重生到婶子欺负宿主老妈的那一天,并且觉醒了随身空间。这家必须分,婶子、叔叔必须揍!自从分了家,李大柱在这个吃不饱饭的年代,天天白面馍,小米粥。直到大旱来临。李大柱家的生活更是直线上升,养鸡养猪,粮食满库,带领村里人吃香喝辣。村长:大柱,我家女
青涟居士
我有百倍返利舔狗系统
我有百倍返利舔狗系统
关于我有百倍返利舔狗系统:【系统】+【校花】+【姐弟恋】+【多女主】+【搞笑】+【情感】开局大学校花投怀送抱?身价变百亿只需三天?告别舔狗身份!觉醒舔狗系统!只要舔得多谁是狗就不一定了!颜值不是我泡妹的理由,还有百倍返利舔狗系统!
为北
重启1991:从出狱开始崛起
重启1991:从出狱开始崛起
关于重启1991:从出狱开始崛起:前世,父母恶毒不公,不仅让许文东替二哥顶罪,还撺掇他的女友嫁给了对方。出狱后,许文东人财两空,唯一真心待他的嫂子也因父母陷害吊死在了门梁上。如今,重回二十五岁的许文东,再次走出了监狱大门……
家巧