[FOM] Is Gelfond-Schneider constructive?

[Alasdair Urquhart]

I had a look at the version of Gelfond's proof in Hua Loo Keng's
"Introduction to Number Theory."  It's less than 3 pages long
and fairly self-contained.  

The overall form of the proof is a reductio ad absurdum.
You suppose that alpha, beta and gamma = alpha^beta
are all in some algebraic number field.  You then introduce
an integral function R(x) with coefficients determined by a set
of homogeneous linear equations.  The proof then proceeds
through a sequence of explicit estimates, using Cauchy's integral
formula, ending with a refutable inequality.  

I haven't examined the proof in detail, but the reasoning 
appears to be constructive.