If iterated exponentiation (usually also called "Powertower") is understood as mathematical operator or as function depending on the iteration height, then this operator/operation/function is often called "tetration" and is assumed as next step in the operator hierarchy addition,multiplication, ...

learn more… | top users | synonyms

3
votes
1answer
100 views

The Physical Meaning of Tetration with fractional power tower

I've read a passage in the forum about tetration and had do some research on Wiki. I understand the basic defination for any real height n>-2, $$^na=a^{a^{a^{a}}}...\text{, for real height =n}$$ I ...
6
votes
2answers
264 views

Continuum between addition, multiplication and exponentiation?

I noticed this old post which attempts to find the shades of grey between a linear and log scale where results are between zero and one. However, I was looking for the more general case where we find ...
7
votes
1answer
198 views

A problem in understanding infinite towers (tetration)

To solve equations involving power towers (infinite tetration) we usually do something like this: $$x^{x^{x^{x^{\dots}}}} =k$$ $$x^{(x^{x^{x^{\dots}}})} =k$$ $$x^k=k$$ $$x=\sqrt[k]k$$ But what if ...
5
votes
1answer
267 views

Algorithm for tetration to work with floating point numbers

So far, I've figured out an algorithm for tetration that works. However, although the variable a can be floating or integer, unfortunately, the variable ...
0
votes
0answers
61 views

Inverse and named fixed values, with ↑↑?

The inverse of $+$ is $-$, of $\times$ is $/$ and of $\text{^}$ is Log. Continuing upwards hyperoperationally, what is the inverse of $↑↑$? Whats more somtimes values that are fixed are given ...
2
votes
1answer
44 views

Last Digits of a Tetration

I was studying tetrations, or "power towers", and I found a decently well-known fact. The last $k-1$ digits of $^k 3 = 3^{3^{\vdots^{3}}} (k \text{ threes)}$ remain constant, for all numbers $^a 3$ ...
1
vote
1answer
57 views

Graham's number of layer 1 tetration explanation?

I have a question on how the number of the first layer of the Graham's number ($g_1$) is computed. From Wikipedia: http://en.wikipedia.org/wiki/Graham%27s_number#Magnitude $g_1 = ...
2
votes
1answer
108 views

For what values does $x^{x^{x^{x^{.^{.^{.}}}}}}$ make sense [duplicate]

For which values of $x\ge 1$ does the expression $x^{x^{x^{x^{.^{.^{.}}}}}}$ make sense? To tackle this, define $f_1(x)=x$ and $f_{n+1}(x)=x^{f_n(x)}$ for $x \ge 1$ and $n\ge1$. a) Show that ...
2
votes
1answer
81 views

What number tetrated by itself equals a googol?

http://en.wikipedia.org/wiki/Tetration Tetrating stuff makes it really big really fast. I'm trying to figure out what number would equal a googol. Any help? Or a googolplex ?
4
votes
0answers
66 views

Growth of $n!!\dots !$

The asymptotic growth of the factorial function $n!$ is famously given by Stirling's formula as $$n! \sim \sqrt{2 \pi n}\left(\frac{n}{e}\right)^n$$ Is there a similar formula for the iterated ...
7
votes
2answers
119 views

Do the last digits of exponential towers really converge to a fixed sequence?

While fooling around with exponential towers I noticed something odd: $$ 3^{3} \equiv 2\underline{7} \mod 100000 $$ $$ 3^{3^{3}} \equiv 849\underline{87} \mod 100000 $$ $$ 3^{3^{3^{3}}} \equiv ...
1
vote
0answers
85 views

How to differentiate $(x!)\uparrow\uparrow(!x)$?

I need help in differentiating the following expression with respect to x, which I recently came up with when trying to differentiate expressions involving subfactorials... ...
3
votes
0answers
57 views

Is there a notation for exponentiation analog to capital-sigma notation Σ for addition and capital pi Π notation for multiplications?

