[seqfan] question on a recursively defined sequence

[Brendan McKay]

At the Mathematics Reference Desk of Wikipedia
   http://en.wikipedia.org/wiki/Wikipedia:Reference_desk/Mathematics
someone is asking for a closed form for t[n] where
  t[0] = 1, t[n] = t[n-1] + 2^(t[n-1]).
It looks unlikely to me.  Does anyone disagree?

Brendan.