Similar to ディック言語
アッカーマン関数
Ackermann function
アリティ
Arity
1+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
Hundredth
L-system
L-system
Mizar
Mizar system
アルファベット (計算機科学)
Alphabet (formal languages)
0
01
1
2
2
3
3▲1 trends
4
4
5
5
6
6
7
7
8
8
9
9▼-1 trends
1048576
12345679
Template:Mathlogic-stub
Template:Mathlogic-stub
裏 (論理学)
Inverse (logic)
型理論
Type theory
カット除去定理
Cut-elimination theorem
緩成長階層
Slow-growing hierarchy
逆
Converse (logic)