1

I know the famous proof that uses $x={\sqrt{2}}^{\sqrt{2}}$ to prove that there must exist an irrational to an irrational power that evaluates to a rational. But I don't know if $x$ itself is known to be irrational or rational.

Could someone enlighten me? Thanks!

1 Answers1

5

It's transcendental by the Gelfond-Schneider theorem.

Qiaochu Yuan
  • 419,620