手机浏览器扫描二维码访问
第六百七十五章 可计算的理论数理逻辑（第1页）
图灵发明了爆炸机之后，开始陷入了深深的思考当中。
图灵在想，这就相当于是机器对付机器，虽然有一点点人力的帮助，但是总体而言。都是由机器之间的电波相互识别的，这样的电波有的快速的反应能力。
一天在梦中，有一个机器盒子，有两条纸带。一条纸带咔擦咔擦的从左往右走，另一条纸带从右往左走。机器不停，一直发出几个声响。打带机有很多台，不仅仅是单独的，有的是两个打带机的纸带连接着两个甚至多个机器，有的打带机甚至是一个带子连接着一个机器的。有很多地方的机器都通过带子连接在一起，同时运动。最后前后四方无边无际的都是这种机器，有的运行很慢，半天一动，有的很快一直不停。有的忽快忽慢，有的有时往左移有时往右移。这是一台可以自己运算的机器，机器在自己运算的时候就是这样的。
尽管只是个普通的二进制，但是他也变成了几个具有对话意义的过程，这是个伟大的突破。
图灵在想，机器的本质是什么？对话的本质又是什么？他开始深入的思考这个问题。图灵开始自己制作一个机器的模型，他需要定义一个事情。
先假设有一台机器，这个机器具备计算任何一个模型的能力。在输入口输入问题，经过计算后再从输出的地方输出想要的东西。
是不是任何一个东西都可以计算？计算的时候要什么元件才可以？
肯定使用电器，这个电器的基本运算是什么样子的？可以有很多种，在堆砌成大运算的时候也有达到运算能力越来越强才对。
这个点子元件就是布尔代数的原理，也是数学中的环代数，所以以后的计算机全部都是环代数。也就是数学家要研究环代数的原因。
结合了丘奇的理论，就可以丰富图灵机。
除此以外，图灵第一个要面对的问题就是，什么是可以计算的，什么是不可以计算的？是有能计算的才能用布尔代数去计算，不能计算的就不可以放在计算机中，必须在第一时间内排除掉才可以。
在排除掉不能计算的问题的情况下，才能酣畅淋漓的去计算任何一个可以计算的问题。
1936年，图灵发表了《论可计算数及其在判定问题上的应用》，其中描述了一种理论上的机器，现在称为“图灵机”。它成为可计算性理论的重要组成部分。
喜欢数学心请大家收藏：（）数学心
盛宠拽后：本宫就爱戏诸王 快穿之大佬总是在撩我 [综影视同人] 炮灰终结者 告白未果，我决定做回低调逆袭者 本座的猫儿师尊 鬼灭RPG为美好的世界献上帝君 我说今夜无神，于是众神陨落 BOSS伪装白莲花女主杀疯了 我把皇子养歪了 [穿书]男主他想弄死我+番外 忠犬影卫饲养法则 宗门全是美强惨，小师妹是真疯批 成就华流天王，从历经生死战开始 [HP同人] 隐藏在霍格沃茨当教授 我当过的炮灰都成了宠文男主[快穿] 白夜（重生） 当绿茶反派男配想上位 肥妃有福，双面王爷倾世妃 重生后她燃炸了 [咒回同人] 全员术师
无良交易
老天爷你瞎了眼，居然用雷劈我？本来是个假半仙的乐天居被雷劈成真半仙，也开启了他精彩的世界。美女金钱权利，要啥有啥的生活实在太爽了...
极品大太监
贪财好色但却精通书法书画的典当行小职员梁薪穿越到北宋深宫之中成为一名没有净身的小太监。一方面梁薪惑乱宫闱，另一方面他又深得皇上赵佶的信任，成为皇宫太监第一人。...
斗罗大陆之王者归来
他们毕业于史莱克学院，是被长辈老师喜爱的孩子。他们被世人称为史莱克七怪，是同辈甚至长辈羡慕的天才。他们一同升入神界，七人一同在神界生活千年。原本平凡无聊的日子被神王打破。他们终于回到了斗罗大陆。可是神界之外，真的没有让他们而恐惧的对手吗。唐三，真的仅仅是唐三而已吗。...
农女有田超给力
穿成农家好吃懒做，丑胖自私的反派小姑子，住的差，吃不饱，声名狼藉，白瑾梨表示压力很大。还好极品亲娘宠她，包子哥嫂听她话，侄子侄女拿她当老大，又有空间在手，发家致富，改变自己，和谐全家妥妥的，只是这个刚出现就险些被她害了的男人为何看着怪怪的，一开始想杀她，后来天天想跟她在一起？重生后的林沉渊满心困惑他的媳妇不是很差劲吗？为何现在如此优秀？这是一个穿越女遇上重生男，最后相濡以沫，白头到老的甜宠文！...
星空下的幻想
新书天启已上传，望大家多多支持哈。－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－大家没事可以加群170688012讨论交流。...
靳总,别傲娇靳寒嵊
海城市关于靳寒嵊的传闻有很多，心狠手辣阴晴不定但是没有人知道，靳寒嵊心里有一道白月光，并且经年不忘。然而，再次相见时，那个女人挽着他弟弟的胳膊。他挡在她面前ldquo想要一步登天，要找到合适的人，他给不了你想要的。rdquo她微笑着摇摇头ldquo靳总误会了，我没有那么大的野心。rdquo为了逼她就范，他一步一步切断她所有的退路。最后，她只能找上门求他。各位书友要是觉得靳总别傲娇靳寒嵊还不错的话请不要忘记向您QQ群和微博里的朋友推荐哦！靳总别傲娇靳寒嵊最新章节靳总别傲娇靳寒嵊无弹窗靳总别傲娇靳寒嵊全文阅读...