There are the following common notations: Sums: $$\sum_{i=2}^4 i = 2 + 3 + 4 = 9$$ Products: $$\prod_{i=2}^4 i = 2\times 3\times 4 = 24$$ Is there a (theoretical) one for: Exponentiation ...
2
votes
1answer
37 views

How to prove that a tetration holds the same last digit after a certain rank?

Let's say $u_{n} = 7^{u_{n-1}}$ and $u_{0} = 7$, how can we prove that for $n > 0$, that we will get the same last digit? I know that the last digit of $7^7$ is 3, we can prove it using ...
0
votes
1answer
48 views

Which one is greater?

For any $x\in\mathbb{R}^+$, let $x\diamond 1=x$ and $x\diamond (n+1) = x^{x\diamond n}$ for $n\in\mathbb{N}$. For example, $2\diamond 3 = 2^{2^2}=16$. If $t$ be an unique positive real number such ...
3
votes
3answers
184 views

How can I solve this equation $x^{x^{x^{x^{.^{.^{.}}}}}}-a=0$

I always use the Newton-Raphson Method if I want to find the roots of any equation as follow $$x_{1}=x_{0}-\frac{y_{0}}{y'_{0}}$$ But I don't know how to use this method if the equation takes the ...
0
votes
0answers
76 views

In terms of addition, multiplication, exponentiation, tetration, what would be the natural continuation here?

Consider the by addition recursively defined table: $$t(n,1)=1$$ If $n>=k$ $$t(n,k)=\sum _{i=1}^{k-1} t(n-i,k-1)-\sum _{i=1}^{k-1} t(n-i,k)$$ else $$t(n,k)=0$$ Then consider the similar but by ...
5
votes
2answers
119 views

Finding solutions to $ x^x = 2x$

A friend claims it isn't possible to find a closed form for the smaller positive real solution of $x^x = 2x$. Numerically we have seen that $0.346...$ and $2$ are solutions, but are failing to do ...
1
vote
0answers
46 views

complex and decimal tetration

So recently in the blog post on tetration, it talked about tetration with nice clean powers (calling them these because I don't know the right term). But how does it work when given a complex power? ...
1
vote
2answers
89 views

A peculiar observation about infinity.

Let ${\sqrt2^\sqrt2}^{\sqrt2^...}=y$. Then $\sqrt 2^y=y$ $\implies \sqrt 2=y^{1/y}$ $\implies \sqrt 2 =1$ $\implies 2 =1$ !! but how come that be. Can anyone explain this and point out what is ...
15
votes
3answers
294 views

How can I prove $\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\sqrt{2}…}}}}=2$ [duplicate]

How can I prove $$\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\sqrt{2}...}}}}=2$$ I don't know which method can be used for this?
2
votes
0answers
31 views

Which primes satisfy this modular property?

Let $x$ be a residue$\mod p$ where $p$ is an odd prime. Im searching for such $p$ such that there exists a function $f(x)$ with propery $f(f(x)) - 2^x \equiv 0 \mod p $ for all values of $x$. I ...
2
votes
0answers
58 views

Tetrations of non-integers? [duplicate]

A Tetration is defined as $${^{n}a} = \underbrace{a^{a^{\cdot^{\cdot^{a}}}}}_n$$ or, by a recursion function, $${^{n}a} := \begin{cases} 1 &\text{if }n=0 \\ a^{\left[^{(n-1)}a\right]} ...
0
votes
2answers
65 views

Is there an inverse operation of tetration for values between 0 and .3?

So I don't understand everything with tetration, but the graph of $^2x$ or $x^x$ does not have any values between 0 and .3 on the y axis. So if we were to trying inverse tetration on say .2 what is ...
5
votes
1answer
123 views

How to define $A\uparrow B$ with a universal property as well as $A\oplus B$, $A\times B$, $A^B$ in category theory?

In category theory there are definitions for $A\oplus B$, $A\times B$ and $A^B$ via universal properties. I wonder if it is possible to isolate a particular universal property to represent the ...
19
votes
3answers
343 views

