Similar to 項書き換え
決定問題
Decision problemコルモゴロフ複雑性
Kolmogorov complexity自己言及
Self-referenceスーダン関数
Sudan function漸化式
Recurrence relation相互再帰
Mutual recursion竹内関数
Tak (function)チャイティンの定数
Chaitin's constantチャーチ=チューリングのテーゼ
Church–Turing thesisチューリング完全
Turing completeness停止性問題
Halting problemノモグラム
Nomogramハイパーコンピュータ
Hypercomputationビザンチン将軍問題
Byzantine faultビジービーバー
Busy beaver非同期セル・オートマトン
Asynchronous cellular automaton前向き連鎖
Forward chainingマルコフアルゴリズム
Markov algorithm領域理論
Domain theoryワンのタイル
Wang tile数理論理学
Mathematical logic一般と特殊 (数学)
Special case意味論 (論理学)
Semantics宇宙 (数学)
Universe (mathematics)エルブランの定理
Herbrand's theorem型理論
Type theoryカット除去定理
Cut-elimination theorem関係 (数学)
Finitary relation