教会的图灵机论文

1936年，Alonzo Church创建了一种名为lambda演算的方法，其中定义了教堂的数字，即自然数的编码。同样在1936年，艾伦·图灵(Alan Turing)创建了图灵机(以前称为机器的理论模型)，该机用于借助磁带来操纵字符串的符号。

教会图灵论文：
图灵机被定义为诸如计算机中的硬件之类的计算设备的抽象表示。艾伦·图灵(Alan Turing)提出了逻辑计算机(LCM)，即图灵对图灵机的表达。这样做是为了正确定义算法。因此，丘奇(Church)通过使用逻辑和数学方法制造了一种机械方法，称为“ M”，用于操纵字符串。

该方法M必须传递以下语句：

• M中的指令数必须是有限的。
• 执行有限数量的步骤后，应产生输出。
• 它不应该是虚构的，即可以在现实生活中实现。
• 它不需要任何复杂的理解。

丘奇(Church)使用这些陈述提出了一个称为丘奇(Church’s)的图灵(Turing)命题的假说，该假说可以表述为：“可以用部分递归函数识别可计算函数的直观概念的假设。”

在1930年，该声明首先由Alonzo Church提出，通常被称为Church’s论文或Church-Turing论文。但是，这一假设无法得到证明。

采取以下假设后，递归函数可以是可计算的：

1. 每个函数必须是可计算的。
2. 假设’F’为可计算函数，并且在对’F’执行一些基本运算后，它将转换为新函数’G’，然后此函数’G’自动成为可计算函数。
3. 如果遵循以上两个假设的任何函数必须被声明为可计算函数。