|
| |
|
| A166746号 |
| Richard C.Schroeppel的Goedelization中10^n以下命题定理的计数A101273号. |
|
0
|
|
|
|
0, 0, 4, 12, 72, 262, 1396, 6126, 31186, 144606, 713078, 3384796
(列表;图表;参考;听;历史;文本;内部格式)
|
|
|
|
抵消
|
1,3
|
|
|
评论
|
Jonathan Vos Post推测，对于某些实数D，a（n）近似为D^n。
|
|
|
链接
|
|
|
|
例子
|
中的前五个定理A101273号是171（“A->A”）、181（“A=A”），272（“B->B”）、282（“B=B”）和1531（“A xor-A”），因此A（1）=0，A（2）=0和A（3）=4。
|
|
|
交叉参考
|
|
|
|
关键词
|
更多,非n
|
|
|
作者
|
|
|
|
状态
|
经核准的
|
| |
|
|
