可判定的
是否屬於該參見
邱奇-圖靈論題, 確定性的, 哥德爾完備性定理, 哥德爾第一不完備性定理, 哥德爾第二不完備性定理, 克雷塞爾猜想, 遞迴不可判定的, 賴斯定理, 理查森定理, 語句, 塔斯基定理, 理論, 不可判定的使用 探索
參考文獻
Enderton, H. B. 集合論基礎。 New York: Academic Press, 1977.Kemeny, J. G. "初等數論的不可判定問題。" 數學年刊 135, 160-169, 1958.在 中被引用
可判定的引用此頁
Weisstein, Eric W. “可判定的。” 來自 —— Wolfram 網路資源。 https://mathworld.tw/Decidable.html