数学心

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

人气小说推荐More+

年代影综:1947我来了
年代影综:1947我来了
关于年代影综:1947我来了:大四学生李天佑魂穿1947年北平城一个12岁的小孩身上,不仅带着三个拖油瓶弟弟妹妹,还被白狗子追杀。意外发现所在世界是正阳门下小女人、情满四合院、新世界、潜伏、人是铁饭是钢等影视剧的世界。看他如何在那个动荡的时代过自己平凡的小日子。多女主,不种马。四合院剧情出现较晚,主要在1949年以后。
十点饭的吃
重生1980:从列车员开始起飞
重生1980:从列车员开始起飞
(年代幽默逗乐+玉佩空间+搞钱票)重生1980年的张有福,改变了前一世的命运,从列车员开始起飞,爷爷奶奶、爹娘、媳妇闺女、大哥大嫂侄子侄女、二姐弟弟妹妹……利用玉佩空间带着一家子人过上好日子,趁着改革开放的东风,赚了一笔小钱,潇洒过完这一生!
淡写的美
诸天监狱,开局降服六翼天使
诸天监狱,开局降服六翼天使
当校草在坟头苏醒,整个世界的神明都慌了——[反套路神明改造系统]:别人跪舔神明,我拿警棍抽神明。堕天使路西法:“人类,你敢用警棍抽我?”(被王林按在地上疯狂输出)将臣:“吾乃尸祖……”(话没说完就被关进solitaryconfinement)“路西法,把你的翅膀借我砍个人。”当林江夜扛着染血的直刀走出监狱,身后传来路西法咬牙切齿的诅咒,却伴随着的提示音。红月在天边渗出血泪,而他袖口的尸斑正以肉眼
断肠久酒
你们找错人了,我只是个卡牌师
你们找错人了,我只是个卡牌师
全民转职,各族当立,这看似和平的年代,实则暗流涌动。转职当天,原本万众瞩目的季川却转职成为F级职业卡牌师,遭众人嫌弃。不过当F级职业碰到SSS级天赋呢?“我的老朋友,再次见面我很开心。高考过后,原本摸鱼的生活仿佛被打破了。当各方势力互相争抢时,每个人耳边突然传出来一句话:“喂,你们找错人了,我只是个卡牌师。既然不能摸鱼了,那就给这个世界一点小小的游戏体验吧。“准备好了吗,相信命运的朋友们?“
单推卡牌师
修罗女帝之绝世无双
修罗女帝之绝世无双
金与紫的霓虹都市下,有着钢铁巨兽。高悬于世人的天穹之上,伫立着守望人间的神明。惶惶的末世之中,充满了人性的考验。工业革命,是这个时代发展的动力。璀璨的时代,便会迎来盛世。这世间有着超脱世人的神秘力量……上架感言。感谢各位读大大的支持,这本书终于上架了。各位看观老爷,动动你们发财的小手,支持这本书吧。你们的支持,就是我写作的最大动力。这本书的成绩,就交给你们了,我相信各位读者大大。请支持正版阅读吧
梦若浮情