What combinatorial quantity the tetration of two natural numbers represents?

Tetration is a generalization of exponentiation in arithmetic and a part of a series of other generalized notions, Hyperoperators. Consider $m\uparrow n$ denotes the tetration of $m$ and $n$. i.e. ...
20
votes
3answers
973 views

Explain $x^{x^{x^{{\cdots}}}} = \,\,3$

$$x^{x^{x^{\cdot^{\cdot^{\cdot}}}}} =\quad 2$$ This equation has the answer $\sqrt{2}$ by taking $\log$ to both side. This answer is correct because I'd proved it by computing the equation repeatedly ...
3
votes
1answer
111 views

Is there a closed form for the inverse of $y=x^{x^x}$?

It's pretty well known, and easy to derive, that $y=x^x$ has the inverse $y=\frac{\ln x}{W(\ln x)}$. I've had no luck trying to work out the inverse of any larger power towers, though. Is there any ...
1
vote
1answer
101 views

Iteration of $x \to x^x$

If $u(x)=x^x$ then we can form $$ u^2(x) = \left(x^x \right)^{x^x} = x^{x^{x+1}} $$ some simplification occurs, but the further iterates are a typographical challenge to mathjax. Writing $E_k$ for ...
2
votes
1answer
56 views

Convergence of an infinite power

There are complex numbers $z$ and $w$ for which $$\lim_{n\rightarrow\infty}z\uparrow\uparrow n=w$$ where $\uparrow\uparrow$ is the tetration symbol, e.g. $z=\sqrt{2}$ and $w=2$. Are there complex ...
0
votes
0answers
76 views

Natural examples of tetration

