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Μ再帰関数
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▲2 trends1
1▲1 trends2
2▲1 trends3
34
45
5