Evaluating tetration to infinite heights (e.g., $2^{2^{2^{2^{.^{.^.}}}}}$)
The Problem
How can you evaluate (i.e., get a value for) Tetration (i.e., iterated exponentiation) to infinite heights?
For example, what would be the value of this expression?
$$ 2^{2^{2^{2^{2^{.^{.^.}}}}}} $$
My (pathetic) Attempts
I tried equating it to $x$ and substituting it on the RHS, but no luck:
$$ x = 2^{2^{2^{2^{2^{.^{.^.}}}}}} $$ $$ x = 2^x $$ $$ x = \log_{2}{x} $$
What I think we need to do is have the RHS as a polynomial with one variable and the RHS a constant so we can solve for $x$.
I tried drawing the equation on Wolfram Alpha but the lines on the graph don't touch, so no luck there either.
Novice mathematician here. Thanks.
Edit
Sorry, I am a dolt :(
I didn't realize this was a diverging series. What confused me is my math sir told me it could be done. What he actually meant was that it could be said like this:
$$ \frac{\log{x}}{x} = \log{2} $$
but I somehow assumed there would be a numerical answer.
Alternative Questions
@Clayton's answer suggested an similar question which was a convergent series. While that wasn't what my sir meant, it practically could've been:
$$ \sqrt{2}^{\sqrt{2}^{\sqrt{2}^{.^{.^.}}}} $$
Another one I can think of would be:
$$ \sqrt{2*\sqrt{2*\sqrt{2*\sqrt{2*\sqrt{...}}}}} $$
Anyway, interesting question this has turned out to be...
Solution 1:
Hint: Equations $y=x$ and $y=2^x$ do not intersect, means there's no solution for $x\in\mathbb R$.
Solution 2:
Here are the first 20 solutions (for $\log(z)+k \cdot (2\cdot \pi\cdot i)$ such that $2^z=z$ or $z\cdot \log(2) = \log(z) + k\cdot(2 \pi i)$ : $$ \small \begin{array} {r|l} k & z : 2^z=z\\ \hline 0 & 0.82467854614+1.56743212385 \, î \\ 1 & 3.51523672192+10.8800532084 \, î \\ 2 & 4.36143141283+20.0871628060 \, î \\ 3 & 4.88885664543+29.2211855083 \, î \\ 4 & 5.27384865880+38.3277872288 \, î \\ 5 & 5.57736047492+47.4208762811 \, î \\ 6 & 5.82797084936+56.5062285608 \, î \\ 7 & 6.04142622483+65.5867042057 \, î \\ 8 & 6.22733941446+74.6638922661 \, î \\ 9 & 6.39201436790+83.7387507973 \, î \\ 10 & 6.53981045480+92.8118939379 \, î \\ 11 & 6.67386852707+101.883734634 \, î \\ 12 & 6.79652672953+110.954561406 \, î \\ 13 & 6.90957275012+120.024582285 \, î \\ 14 & 7.01440413644+129.093951274 \, î \\ 15 & 7.11213417750+138.162784952 \, î \\ 16 & 7.20366413122+147.231173287 \, î \\ 17 & 7.28973387243+156.299186877 \, î \\ 18 & 7.37095826487+165.366881942 \, î \\ 19 & 7.44785382986+174.434303834 \, î \end{array} $$
(Using Pari/GP , more than 100 digits precision)
l2=log(2)
pi2i = 2*Pi*I
{list=matrix(20,2);
for(k=0,20-1, \\ k contains branchno for logarithm
x0=1+I;
for(j=1,20, \\ Newton-iteration
x1=x0-(l2*x0-(log(x0)+k*pi2i))/(l2-(1/x0));
if(abs(x1-x0)<1e-100,break(),x0=x1); );
list[1+k,]=[k,x0];
);}
printp(list)