目录
二值原理
在逻辑中，二值原理（Principle of bivalence）是指，對於任何命题 P，只能有一個真值：命題P只能是真，或假，其中之一。滿足這個原則的邏輯推論，稱為二值邏輯（two-valued logic，bivalent logic）。 在经典逻辑中，二值原理等价于说没有命题非真非假。非真非假的命题 P 是不可判定的。在直觉逻辑中，命题 P 的真值有时不能判定(就是说 P 不能被证明或反驳)。在这种情况下，P 简单的不能有真值。其他逻辑，比如多值逻辑，可以指派给 P 一个中间的真值。 不要混淆于排中律和无矛盾律。详细区别请参见二值和有关规律。.
查看 可判定性和二值原理
图灵机
图灵机（），又称确定型图灵机，是英国数学家艾倫·图灵于1936年提出的一种抽象计算模型，其更抽象的意义为一种数学逻辑机，可以看作等价于任何有限逻辑数学过程的终极强大逻辑机器。.
查看 可判定性和图灵机
算法
-- 算法（algorithm），在數學（算學）和電腦科學之中，為任何良定义的具體計算步驟的一个序列，常用於計算、和自動推理。精確而言，算法是一個表示爲有限長列表的。算法應包含清晰定義的指令用於計算函數。 算法中的指令描述的是一個計算，當其時能從一個初始狀態和初始輸入（可能爲空）開始，經過一系列有限而清晰定義的狀態最終產生輸出並停止於一個終態。一個狀態到另一個狀態的轉移不一定是確定的。隨機化算法在内的一些算法，包含了一些隨機輸入。 形式化算法的概念部分源自尝试解决希尔伯特提出的判定问题，並在其后尝试定义或者中成形。这些尝试包括库尔特·哥德尔、雅克·埃尔布朗和斯蒂芬·科尔·克莱尼分别于1930年、1934年和1935年提出的遞歸函數，阿隆佐·邱奇於1936年提出的λ演算，1936年的Formulation 1和艾倫·圖靈1937年提出的圖靈機。即使在當前，依然常有直覺想法難以定義爲形式化算法的情況。.
查看 可判定性和算法
补集
在集合论和数学的其他分支中，存在--的两种定义：--和--。.
查看 可判定性和补集
集合
集合可以指：.
查看 可判定性和集合
递归集合
在可计算性理论中，一个自然数的子集被称为递归的、可计算的或具可判定性，如果我们可以构造一个算法，使之能在有限时间内终止并判定一个给定元素是否属于这个集合。更一般的集合的类叫做递归可枚举集合。这些集合包括递归集合，对于这种集合，只需要存在一个算法，当某个元素位于这个集合中时，能够在有限时间内给出正确的判定结果，但是当元素不在这个集合中时，算法可能会永远运行下去（但不会给出错误答案）。.
查看 可判定性和递归集合
另见
計算理論
- EDVAC報告書的第一份草案
- 不可判定问题列表
- 不可解度
- 两军问题
- 互递归
- 停机问题
- 原始递归函数
- 可判定性
- 可计算函数
- 可计算性
- 哥德尔数
- 圖靈完備性
- 拜占庭将军问题
- 数值修约
- 數碼物理學
- 有类型λ演算
- 枚举器
- 波斯特对应问题
- 简单类型λ演算
- 自指
- 计算理论
- 诺谟图
- 超计算
- 递归
- 递归函数
- 递归可枚举语言
- 递归可枚举集合
- 递归语言
- 递归集合
- 邱奇-图灵论题
- 阿克曼函數
- 马尔可夫算法
递归论
- Λ演算
- Μ算子
- ELEMENTARY
- R (複雜度)
- 不可判定问题
- 不可判定问题列表
- 不可解度
- 低基定理
- 停机问题
- 原始递归函数
- 可判定性
- 可计算函数
- 可计算性
- 可计算性理论
- 可计算性逻辑
- 图灵机
- 枚举器
- 柯尼格引理
- 柯氏复杂性
- 決定性問題
- 波斯特对应问题
- 算数阶层
- 计算模型 (数学)
- 逆数学
- 递归 (计算机科学)
- 递归函数
- 递归可枚举集合
- 递归语言
- 递归集合
- 邱奇-图灵论题
- 阿克曼函數
- 預言機
亦称为 不可判定性。