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
12
23
3▲1 trends4
45
5