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