[seqfan] Re: A004249, A007516

A.N.W.Hone A.N.W.Hone at kent.ac.uk
Thu Jun 11 10:54:26 CEST 2009

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


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.


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.

Leroy Quet


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

More information about the SeqFan mailing list