%I#20 2024年4月24日12:37:40
%S 1,83775466554665793395140743279935279937280019280711326591,
%电话326593,
%电话:19916489515870532960258562190639398471599239042185934648024761145811
%N Goodstein序列中的第四步,即g(6),如果g(2)=N:在遗传表示基5中写入g(5)=A059934(N),凸到基6,然后减去1产生g(6)。
%C 2.659…*10^36305=a(18)<a(19)<…<a(31)=a(18)+326594.-_布隆森桥,2020年9月20日
%H Pontus von Brömssen,n的表,n=3..17的a(n)</a>
%H R.L.Goodstein,<a href=“http://www.jstor.org/stable/2268019“>关于限制序数定理,J.Symb.Logic 9,33-411944。
%H Eric Weisstein的数学世界,<a href=“http://mathworld.wolfram.com/GoodsteinSequence.html“>Goodstein序列</a>
%H维基百科,<a href=“http://en.wikipedia.org/wiki/Goodstein's_定理“>Goodstein定理</a>
%H Reinhard Zumkeller,Goodstein序列的Haskell程序</a>
%e a(12)=280019,因为g(2)=12=2^(2+1)+2^2,我们得到g(3)=3^(3+1)+3^3-1=107=3^●●●●。
%o(Haskell)——见链接
%o(Python)
%o来自sympy.theory.factor _导入数字
%o定义通气(n,b):
%o s=数字(n,b)[1:]
%o l=长度
%o范围(l)中i的返回和(s[i]*(b+1)**bump(l-i-1,b),如果s[i])
%o定义A059935(n):
%对于范围(2,6)内的i,o:
%o n=凸点(n,i)-1
%o返回n#_Pontus von Brömssen,2020年9月20日
%Y参见A056004、A057650、A059933、A05993、A05996。
%K nonn,已更改
%O 3、2
%2001年2月12日,安利底特律
|