Re: Transcendental Dimensions

W. Dale Hall wrote:
> http://numbers.computation.free.fr/Constants/Miscellaneous/classification.html#Hardy
> The author ascribes the proof that log(3)/log(2) is transcendental
> to Hardy and Wright.

Not exactly, the author merely says that *a* proof can be found in the
cited 1979 publication by Hardy & Wright. The result itself is a
trivial corollary of a theorem published independently in 1934 by
Gelfond and Schneider:

a^b is transcendental if a is algebraic and not 0 or 1, and b is an
algebraic irrational.

Let a = 2, b = log(3) / log(2).


- Tim
.

Relevant Pages