数学心

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

星阅小说网【wap.xyxsb.com】第一时间更新《数学心》最新章节。

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

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

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

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

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

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

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

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

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

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

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

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

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

人气小说推荐More+

英灵祭:全面战争
英灵祭:全面战争
关于英灵祭:全面战争:群像+英灵+历史+轻小说(非纯爽文、日常幽默、初中及初中以下的读者慎入、无cp、剧情严谨、逻辑清晰、智斗、武斗、杀伐果断)剑气、道术、魔法,东方英灵与西方英灵的对决!在历史的岁月长河中,他们是无人不知无人不晓的英灵,本不该相遇的ta们却因为一场祭典同时被召唤到了这个世界,这就是鲜为人知的英灵祭。女主灵芝,代表着为恩学院参加了本届英灵祭,拿着后羿弓的她却召唤了与之毫无关联的英
为你独爱
舔狗雌性清醒后,踹掉无情渣兽夫
舔狗雌性清醒后,踹掉无情渣兽夫
关于舔狗雌性清醒后,踹掉无情渣兽夫:【穿书+雄竞+异能+追妻火葬场】云芝穿成一本兽世小说里的路人甲雌性后,对着小说里的男主单方面陷入了爱河,开始了对男主的紧追不舍。在男主面前,云芝化身为舔狗,渴了端水,饿了送上美食,冷了缝制兽皮衣服。舔了许久终于等到男主松口和她在一起。谁知男主心中那位白月光雌性的到来,让云芝成为了众人的笑话。甚至在危急关头时的二选一,已经成为族长的男主还是选择救其他人,放弃云芝
山城市花
爱情公寓之我竟是胡一菲的学弟
爱情公寓之我竟是胡一菲的学弟
关于爱情公寓之我竟是胡一菲的学弟:林霄没想到只是下班吃个麻辣烫而已,竟然就穿越到新的世界。原本以为只是重新过平淡的一生,就意外遇见了爱情公寓里面的人,还是武力值最高的胡一菲,林霄才知道原来现在这个世界是各种影视剧的综合世界。既然知道了爱情公寓的存在,前世就是个爱情公寓迷的林霄当然不能错过最好的朋友在身边、最爱的人在对面的生活啦。
一只快乐的梨
重生一回,我在医学界疯狂摆烂
重生一回,我在医学界疯狂摆烂
(神医+系统+重生+无脑爽文+医学界摆烂+多职业+娱乐圈+科学界)本文属于无脑爽文,反派有强行降智的嫌疑,当然,男主的主线并不是一帆风顺的,注意:本文设定为都市框架的前提下,略带一点点圣母内容,根据读者大大们的反馈情况可能会出现一些微虐情节,请不要给作者寄刀片。祝大家阅读愉快
文刂氵羊
腌臜玫瑰
腌臜玫瑰
关于腌臜玫瑰:孤女夏橙认祖归宗后,最讨厌那个取代了自己位置的养女。养女纯洁无害,温柔伪善,衬得夏橙恶人一个,无可救药。夏橙收敛锋芒,学着养女的模样做一个好孩子,可面上越纯善,她就越知道自己心里到底想要什么......无论是养女喜欢的,还是喜欢养女的,她统统都要抢过来。风头,前途,家产,男人,她都要争上一争,将养女压的翻不过身。但是......风头家产这些都是好控制的死物,唯有那几个男人,渐渐发现
绛河客