Category:数理論理学
ゲーデルの不完全性定理
Gödel's incompleteness theorems▲1 trends
アルゴリズム
Algorithm
ブール代数
Boolean algebra (structure)矛盾許容論理
Paraconsistent logic一階述語論理
First-order logic
論理プログラミング
Logic programming無限
Infinity
神託機械
Oracle machine
数理論理学
Mathematical logic再帰
Recursion
シークエント計算
Sequent calculus連言標準形
Conjunctive normal form
空虚な真
Vacuous truth原始再帰関数
Primitive recursive function
計算可能関数
Computable function
恒真式
Tautology (logic)
数学基礎論
Foundations of mathematics
古典論理
Classical logic
プリンキピア・マテマティカ
Principia Mathematica
計算可能性理論
Computability theory
ブーリアン型
Boolean data type
時相論理
Temporal logic
命題関数
Propositional function真理関数
Truth function
ヒルベルト・プログラム
Hilbert's program
存在記号
Existential quantification
超数学
Metamathematics
不動点コンビネータ
Fixed-point combinator
