手机浏览器扫描二维码访问
第六百七十五章 可计算的理论数理逻辑（第1页）
图灵发明了爆炸机之后，开始陷入了深深的思考当中。
图灵在想，这就相当于是机器对付机器，虽然有一点点人力的帮助，但是总体而言。都是由机器之间的电波相互识别的，这样的电波有的快速的反应能力。
一天在梦中，有一个机器盒子，有两条纸带。一条纸带咔擦咔擦的从左往右走，另一条纸带从右往左走。机器不停，一直发出几个声响。打带机有很多台，不仅仅是单独的，有的是两个打带机的纸带连接着两个甚至多个机器，有的打带机甚至是一个带子连接着一个机器的。有很多地方的机器都通过带子连接在一起，同时运动。最后前后四方无边无际的都是这种机器，有的运行很慢，半天一动，有的很快一直不停。有的忽快忽慢，有的有时往左移有时往右移。这是一台可以自己运算的机器，机器在自己运算的时候就是这样的。
尽管只是个普通的二进制，但是他也变成了几个具有对话意义的过程，这是个伟大的突破。
图灵在想，机器的本质是什么？对话的本质又是什么？他开始深入的思考这个问题。图灵开始自己制作一个机器的模型，他需要定义一个事情。
先假设有一台机器，这个机器具备计算任何一个模型的能力。在输入口输入问题，经过计算后再从输出的地方输出想要的东西。
是不是任何一个东西都可以计算？计算的时候要什么元件才可以？
肯定使用电器，这个电器的基本运算是什么样子的？可以有很多种，在堆砌成大运算的时候也有达到运算能力越来越强才对。
这个点子元件就是布尔代数的原理，也是数学中的环代数，所以以后的计算机全部都是环代数。也就是数学家要研究环代数的原因。
结合了丘奇的理论，就可以丰富图灵机。
除此以外，图灵第一个要面对的问题就是，什么是可以计算的，什么是不可以计算的？是有能计算的才能用布尔代数去计算，不能计算的就不可以放在计算机中，必须在第一时间内排除掉才可以。
在排除掉不能计算的问题的情况下，才能酣畅淋漓的去计算任何一个可以计算的问题。
1936年，图灵发表了《论可计算数及其在判定问题上的应用》，其中描述了一种理论上的机器，现在称为“图灵机”。它成为可计算性理论的重要组成部分。
喜欢数学心请大家收藏：（）数学心
永恒大陆之命运 快穿之炮灰得偿所愿 大明：开局气疯朱元璋，死不登基 我一枪一剑杀穿大陆 重生在宝可梦，我的后台超硬 宗门全是美强惨，小师妹是真疯批 至尊战皇 我的徒弟不对劲 混迹娱乐圈的日子 摊牌了，我爹是绝顶高手！ 农夫是概念神？三叶草了解一下！ 哦豁！虐文炮灰不干了！ 国运：拥有多重身份的我很合理吧 新人驾到 在下潘凤，字无双 玄灵界都知道我柔弱可怜但能打 译文欣赏：博伽瓦谭 穿成商户女摆烂，竟然还要逃难！ 穿到八零，我自带锦鲤系统！ 暗无
斗罗之先天二十级
全本免费，新书斗罗无敌从俘获女神开始斗罗之收徒就变强斗罗之酒剑斗罗王圣穿越到了斗罗1的世界之中，在觉醒武魂的那一天，竟然是先天二十级的魂力。看王圣如何组建属于他自己的7怪。当他的7怪与唐三的7怪相遇时，又会是怎样的一个场面？谁强？谁弱？谁才是真正的主角！粉丝群1304623681...
慕少，你老婆又重生了
她死不瞑目，在江边守了三天三夜，来收尸的却不是她丈夫看着男人轻吻自己肿胀腐烂的尸体，她心中撼动不已，暗下许诺如果能重生，一定嫁给他！后来，她真的重生了，却成了他妹妹（⊙o⊙）慕容承说你再敢死给我看，我不介意变个态，和尸体洞房。她欲哭无泪，我滴哥！你早就变态了好么？！轻松搞笑，重口甜爽，可放心阅读...
伪我独尊大雁捕蝉
一种能帮忙泡妞的异能会给主角的人生带来怎样的奇遇？很简单，进来一看便知！...
色间道
穷小子楚帅，先赚了一个极品级二奶，却原来是间谍精英，然后，一个大陆女警官凌小杰好有暗恋他，可是，穷小子还有一个比鸟齐飞的原配初恋，还有一个女朋友的死党小魔女蓝菲，还有几乎是后宫佳丽如云，不过，一个个美眉都有好神秘的身份，你中有我，我中有你...
君少心头宝，夫人哪里跑
从我身上下去。男人的声音透着几分无奈和隐忍。我不。少女摇头，双手死死抱住身下的男人。听话，你这样我没法睡。以前我都是趴你身上睡的。那不一样你现在是人。京城杀伐果断，残暴冷血的神秘大当家意外被只小奶猫所救，从此化身猫奴，跌了一众下属的下巴。然而当有一天睡醒发现怀里的小奶猫变成了俏生生的软萌小丫...
修罗天帝
八年前，雷霆古城一夜惊变，少城主秦命押入青云宗为仆，二十万民众赶进大青山为奴。八年后，淬灵入武，修罗觉醒，不屈少年逆天崛起。给我一柄刀，可破苍穹，给我一柄剑，可指霄汉。金麟岂是池中物，一遇风云便化龙。当修罗子不死王雷霆战尊古海蛮皇等等一个个封号落在秦命身上，这个一身傲骨的少年踏天而行，带领一众挚友红颜，傲战八...