(Note: I am aware of this question, but this isn't a duplicate) In mathematics I know several things for which we have naturally occuring tetrational growth: first, and simpliest, is finite stages in ...
3
votes
3answers
356 views

How to differentiate $\lim\limits_{n\to\infty}\underbrace{x^{x^{x^{…}}}}_{n\text{ times}}$? [duplicate]

Let $$f(x)=\lim\limits_{n\to\infty}\underbrace{x^{x^{x^{...}}}}_{n\text{ times}}$$ Is it possible to find $f'(x)$. If yes, please show all steps.
1
vote
1answer
82 views

Is it true that ${^\infty}{\sqrt[x]{x}} = x$

I was fiddling around with tetration and I stumbled across an interesting idea, ${^\infty}{\sqrt[x]{x}}$. I messed around with the concept a little bit and I had the following idea: Let ${^\infty}y = ...
1
vote
1answer
93 views

After Exponentials

Look at this- $$f(a,b)=a+b$$ The next step would be to make a function $g$ such that $$g(a,b)=\underbrace{a + a + a \cdots}_{b\text{ times}}=a\cdot b$$ Then we made $h$ so that ...
1
vote
2answers
69 views

If a uniquness for all functions exist shouldn't there be uniquness to recursion?

What I'm specifically saying is every function is definitely unique, as they may be nearly equivalent to another function, for example. Let's make a table of values for $^{x}2$ (0,1) (1,2) (2,4) ...
4
votes
0answers
142 views

Clarification on tetration

So far when I looked at tetration I noticed it had a recursive relation. It's $t_2=2^{(t_1)}.$ For example if we start at point $(0,1)$, we can take the x-value of $0$, and $2^0=1$, then we take $1$ ...
2
votes
2answers
146 views

Tetration graph for this function

I'm trying to visualize the derivatives of exponential tetration, by taking the original equation from its graph. Right now there is no elementary way of expressing the derivative. I'm not allowed to ...
0
votes
0answers
38 views

Are these correct for calculating the number of Digits

I think the following equations are correct for base 10, where each D corresponds to the number of digits in results for each operation. Dadd = Floor(Log10X) + 1 Dmul = Floor(Log10X + Log10Y)+1 ...
2
votes
1answer
68 views

A question on the equation $^qx=2$

Given the equation $$^qx=2$$ with $q\gt3$ where $^qx$ means the 'tetration' operation on $x$, my question is: is it possible to find a value for $q$ for which the solution $x$ of the equation is a ...
1
vote
0answers
110 views

Efficient algorithm for calculating the tetration of two numbers mod n?

I'm trying to study the algebraic properties of the magma created by defining the binary operation $x*y$ to be: $ x*y = (x \uparrow y) \bmod n $ where $ \uparrow $ is the symbol for tetration. ...
1
vote
1answer
95 views

Is the exact value of $^{\infty}i$ known? [duplicate]

Wikipedia's article on tetration has a table of successive tetrations of $i$ that seems to imply that $^{\infty}i$ converges, and my own experimentation seems to confirm it, but I'm suspicious of ...
10
votes
4answers
327 views

If $y=x^{x^{x^{x^{x^{.^{.^{.}}}}}}}$ then how $y=x^y$?

In questions like, find the derivative of $f(x)=x^{x^{x^{x^{x^{.^{.^{.}}}}}}}$, how can we formally show that $y=x^y$? We use this technique for all type of iterations, e.g. ...
4
votes
1answer
127 views

Does infinite tetration of negative numbers converge for any value other than -1?

Okay, so I know that for positive values, $^{\infty}x$ converges to $-\frac{W(-\ln x)}{\ln x}$ for $e^{-e}\le x \le e^{\frac1e}$. Above that, it diverges. For positive values less than $e^{-e}$, any ...
1
vote
1answer
243 views

Double exponential Taylor series $\exp(-\exp(k-ex))$

k is real constant $\gt = 1$. Is $a_n$ for $f(x)$ positive, increasing, and $\lt 1$, where $n\lt= e^{k-1}$? $$f(x) = \sum_{n=0}^{\infty} a_n x^n = \exp(-\exp(k-ex))$$ $f(x)$ is the double ...
4
votes
2answers
116 views

$2 \uparrow^n 2 = 4$ and the magnificence of $2$

I was reading up on tetration when I realized: $$2 \uparrow\uparrow 2 = 2\uparrow 2 = 2 \times 2 = 2+2 =4$$ Infact, when generally speaking: $$ 2 \uparrow^n 2 =4$$ Now, I realize that this is because ...
2
votes
0answers
98 views

Appear the digits in the number $3^{3^{3^3}}$ approximately equally often?

Does the number $$3\uparrow \uparrow 4 = 3^{3^{3^3}}$$ contain the digits 0-9 approximately equally often ? With "approximately" I mean that a chi-squared test for equal distribution would produce ...
4
votes
0answers
116 views

Prime factors of $2^{2^2}+3^{3^3}+5^{5^5}+7^{7^7}$

Are there any useful restrictions to the prime factors of the number $$2^{2^2}+3^{3^3}+5^{5^5}+7^{7^7}$$ The two smallest are 6771419 and 72153167 , which I found by trial division. The number is ...
4
votes
0answers
357 views

Show that the iterated $\ln^{[n]}$ of tetration(x,n) is nowhere analytic

$$f(x) = \lim_{n\to \infty} \ln^{[n]} x \uparrow\uparrow n$$ The conjecture is that $f(x)$ is monotonic and infinitely differentiable at the real axis, but nowhere analytic; because at each point on ...
9
votes
1answer
135 views

Prime factors of $\sum_{k=1}^{30}k^{k^k}$

I checked the prime factors of $$\sum_{k=1}^{30}k^{k^k}$$ and did not find any upto $10^8$ Are there any useful restrictions to accelerate the search ?
1
vote
1answer
144 views

Comparison between two tetrations

For a given natural number n, what ist the least number m, such that $$e \uparrow \uparrow m > \pi \uparrow \uparrow n$$ It seems that m = n + 1 is the desired number. Is this true for all n ?