A161774-OEIS公司

A161774号

a（n）=n^（3n^3+2）。

1, 67108864, 3990838394187339929534246675572349035227

抵消

1,2

这为奥康纳难题中的左联公式数量提供了一个上限，即自由笛卡尔闭范畴超过3个对象的大小。

a（n）太大，无法包含在n>=4的数据段中。

链接

迈克尔·奥康纳，命题逻辑中一个有趣的难题2009年4月9日。

例子

a（2）=2^26；a（3）=3^83；a（4）=2^388。

MAPLE公司

seq（n^（3*n^3+2），n=1..4）#穆尼鲁·A·阿西鲁2018年10月25日

数学

表[n^（3*n^3+2），{n，1，9}](*G.C.格鲁贝尔2018年10月24日*）

黄体脂酮素

（PARI）向量（9，n，n^（3*n^3+2））\\G.C.格鲁贝尔2018年10月24日

（岩浆）[1..9]]中的[n^（3*n^3+2）：n//G.C.格鲁贝尔2018年10月24日

（GAP）列表（[1..4]，n->n^（3*n^3+2））#穆尼鲁·A·阿西鲁2018年10月25日

交叉参考

关键词

容易的,非n

作者

状态

经核准的