主题
Search

丘奇定理

丘奇证明了几个重要的定理，现在都以丘奇定理的名字命名。

丘奇定理之一指出，不存在一致的 可判定的 皮亚诺算术的扩展 (Wolf 2005)。

丘奇 (1936) 还证明了，具有至少一个至少二元谓词或至少两个至少一元函数符号的一阶 重言式集合不是递归的。

另请参阅

丘奇-罗瑟定理, 丘奇-图灵论题, 判定问题

此条目部分内容由 Marcin Mostowski 贡献

使用 Wolfram|Alpha 探索

参考文献

Church, A. "A Note on the Entscheidungsproblem." J. Symb. Logic 1, 40-41, 1936.Church, A. Introduction to Mathematical Logic. Princeton, NJ: Princeton University Press, 1996.Wolf, R. S. A Tour Through Mathematical Logic. Washington, DC: Math. Assoc. Amer., p. 146, 2005.

在 Wolfram|Alpha 中被引用

丘奇定理

请引用为

Mostowski, Marcin 和 Weisstein, Eric W. "丘奇定理。" 来自 MathWorld——Wolfram Web 资源。 https://mathworld.net.cn/ChurchsTheorem.html

主题分类