Similar to スーダン関数
再帰
Recursion
自己言及
Self-reference
述語論理
Predicate logic
数学基礎論
Foundations of mathematics
漸化式
Recurrence relation
相互再帰
Mutual recursion
チャイティンの定数
Chaitin's constant
チャーチ＝チューリングのテーゼ
Church–Turing thesis
チューリング完全
Turing completeness
停止性問題
Halting problem
ノモグラム
Nomogram
ハイパーコンピュータ
Hypercomputation
ビザンチン将軍問題
Byzantine fault
ビジービーバー
Busy beaver
非同期セル・オートマトン
Asynchronous cellular automaton
不動点コンビネータ
Fixed-point combinator
前向き連鎖
Forward chaining
マルコフアルゴリズム
Markov algorithm
文字列書き換え系
Semi-Thue system
領域理論
Domain theory
ワンのタイル
Wang tile
算数障害
Dyscalculia
算術
Arithmetic
暗算
Mental calculation
一般化算術数列
Generalized arithmetic progression
インクリメント
Increment and decrement operators
開平法
Methods of computing square roots
開立法