主题
Search

不可判定


由于既不是可判定的也不是不可证明的,因此是不可判定的。


另请参阅

哥德尔第一不完备性定理, 哥德尔第二不完备性定理, 递归不可判定, 赖斯定理, 理查森定理

使用 Wolfram|Alpha 探索

引用为

Eric W. Weisstein "不可判定。" 来自 MathWorld——Wolfram 网络资源。 https://mathworld.net.cn/Undecidable.html

主题分类