是否存在一种算法，用于判定一个特定的数学断言是否拥有证明？ 判定问题也被称为 Entscheidungsproblem（这并非巧合，在德语中意为“判定问题”）。
利用图灵机的概念，图灵证明了对于初等数论，答案是否定的。 J. Robinson 和塔斯基证明了对于任意域，判定问题是不可判定的。
判定问题
另请参阅
丘奇定理, 哥德尔第一不完备性定理, 哥德尔第二不完备性定理, 皮亚诺算术, 普莱斯伯格算术使用 Wolfram|Alpha 探索
参考文献
Church, A. "A Note on the Entscheidungsproblem." J. Symb. Logic 1, 1936.Wolfram, S. 一种新科学。 Champaign, IL: Wolfram Media, pp. 1100 和 1136, 2002.在 Wolfram|Alpha 中被引用
判定问题请引用为
Weisstein, Eric W. "判定问题。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/DecisionProblem.html