@DavidRoberts Just a reminder that a month has passed since the previous discussion concerning, locales, frames-and-locales and other related topics. (In case you had some time to look into this, I decided to ask.)
(Maybe Gro-Tsen, who brought this up originally, contacted the mods in some other way in the meantime - but I did not notice anything here in chat.)
Of course, there is no urgency - at the same time, I thought that it might be worth reminding.
Prove that ${\sqrt2}^{\sqrt2}$ is an irrational number without using the Gelfond–Schneider theorem.
We know that ${\sqrt2}^{\sqrt2}$ is a transcendental number by the Gel'fond-Schneider's theorem. I've tried to prove that ${\sqrt2}^{\sqrt2}$ is an irrational number without using the Gel'fond-Schn...
@MartinSleziak Maybe it would be good to uniformly replace Gel'fond-Schneider's with Gelfond–Schneider? Currently, this was only done for the place where the Wikipedia link was added.
It might also be worth linking to the relevant Math SE question within the post itself. Currently, it is only in a comment under the question.
Of course, I only mention all this since the thread was bumped. I hesitate to suggest an edit myself because they are still relatively minor edits.
@MartinSleziak I've always been a bit curious whether that is meant to be an apostrophe in Gel'fond, or whether it is a caron on the letter l. By any chance, would you happen to know about this, Martin?
Oh, there's an entire Wikipedia page on the character "L with a caron": Ľ - Wikipedia