[seqfan] Re: A004249, A007516

[A.N.W.Hone]

I'm afraid I haven't followed the rest of the discussion carefully, but the exponent tower of 2s can be defined recursively by 

x_{n+1}=2^x_n 

with initial condition x_1=2. 

If the recursion is to be started at n=0, then this forces x_0=1. This seems to be a natural way to 
define the sequence.

Andy 

________________________________________
From: seqfan-bounces at list.seqfan.eu [seqfan-bounces at list.seqfan.eu] On Behalf Of Leroy Quet [q1qq2qqq3qqqq at yahoo.com]
Sent: 10 June 2009 19:36
To: seqfan at seqfan.eu
Subject: [seqfan]  A004249, A007516

Are A004249 and A007516 really the same sequence, with an erroneous number for a(0) of one of the sequences?

Or is there controversy as to whether a exponent-tower of zero 2's is 0 or 1?

Still, in my opinion, there should be a comment at each sequence at least explaining the controversy over the 0th term.

Thanks,
Leroy Quet







_______________________________________________

Seqfan Mailing list - http://list.seqfan.eu/