Similar to ライス＝シャピロの定理
極限計算可能関数
Computation in the limit
計算可能解析学
Computable analysis計算可能数
Computable number
ケーニヒの補題
Kőnig's lemma
コンプリート・ナンバリング
Complete numbering
帰納的分離不能対
Computably inseparable
実効ポーランド空間
Effective Polish space
創造的集合と生産的集合
Creative and productive sets
単純集合
Simple set
低基底定理
Low basis theorem
停止性問題
Halting problem
ナンバリング (計算可能性理論)
Numbering (computability theory)二重再帰法
Double recursion
ハーディ階層
Hardy hierarchy
ビジービーバー
Busy beaver
フリードバーグ・ナンバリング
Friedberg numbering
ポストの定理
Post's theorem
数学のエポニムの一覧
アーベルの定理
アインシュタインの定数
Einstein's constant
アルティン予想
アンの定理
Anne's theoremイーガン予想
Egan conjecture
飯高次元
Iitaka dimension
イェイツのカイ二乗検定
Yates's correction for continuityイェッセンの二十面体
Jessen's icosahedron
イェルムスレウの定理
Hjelmslev's theorem
一般ガウス・ボネの定理
Chern–Gauss–Bonnet theorem
