极简中文网

手机浏览器扫描二维码访问

第六百七十五章 可计算的理论数理逻辑（第1页）

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

图灵在想，这就相当于是机器对付机器，虽然有一点点人力的帮助，但是总体而言。

都是由机器之间的电波相互识别的，这样的电波有的快速的反应能力。

一天在梦中，有一个机器盒子，有两条纸带。

一条纸带咔擦咔擦的从左往右走，另一条纸带从右往左走。

机器不停，一直发出几个声响。

打带机有很多台，不仅仅是单独的，有的是两个打带机的纸带连接着两个甚至多个机器，有的打带机甚至是一个带子连接着一个机器的。

有很多地方的机器都通过带子连接在一起，同时运动。

最后前后四方无边无际的都是这种机器，有的运行很慢，半天一动，有的很快一直不停。

有的忽快忽慢，有的有时往左移有时往右移。

这是一台可以自己运算的机器，机器在自己运算的时候就是这样的。

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

图灵在想，机器的本质是什么？对话的本质又是什么？他开始深入的思考这个问题。

图灵开始自己制作一个机器的模型，他需要定义一个事情。

先假设有一台机器，这个机器具备计算任何一个模型的能力。

在输入口输入问题，经过计算后再从输出的地方输出想要的东西。

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

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

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

也就是数学家要研究环代数的原因。

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

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

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

1936年，图灵发表了《论可计算数及其在判定问题上的应用》，其中描述了一种理论上的机器，现在称为“图灵机”

。

它成为可计算性理论的重要组成部分。

喜欢数学心请大家收藏：（aiquwx）数学心

请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。

弃我选白月光？我离婚你疯什么！  和扶弟魔老婆离婚后，我送她全家升天  离婚后，傅先生对她俯首称臣  重生1961，开局相亲对象就被截胡！  一本杂录  全家逼我离婚，现在后悔有用么  聊天群：开局获得赛亚人血脉  末世降临：我招收下属，获得百倍物资  CS：不是，你的残局靠请神啊？  死亡来信  要离婚你高冷，再婚又发疯？  系统盯上龙椅后，公主天天作死  苟在末日，独自修仙  庆余年：范府大宗师  我与仙子不两立  从流民到皇帝，朕这一生如履薄冰  重生79，离婚后知青老婆她后悔了  糟了，那妖女也重生了！  重生后在前世死对头怀里兴风作浪  带白月光回家，我离婚你悔啥？