第四百九十四章 可计算的理论（2/2）

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

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

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

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

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

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