手机浏览器扫描二维码访问
第六百七十五章 可计算的理论数理逻辑（第1页）
图灵发明了爆炸机之后，开始陷入了深深的思考当中。
图灵在想，这就相当于是机器对付机器，虽然有一点点人力的帮助，但是总体而言。都是由机器之间的电波相互识别的，这样的电波有的快速的反应能力。
一天在梦中，有一个机器盒子，有两条纸带。一条纸带咔擦咔擦的从左往右走，另一条纸带从右往左走。机器不停，一直发出几个声响。打带机有很多台，不仅仅是单独的，有的是两个打带机的纸带连接着两个甚至多个机器，有的打带机甚至是一个带子连接着一个机器的。有很多地方的机器都通过带子连接在一起，同时运动。最后前后四方无边无际的都是这种机器，有的运行很慢，半天一动，有的很快一直不停。有的忽快忽慢，有的有时往左移有时往右移。这是一台可以自己运算的机器，机器在自己运算的时候就是这样的。
尽管只是个普通的二进制，但是他也变成了几个具有对话意义的过程，这是个伟大的突破。
图灵在想，机器的本质是什么？对话的本质又是什么？他开始深入的思考这个问题。图灵开始自己制作一个机器的模型，他需要定义一个事情。
先假设有一台机器，这个机器具备计算任何一个模型的能力。在输入口输入问题，经过计算后再从输出的地方输出想要的东西。
是不是任何一个东西都可以计算？计算的时候要什么元件才可以？
肯定使用电器，这个电器的基本运算是什么样子的？可以有很多种，在堆砌成大运算的时候也有达到运算能力越来越强才对。
这个点子元件就是布尔代数的原理，也是数学中的环代数，所以以后的计算机全部都是环代数。也就是数学家要研究环代数的原因。
结合了丘奇的理论，就可以丰富图灵机。
除此以外，图灵第一个要面对的问题就是，什么是可以计算的，什么是不可以计算的？是有能计算的才能用布尔代数去计算，不能计算的就不可以放在计算机中，必须在第一时间内排除掉才可以。
在排除掉不能计算的问题的情况下，才能酣畅淋漓的去计算任何一个可以计算的问题。
1936年，图灵发表了《论可计算数及其在判定问题上的应用》，其中描述了一种理论上的机器，现在称为“图灵机”。它成为可计算性理论的重要组成部分。
喜欢数学心请大家收藏：（）数学心
请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。
死神不来了 还是修仙吧 我在死亡副本当管理员 小仓鼠今天有猫了吗 末世后我成了疯批alpha们的安抚剂 迷津蝴蝶 攻略对象变成室友后，他不对劲 枭鸢 穿到虫族和军雌相亲 夸夸我的神探祖父穿越爹 君为客 杀了那个妖鬼 第三十年明月夜 我真没想在过去的年代当学霸 上流假象 撩惹疯批顶E，笨蛋少爷他逃了 新搬来的邻居 怪物崽崽和他的怪物监护人 神魔剑玄录 兽世养山君[种田]
贼婿
穿越乱世，五国争雄，命如草芥。方贤身陷青云寨牢房却稳如老狗还好，我有系统。救老寨主后，被逼娶少寨主，方贤只得加入山寨成为一名贼婿。如果您喜欢贼婿，别忘记分享给朋友...
神宵女帝
为救人而死的高中女生被仙界大能救下，给了她一个伟大的任务，还送给她一件需要完善的法宝和一个总让她生气的器灵，穿越到一位憨厚老实的姑娘身上开始了她的冒险之旅。但是，她还有个小小的心愿，想找个对象来对付异世的孤独和弥补前世的遗憾，只是，人是找到了，却是个心高气傲的主儿。于是，带着最心爱的灵宠，讨厌的器灵，还有那又爱又恨的心上人，沐月影开始了她忙碌的又一生。如果您喜欢神宵女帝，别忘记分享给朋友...
四爷的心尖宠妃
‘悲惨’的事实告诉我们，穿越是个技术活。而显然叶枣技术一般。被自家便宜舅舅骗进人家府里做小妾也就算了，为毛是四爷府上？ 还是个侍妾，这怎么混？起点太低，出身太差，筹码太少！大BOSS血太厚，小BOSS个...
单身主义的我绝不恋爱
作为单身主义者，二十八岁的陈流火未来几十年的人生计划中，从未有过恋爱与结婚这两个词组的立足之地。除了老妈的疯狂逼婚让他有点头疼之外，他对现在的单身生活很满意。某一天，一个莫名其妙的漂亮女人突然冒了出来。她说和我生个孩子吧！她又说你放心，我只是想要个孩子，我对男人没兴趣。陈流火冷笑，他脑子进了水，才会答应这种事。计划赶不上变化，为了应付老妈的催婚，陈流火不得不和女人达成了一个交易两人假装恋爱再分手，这样一来，惨受情伤的陈流火就可以继续他的单身主义。一年过去。陈流火躺在床上，看着身边熟睡的女人，看着墙上的结婚照，陷入了沉思说好的对他没兴趣呢？还有，说好的单身主义呢？如果您喜欢单身主义的我绝不恋爱，别忘记分享给朋友...
无敌部落
关于无敌部落借个更好的身体，去爱曾经的她换个活法，去展现男人的韬略找一条回乡的路，看是否有人值得你为她出生入死每个人的心里都住着一个部落，在那里，他就是酋长。...
锦绣繁花
关于锦绣繁花渣男负她，又毁她的容，无端罪名安在她身上，要她死！什么天理？却不巧碰上了医学圣手的她，狠打渣男脸，挡道者，杀无赦！巧手一针江山势要创出一片大天地！一不留神便沦陷，携手男人扭乾坤，...