Similar to ゲーデル数
0
0▼-1 trends
1
1▲6 trends
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
Μ再帰関数
General recursive function
4次元多様体
4-manifold
10
10
11
11 (number)
12
12 (number)
13
13 (number)
19
19 (number)
40
40 (number)70
70 (number)
100
100
400
400 (number)
700
700 (number)
1000
1000 (number)
1000000
1,000,000
アッカーマン関数
Ackermann function一階述語論理
First-order logic
帰納言語
Recursive language
帰納的可算言語
Recursively enumerable language
