可判定的

一个理论是可判定的当且仅当存在一个算法，可以确定任何语句是否属于该理论。

参见

邱奇-图灵论题, 确定性的, 哥德尔完备性定理, 哥德尔第一不完备性定理, 哥德尔第二不完备性定理, 克雷塞尔猜想, 递归不可判定的, 赖斯定理, 理查森定理, 语句, 塔斯基定理, 理论, 不可判定的

使用 Wolfram|Alpha 探索

更多尝试

参考文献

Enderton, H. B. 集合论基础。 New York: Academic Press, 1977.Kemeny, J. G. "初等数论的不可判定问题。" 数学年刊 135, 160-169, 1958.

在 Wolfram|Alpha 中被引用

引用此页

Weisstein, Eric W. “可判定的。” 来自 MathWorld—— Wolfram 网络资源。 https://mathworld.net.cn/Decidable.html

主题分类