数学心

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

人气小说推荐More+

你是落日满天的橘
你是落日满天的橘
赠予我不轰轰烈烈的青春
那年晚冬
异界兽世之我不当首领很难收场
异界兽世之我不当首领很难收场
〔异世界+一女多男+全洁〕“三十岁正是奋斗闯荡的年纪。真不相亲。肌肉怎么了,这叫力量美。”“今年的生日愿望,不要相亲,要事业,如果有美男也挺好。但是没有也行。嘿嘿,就这些吧。”“滴滴滴。收到”系统分配中……“妻尊在想什么呢?”听见身下传来轻...
西堂醉酒客
寻宝全世界从成为亿万富豪开始
寻宝全世界从成为亿万富豪开始
穿越+金手指+寻宝+鉴宝=寻宝爽文杀手王修缘重生在一个同名的华夏留学生身上,重生在被持枪抢劫现场,他会如何化解危机?眼睛发生异变的他眼中的世界变得不一样了,各种古董、名画、珠宝、黄金都源源不断的被他获得,他也开始不断地在世界各地寻找着各种宝藏,巴勃罗遗产、古兹曼的财富、文物贩子卢芹斋家族的收藏、纳粹宝藏、山下奉文黄金宝藏、十大海盗王宝藏,一个个谜题开始被揭开,历史也不再神秘。各位读者老爷们跟我一
关山难越的失路人
就你说光系弱?吃我一记八分光轮!
就你说光系弱?吃我一记八分光轮!
关于就你说光系弱?吃我一记八分光轮!:穿越平行世界,江辰发现这个世界是一个全民觉醒异能的世界。刚过来就在异能觉醒仪式上,江辰觉醒了被誉为最弱的光系。平常就不对付的同窗大声嘲笑。“江辰,你这怎么觉醒了一个光系啊,我家公司缺一个守夜的,正好你省了电费了,要不要来”。闻言江辰不屑的看着他冷笑了一声。“光系弱,我一记八分光轮你别哭”。后来,九阶异兽看着金光闪闪的江辰欲哭无泪。说好的光系最弱的,你这一个个
伯虎不点秋香
开局拿下校花,神豪就要随心所欲
开局拿下校花,神豪就要随心所欲
人终会被年少时不可得之物而困其一生,可假如你会单手开保时捷,那生活就像玩游戏。心中充满迷茫的顾千夜获得系统后,开始体会到随心所欲的快乐。“我叫做顾千夜,当然要照顾你们一千个夜晚了,让你们感受到幸福、快乐的滋味......”
梦中小世界