Similar to 型理論
アッカーマン関数
Ackermann functionアリティ
Arityカット除去定理
Cut-elimination theorem議論領域
Domain of discourseクレイグの補間定理
Craig interpolation後者関数
Successor function恒真式
Tautology (logic)新基礎集合論
New Foundationsハイティング代数
Heyting algebraハルモス代数
Polyadic algebraプリンキピア・マテマティカ
Principia Mathematicaメレオロジー
Mereology有限モデル理論
Finite model theoryDPLLアルゴリズム
DPLL algorithmSmn定理
Smn theoremアルゴリズム
Algorithm▲1 trendsΜ再帰関数
General recursive function1+1+1+1+…
1 + 1 + 1 + 1 + ⋯1/2 + 1/4 + 1/8 + 1/16 + ⋯
1/2 + 1/4 + 1/8 + 1/16 + ⋯1/2 − 1/4 + 1/8 − 1/16 + ⋯
1/2 − 1/4 + 1/8 − 1/16 + ⋯1/4 + 1/16 + 1/64 + 1/256 + ⋯
1/4 + 1/16 + 1/64 + 1/256 + ⋯1/100
Hundredth0
0▲1 trends1
1▲8 trends2
23
34
45
5