Similar to チューリング完全
再帰
Recursion自己言及
Self-reference述語論理
Predicate logic数学基礎論
Foundations of mathematicsスーダン関数
Sudan function漸化式
Recurrence relation▲1 trends相互再帰
Mutual recursion竹内関数
Tak (function)停止性問題
Halting problemノモグラム
Nomogramハイパーコンピュータ
Hypercomputationビザンチン将軍問題
Byzantine fault非同期セル・オートマトン
Asynchronous cellular automaton不動点コンビネータ
Fixed-point combinator前向き連鎖
Forward chainingマルコフアルゴリズム
Markov algorithm文字列書き換え系
Semi-Thue system領域理論
Domain theoryワンのタイル
Wang tile数学のエポニムの一覧
アーベルの定理
アインシュタインの定数
Einstein's constantアルティン予想
飯高次元
Iitaka dimensionイェイツのカイ二乗検定
Yates's correction for continuityイェッセンの二十面体
Jessen's icosahedronイェンセンの不等式
Jensen's inequality一般ガウス・ボネの定理
Chern–Gauss–Bonnet theorem