Intereting Posts

How to prove that $\omega (n) = O\Big{(} \frac{\log(n)}{\log(\log(n))}\Big{)}$ as $n \to \infty$?
(Why) is topology nonfirstorderizable?
Irreducible representations of a cyclic group over a field of prime order
Homotopy lifting property of $\mathbb{R} \to S^1$ in Hatcher
Infinite Sum of Sines With Increasing Period
Using the LRT statistic to test $H_0$ vs $H_1$
Tight bounds for Bowers array notation
An exercise on tensor product over a local integral domain.
Why are the order-of-operations conventions good?
Positive integer multiples of an irrational mod 1 are dense
A positive polynomial is the sum of two squares in $\mathbb{R}$
Naive set theory question on “=”
Implicit function theorem and implicit differentiation
How to determine standard equation of a conic from the general second degree equation?
A property of the minimum of a sum of convex functions

Prove that ${\sqrt2}^{\sqrt2}$ is an irrational number without using Gelfond-Schneider’s theorem.

I’m interested in this problem because I knew that ${\sqrt2}^{\sqrt2}$ is a transcendental number by Gelfond-Schneider’s theorem. I’ve tried to prove that ${\sqrt2}^{\sqrt2}$ is an irrational number without using the Gelfond-Schneider’s theorem, but I’m facing difficulty. I need your help.

I crossposted to MO:

https://mathoverflow.net/questions/138247

- Summation with combinations
- Find all solutions to $x^9 \equiv 25$(mod 29)
- Can an odd perfect number be divisible by $5313$?
- Digit function properties
- Find all prime numbers satisfying…
- Fermat's Last Theorem and Kummer's Objection

- Proving $x^4+y^4=z^2$ has no integer solutions
- A low-degree polynomial $g_{a,b}(x)$ which has a zero $x\in\mathbb N$ for any square numbers $a,b$?
- Numbers $n$ with $n,n+2$ coprime to $p_k\#$ on $$
- How to prove each element of the following sequence is a perfect square?
- Is $\sum_{n \ge 1}{\frac{p_n}{n!}}$ irrational?
- Find the value of : $\lim_{x \to \infty} \sqrt{4x^2 + 4} - (2x + 2)$
- Are there $n$ groups of order $n$ for some $n>1$?
- Mean Value of a Multiplicative Function close to $n$ in Terms of the Zeta Function
- Find all solutions to $x^2\equiv 1\pmod {91}$
- how many zeroes does 2012! have at the end?

I’m posting an answer just to inform that the question has received an answer by Mark Sapir on MO.

- Compute this factor group: $\mathbb Z_4\times\mathbb Z_6/\langle (0,2) \rangle$
- Understanding Fatou's lemma
- If $G / Z(G)$ nilpotent then G is nilpotent.
- Why must the gradient vector always be directed in an increasing direction?
- Proving if $\limsup x_n = \liminf x_n = c$, then $x_n \rightarrow c, n \rightarrow \infty$ using $\epsilon$
- Distribution Functions of Measures and Countable Sets
- Dissecting an equilateral triangle into equilateral triangles of pairwise different sizes
- How do I compute $a^b\,\bmod c$ by hand?
- How find this series $\sum_{n=1}^{\infty}\frac{1}{n^2H_{n}}$?
- Let $R$ be a finite commutative ring. Show that an ideal is maximal if and only if it is prime.
- Lagrange inversion theorem application
- Prove the Countable additivity of Lebesgue Integral.
- How to find a linear extension of a poset
- Fibonacci numbers from $998999$
- What is the probability that if five hats are distributed among five boxes that box $B_1$ has hat $H_1$ or hat $H_2$ but not both?