话题
搜索

无法确定


不是可判定的由于既不正式可证明或不可证明。


另请参见

哥德尔第一不完全性定理,哥德尔的第二不完全性定理,递归地无法确定,赖斯定理,理查森的定理

与Wolfram一起探索| Alpha

引用如下:

埃里克·魏斯坦(Eric W.Weisstein)。“无法确定。”来自数学世界--Wolfram Web资源。https://mathworld.wolfram.com/Undecidable.html

受试者分类