教会的论文

数学
验证引用
尽管已经尽一切努力跟随引文样式规则,可能会有一些差异。请参考适当的样式手册或其他来源的如果你有任何问题。
选择引用样式
反馈
修正?更新?遗漏?让我们知道如果你有建议改进这篇文章(需要登录)。
谢谢你的反馈

我们的编辑器将检查你提交并决定是否修改这篇文章。

打印
验证引用
尽管已经尽一切努力跟随引文样式规则,可能会有一些差异。请参考适当的样式手册或其他来源的如果你有任何问题。
选择引用样式
反馈
修正?更新?遗漏?让我们知道如果你有建议改进这篇文章(需要登录)。
谢谢你的反馈

我们的编辑器将检查你提交并决定是否修改这篇文章。

备选标题:教会的定理,Church-Turing论文

教会的论文,也叫教会的定理,一个由20世纪美国逻辑学家制定原则西德尼教堂,说明递归函数是唯一可以机械计算的函数。的定理意味着算术程序不能被用于决定的一致性声明依法制定法律的算术。