Intereting Posts

Metric induced by a norm – what conditions should this metric meet?
First book on algebraic graph theory?
Probability Question: Would A always have a greater chance of $A\cap B$?
The Group of order $p^3$
How to change variables in the function $\phi(r)=\int_{\partial B(x,r)}u(y)\;dS(y)$ to take out $r$ of the domain of integration?
Calculate $\int_C{y^2\:ds}$ where $C$ is $x^2+y^2=9$
Symmetries of a graph
Example of a non-separable normal extension
Pick a card from a set with the help of a dice
Number of edge disjoint Hamiltonian cycles in a complete graph with even number of vertices.
For Banach space there is a compact topological space so that the Banach space is isometrically isomorphic with a closed subspace of $C(X)$.
Why doesn't the equation have a solution in $\mathbb{Q}_2$?
Proof that every odd polynomial has a real root – NOT a duplicate
Proving $\{(x_1, x_2) | x_1x_2 \geq 1\}$ is convex
Bijection between the reals and the set of permutations of the natural numbers?

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

- Number of ordered pairs of coprime integers from $1$ to $N$
- ${\gcd(n,m)\over n}{n\choose m}$ is an integer
- Computing irrational numbers
- Is zero a cluster point of $n\sin n$?
- How many non-rational complex numbers $x$ have the property that $x^n$ and $(x+1)^n$ are rational?
- Determining the Collatz Series as a Tree of $\forall\mathbb{N}$

- $x^y = y^x$ for integers $x$ and $y$
- Complete this table of general formulas for algebraic numbers $u,v$ and $_2F_1\big(a,b;c;u) =v $?
- How is $x^2 + x + 1$ reducible in $\mathbb{Z}_3$?
- Number $N>6$, such that $N-1$ and $N+1$ are primes and $N$ divides the sum of its divisors
- Solving a radical equation for real $x$
- Approximation of Products of Truncated Prime $\zeta$ Functions
- Proving the converse of an IMO problem: are there infinitely many pairs of positive integers (m,n) such that m divides n^2 + 1 and n divides m^2 + 1?
- Sum of primitive roots is congruent to $\mu(p-1)$ using Moebius inversion?
- Show that for any positive integer n, $(3n)!/(3!)^n$ is an integer.
- Proof about fibonacci numbers by induction

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

- Derivation of soft thresholding operator
- $M_1$ and $M_2$ are subgroups and $M_1/N=M_2/N$. Is $M_1\cong M_2$?
- The generating function for the Fibonacci numbers
- Does $\frac{(30n)!n!}{(15n)!(10n)!(6n)!}$ count something?
- Identity, Bernoulli number
- Why it's true? $\arcsin(x) +\arccos(x) = \frac{\pi}{2}$
- Infiniteness of non-twin primes.
- Why does the set of all singleton sets not exist?
- The diagonals of a trapezoid are perpendicular and have lengths 8 and 10. Find the length of the median of the trapezoid.
- Reference request: Introduction to Applied Differential Geometry for Physicists and Engineers
- implicit equation for “double torus” (genus 2 orientable surface)
- Cross product in complex vector spaces
- Finite fields and primitive elements
- Minimum of $\frac{1}{x+y}+\frac{1}{x+z}-\frac{1}{x+y+z}$
- Order of numbers modulo $p^2$