OFFSET
0,1
COMMENTS
A weak form of Schanuel's Conjecture implies that (1/2)^(1/2)^(1/2)^(1/2) is transcendental--see Marques and Sondow (2012).
LINKS
D. Marques and J. Sondow, The Schanuel Subset Conjecture implies Gelfond's Power Tower Conjecture, arXiv:1212.6931 [math.NT], 2012-2013.
EXAMPLE
0.6540408600420694719822282900533931458086675934356538975637037538800325830550...
MATHEMATICA
RealDigits[ (1/2)^(1/2)^(1/2)^(1/2), 10, 200] [[1]]
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Jonathan Sondow, Dec 31 2012
STATUS
approved