We all know that $2^5$ means $2\times 2\times 2\times 2\times 2 = 32$, but what does $2^\pi$ mean? How is it possible to calculate that without using a calculator? I am really curious about this, so please let me know what you think.
 257,588
 37
 262
 861
 3,837
 8
 31
 38

86Good question! Here's one intuitive answer: if you know that a population of bacteria doubles in size every hour, then under some reasonable assumptions $2^{\pi}$ is approximately how much larger the population is after $\pi$ hours. – Qiaochu Yuan Apr 16 '12 at 21:54

21Much like [multiplication is not repeated addition](http://www.maa.org/devlin/devlin_06_08.html) (continued [here](http://www.maa.org/devlin/devlin_0708_08.html)), exponentiation is *not* repeated multiplication. – Asaf Karagila Apr 16 '12 at 21:58

2@AsafKaragila those links are broken for me. Could you expand your point? At least for rational numbers, multiplication as repeated addition is pretty much just a consequence of the distributive property. – Joe Apr 16 '12 at 22:52

1@Joe: The fact that these things coincide for natural numbers need not imply that these things are true in general. Especially when you are often work with the real numbers. I also have *never* seen someone add $\frac{113}{333}$th of a sand grain to a sandpile. – Asaf Karagila Apr 16 '12 at 22:59

9The links work for me. @AsafKaragila: I have to admit I was unable to get Devlins point in the first column. Apparently his point is that the real numbers are the natural all purpose number system and everything should be done starting from the reals. The bottom down approach. Of course the bottom up approach as, say, developed in Landau's little book does work. And I don't see how children will ever learn about addition without telling them it is...repeated counting. The natural numbers are special! – Michael Greinecker Apr 16 '12 at 23:01

3@AsafKaragila I don't know what character you used to represent a single decimal place, so I'll just use '$a$'. If each grain of sand is made up of $\frac{1}{aaa}$ particles, then surely you can remove a single particle $11a$ times. The metaphor is suprisingly flexible. – Joe Apr 16 '12 at 23:06

5I would mindlessly resort to $a^b = e^{b \log a}$ – Pedro Apr 16 '12 at 23:08

@Michael, yes. The natural numbers *are* special. The question is what are you aiming for. I agree that for most people multiplication is repeated addition (and similarly for exponentiation) and this is a result of the fact that the layman common use of numbers is counting. I generally disagree with Devlin's point when aimed at little children. However in my first semester we were presented exponentiation in a way which hinted this should be thought as repeated multiplication (and multiplication as repeated addition was already engraved)  and I think that academic level should not do that. – Asaf Karagila Apr 16 '12 at 23:09

1@Joe: Fine, let us take the size of the smallest known particle and discuss about fractions about $500,000$ times smaller in their order of magnitude. – Asaf Karagila Apr 16 '12 at 23:10

13@AsafKaragila pedagogically Delvin's advice for teachers is very bad. Yes, multiplication *is* repeated addition (that is why it was first used, and that is how primary students ought to understand it): it's just that mathematicians have extended this idea to apply also to noninteger numbers. Compare: factorial function/gamma function. – Ronald Apr 16 '12 at 23:15

3@Ronald: Atomic power was first use to annihilate cities. Are you suggesting that it should always be used for mass murder, or do you permit the world to use it for peaceful intentions like energy generation? Why would I care that thousands of years ago multiplication was repeated addition? I care about how things are *now*. In the real numbers it is not repeated addition. Similarly for exponentiation and multiplication. – Asaf Karagila Apr 16 '12 at 23:17

2@AsafKaragila i'm not sure where your analogy is going. the fact is, that when students learn multiplication, they only have a concept of positive integers: so it's only sensible to teach it via appropriate and relevant applications: i.e. as a way of doing repeated addition (also, as the area of a rectangle). In fact, this is the most relevant use for a great majority of adults. Should we be teaching 5 year olds that multiplication also has application within complex numbers? Certainly not. – Ronald Apr 16 '12 at 23:24

2@Ronald: Preschool level, *sure*. University level **real** analysis? No, I disagree with your claim. Already when introducing fractional and negative exponentiation the results are no longer "repeated multiplication", and similarly when talking about multiplication to addition with negative and nonintegers. Recall that in the real world you cannot divide something into two *exactly equal* halves. So yes, I agree that first graders should continue with multiplication as repeated addition, but when you reach a high school level or god forbid university level  this should *really* stop. – Asaf Karagila Apr 16 '12 at 23:29

1@Ronald: I also think that no preschool level students write in this site. :) – Asaf Karagila Apr 16 '12 at 23:40

5@AsafKaragila the link you cited in your argument specifically refers to K12 education (Kindergarten to 12th Grade). So, I was responding specifically to that, as I made clear. I'm not sure why real analysis is relevant now... – Ronald Apr 16 '12 at 23:49

3Actually multiplication starts with the base concept of repeated additionin fact that definition works perfectly over the set of Integer numbers, if you were teaching children integers, then repeated addition is absolutely a correct answer. As you apply it to fractions (and on into Reals, Imaginaries, matrices, ...) you have to expand the system in a way that, hopefully makes sense. You can't always follow the rules when you go to a new set (/ makes no sense for matrices) and x doesn't cover everything "Like" multiplying so they add cross and dot products (among others). – Bill K Apr 17 '12 at 02:33

9@AsafKaragila: Would it be better to say that multiplication is generalized repeated addition? Or am I missing the point here? (Interestingly, if you look at it this way it seems a large part of modern mathematics is just generalized addition: measure theory, algebra, analysis, cardinal/ordinal arithmetic ... Maybe we should say that mathematics is generalized addition =)) – Dejan Govc Apr 17 '12 at 10:11

$f(x)=2^x$ is a function that can be expressed as a Taylor Series. – NoChance Mar 06 '16 at 21:25
9 Answers
When $x \in \mathbb{N}$
You were probably taught that “exponentiation is repeated multiplication”:
$$b^x = \underbrace{b\times b\times b\times\cdots\times b}_{x\text{ times}}$$
From this simple definition, you can observe two properties:
 $b^{x+y} = b^x \cdot b^y$
 $b^{xy} = \left(b^x\right)^y $
For example:
 $2^{3+4} = 2^7 = 2 \cdot 2 \cdot 2 \cdot 2 \cdot 2 \cdot 2 \cdot 2 = (2 \cdot 2 \cdot 2) \cdot (2 \cdot 2 \cdot 2 \cdot 2) = 2^3 \cdot 2^4$
 $2^{3 \cdot 4} = 2^{12} = 2^3 \cdot 2^3 \cdot 2^3 \cdot 2^3 = \left(2^3\right)^4$
We can then definite exponentation over more general sets of numbers in a way that these two properties continue to hold.
When $x \in \mathbb{Z}$
From the above rule for addition of exponents, we obtain a rule for subtraction of exponents: $b^{x  y} = {b^x \over b^y}$, because then $b^{(x  y) + y} = b^{xy} \cdot b^y = {b^x \over b^y} \cdot b^y = b^x$ as expected. This lets us expand the domain of exponents to include zero and negative integers:
$$b^0 = b^{yy} = {b^y \over b^y} = 1,\; b \ne 0$$ $$b^{y} = b^{0y} = {b^0 \over b^y} = {1 \over b^y},\; b \ne 0$$
When $x \in \mathbb{Q}$
If you assume that the multiplicate property of exponents holds for rationals, then $\left(b^{1 \over n}\right)^n = b^{{1 \over n} \cdot n} = b^1 = b$. So $b^{1 \over n}$ is a number whose $n$th power is $b$. In other words,
$$b^{1 \over n} = \sqrt[n]{b},\; b \ge 0$$
And $b^{m \over n} = \left(b^{1 \over n}\right)^m = (\sqrt[n]{b})^m$.
For example, $4096^{5/12} = \left(\sqrt[12]{4096}\right)^5 = 2^5 = 32$.
When $x \in \mathbb{R}$
I still haven't answered your question of what $2^\pi$ means. But at this point, we can calculate $2^x$ for $x$ aribitrarily close to $\pi$.
 $2^3$ = 8
 $2^{3.1} = 2^{31/10} = \sqrt[10]{2^{31}} \approx 8.574187700290345$
 $2^{3.14} = 2^{314/100} = \sqrt[100]{2^{314}} \approx 8.815240927012887$
 $2^{3.141} = 2^{3141/1000} = \sqrt[1000]{2^{3141}} \approx 8.821353304551304$
 $2^{3.1415} = 2^{31415/1000} = \sqrt[10000]{2^{31415}} \approx 8.824411082479122$
 $2^{3.14159} = 2^{314159/10000} = \sqrt[100000]{2^{314159}} \approx 8.824961595059897$
As $x$ approaches $\pi$, $2^x$ approaches a limit, which is approximately $8.824977827076287$. For the sake of making $2^x$ continuous, we define $2^{\pi}$ to be equal to this limit.
(Note that there's nothing special about decimal fractions. I could have used the sequence $[3, {22 \over 7}, {333 \over 106}, {355 \over 113}, \ldots ]$ of best rational approximations, but that would have been less obvious.)
However, taking the trillionth root of huge powers of a number isn't very practical for calculation. A more useful method is to use logarithms.
$\log_c y$ is defined as the number $x$ such that $c^x = y$. From the two basic properties of exponentation, you can obtain the identities:
 $\log_c (ab) = \log_c a + \log_c b$
 $\log_c (b^x) = x \cdot \log_c b$
And from the latter, you get $$b^x = c^{x \cdot \log_c b}.$$ This means that if you have an exponential and logarithm function for one value of $c$, you can calculate them for any value for $b$.
Typical choice of $c$ are:
 2, for convenience in working with computers
 10, the base of our number system, giving "common logarithms"
 $e \approx 2.718281828459045$, the base of the "natural logarithm" ($\ln$), for its convenient properties in calculus.
So, if you wanted to calculate $2^{\pi}$, you'd actually calculate $10^{\pi \cdot \log_{10} 2}$ or $e^{\pi \cdot \ln 2}$. And that would typically be done with the assistance of a logarithm table or a slide rule.
When $x \in \mathbb{C}$
In Calculus, you'll learn about Taylor series, and the wellknown ones for $e^x$, sine and cosine:
 $e^x = 1 + x + \frac{x^2}{2} + \frac{x^3}{6} + \frac{x^4}{24} + \frac{x^5}{120} + \dots = \sum_{k=0}^{\infty} \frac{x^k}{k!}$
 $\sin x = x  \frac{x^3}{6} + \frac{x^5}{120}  \frac{x^7}{5040} + \cdots = \sum_{k=0}^\infty \frac{(1)^k x^{2k+1}}{(2k+1)!}$
 $\cos x = 1  \frac{x^2}{2} + \frac{x^4}{24}  \frac{x^6}{720} + \frac{x^8}{40320}  \cdots = \sum_{k=0}^\infty \frac{(1)^k x^{2k}}{(2k+1)!}$
What happens when you plug $x = i \theta$ into the Taylor series for $e^x$?
\begin{align} e^{i \theta} & = 1 + i \theta + \frac{(i \theta)^2}{2} + \frac{(i \theta)^3}{6} + \frac{(i \theta)^4}{24} + \frac{(i \theta)^5}{120} + \frac{(i \theta)^6}{720} + \frac{(i \theta)^7}{5040} + \frac{(i \theta)^8}{40320} + \cdots \\[10pt] & = 1 + i \theta + i^2 \frac{\theta^2}{2} + i^3 \frac{\theta^3}{6} + i^4 \frac{\theta^4}{24} + i^5 \frac{\theta^5}{120} + i^6 \frac{\theta^6}{720} + i^7 \frac{\theta^7}{5040} + i^8 \frac{\theta^8}{40320} + \cdots \\[10pt] & = 1 + i \theta  \frac{\theta^2}{2}  i \frac{\theta^3}{6} + \frac{\theta^4}{24} + i \frac{\theta^5}{120}  \frac{\theta^6}{720}  i \frac{\theta^7}{5040} + \frac{\theta^8}{40320} + \cdots \\[10pt] & = \left( 1  \frac{\theta^2}{2} + \frac{\theta^4}{24}  \frac{\theta^6}{720} + \frac{\theta^8}{40320}  \dots\right) + i \left(\theta  \frac{\theta^3}{6} + \frac{\theta^5}{120}  \frac{\theta^7}{5040} + \cdots \right) \\[10pt] & = \cos\theta + i \sin\theta \end{align}
This is called Euler's formula, and it lets us extend exponentiation to the complex numbers:
$$e^{x+iy} = e^x \cdot e^{iy} = e^x (\cos{y} + i \sin{y})$$
 1
 30
 276
 565
 8,018
 3
 20
 22

2

96

5@Dan, but what about other number systems (other than quaterions) eg field extensions, ideal domains etc? – alancalvitti Jan 08 '13 at 23:57

7I think that throughout, it is assumed that the base is nonnegative. . – Andres Mejia Aug 28 '16 at 13:21
This is easier to answer if you use $8$ instead of $2$. What does multiplying by $8^{1/3}$ mean? It means you multiply by $8$ onethird of one time, and that means you do something that, if done three times, amounts to multiplication by $8$. If you multiply by $2$ three times, you've multiplied by $8$. Therefore multiplying by $8$ onethird of one time is multiplying by $2$.
With $2^x$ instead of $8^x$, the idea is the same but the numbers are messy.
This leaves the question: What is $8^x$ if $x$ is not a rational number like $1/3$? The function $x\mapsto 8^x$ is monotone: as $x$ gets bigger, so does $8^x$. That means $8^x$ is bigger than $8^r$ when $r$ is any rational number less than $x$, and $8^x$ is less than $8^r$ when $r$ is any rational number bigger than $x$. That's enough to narrow down $8^x$ to just one number.
 1
 30
 276
 565
$f(x) = 2^x$ is the unique increasing realvalued function that satisfies $f(1)=2$ and $f(x+y) = f(x)f(y)$ for all $x,y \in \mathbb{R}$.
 3,213
 16
 35

2+1, that's a good argument, but I think perhaps you should develop the idea a little more. – JMCF125 Feb 03 '14 at 20:02

2Agree with @JMCF125 , you should expand on why this happens, why it is unique. I like your idea. – Sawarnik Feb 26 '14 at 16:24
You can first define $2^r$ for rational numbers $r$: if $r = p/q$ where $p$ and $q$ are integers and $q > 0$, $2^r = (2^p)^{1/q}$ is the $q$'th root of $2^p$. It turns out that with this definition, $2^r$ is an increasing, continuous function of $r$. You can then define $2^x$ for any real number $x$ as the limit of $2^{r_n}$ for a sequence of rational numbers $r_n$ with limit $x$.
 416,382
 24
 302
 603

3Additionally, $2^{p}$ can be interpreted as $(2^{1})^p$, which leaves the problem of interpreting $2^{1}$. If we want the exponent laws to hold, we should have $(2^1)(2^{1})=2^0=1$, which rearranges to $2^{1}=\frac1{2^1}$... – J. M. ain't a mathematician Apr 17 '12 at 07:32
From the "formal mathematics" point of view, one could argue that you are asking the wrong question. The right question to ask may be "What is $\log 2$?", which in turn leads to the question "What is $\log x$?" Let me explain what I mean, and why these questions are related to your question.
Formally, we define $\log x$ as an integral: $$\log x := \int_1^x \frac{1}{t} dt$$ so that $\log 2$ is just the area under $f(t)=\frac{1}{t}$ between $t=1$ and $t=2$. From this definition, one can prove all the properties that one expects from $\log x$. For instance:
 The domain of $\log x$ is $(0,\infty)$,
 The function $\log x$ is continuous in its domain,
 The function $\log x$ is differentiable in its domain,
 The function $\log x$ is strictly increasing in its domain,
 $\log(xy)=\log x + \log y$, for any $x,y>0$,
 $\log(x^y)=y\log x$, for any $x>0$ and any $y\in\mathbb{R}$.
Since $\log x$ is continuous and strictly increasing in its domain, the function $\log x$ is invertible, and we define $e^x$ as the inverse function of $\log x$, so that $e^{\log x} = x$, for any $x>0$, and $\log e^x = x$, for any real number $x$.
Now that we have defined $\log x$ (in terms of areas under $1/t$) and we have defined $e^x$ (as the inverse function to $\log x$), we can talk about $2^5$: $$2^5 = e^{\log 2^5} = (e^{5\log 2})$$ and the same works for any real number $\alpha$: $$2^\alpha = e^{\log 2^\alpha} = e^{\alpha\log 2}.$$ If we use the fact that $e^x$ is the inverse function of $\log x$, and the definition of $\log$ in terms of areas, we reach the conclusion that:
 " $2^\alpha$ " is the number $x$ such that the area between $t=1$ and $t=x$ under $\frac{1}{t}$ is precisely $$\alpha \log 2 = \alpha\cdot (\text{the area under } 1/t \text{ between } t=1 \text{ and } t=2).$$
 14,768
 2
 26
 51

with that way you can even easily extend the definition to complex numbers (the branch cut becomes irrelevant by the exponentiation adding a power of one) – Tobias Kienzler Apr 18 '12 at 06:37
Think of it this way:
$$2^5 = 2^1 \cdot 2^1 \cdot 2^1 \cdot 2^1 \cdot 2^1 = 2 \cdot 2 \cdot 2 \cdot 2 \cdot 2 = 32$$
because of the property that $a^b \cdot a^c = a^{b+c}$
Now examine $2^{\pi}$
$$2^\pi = 2^{3.1415926535\ldots} = 2^1 \cdot 2^1 \cdot 2^1 \cdot 2^{.1415926535\ldots} \approx 8 \cdot \sqrt[7]2 \approx 8.8249778\ldots$$
For any power (aside from zero), if it is negative flip the term over (reciprocal), take the whole terms out as powers, and think of any remaining decimals as 'roots.'
 1
 30
 276
 565
 267
 2
 9
We assume that $\mathbb{R}$ is constructed using equivalence classes of rational Cauchysequences and $\alpha^\frac{1}{n}$ is defined as the unique nonnegative solution of $x^n = \alpha$, where $\alpha$ is nonnegative. For rational $a=\frac{p}{q}$, $p,q \in \mathbb{Z}$, $2^a$ is defined by $(2^\frac{1}{q})^p$. We first show that $2^a$ from $\mathbb{Q}$ to $\mathbb{R}$ is a strictly increasing function. Take $a,b\in\mathbb{Q}$, $a<b$. Then $a = \frac{p_1}{q_1}$, $q_1 > 0$ and $b = \frac{p_2}{q_2}$, $q_2 > 0$, where $p_i,q_i\in \mathbb{Z}$. The following lines are equivalent \begin{eqnarray} 2^a & < & 2^b \\ 2^\frac{p_1}{q_1} & < & 2^\frac{p_2}{q_2} \\ (2^\frac{1}{q_1 q_2})^{p_1 q_2} & < & (2^\frac{1}{q_1 q_2})^{p_2 q_1} \\ p_1 q_2 & < & p_2 q_1 \\ \frac{p_1}{q_1} & < & \frac{p_2}{q_2} \\ a & < & b \ . \end{eqnarray} The fourth line is the definition of the ordering relation $<$ in $\mathbb{Q}$. Hence $2^a$ is strictly increasing. Take now any Cauchysequence $\{a_n\}_{n = 0}^\infty \subset \mathbb{Q}$. Because $a_n$ is a Cauchysequence, it is bounded and there is an integer $m$ s.t. $a_{n_k} < m$. Assume that $2^\frac{1}{j}$ does not converge to $1$ as $j \rightarrow \infty$. The sequence is decreasing and bounded below. It has a limit. Note that the limit cannot be reached because the sequence is strictly decreasing. Let the limit be $\beta > 1$. Then we have $2^\frac{1}{j} > \beta$ for every $j \in \mathbb{Z}^+$. We can now estimate \begin{eqnarray} 2 = x_j^j > \beta^j \rightarrow \infty \ , \end{eqnarray} that is a contradiction. Hence \begin{equation} \lim_{j \rightarrow \infty} 2^\frac{1}{j} = 1 \ . \end{equation} We next estimate the sequence $a_n$. Choose $\epsilon > 0$. Choose $j \in \mathbb{Z}^+$ s.t. $ 2^m (2^\frac{1}{j}  1) < \epsilon$. Choose $N \in \mathbb{N}$ s.t. $k,l>N$ implies $a_ka_l < \frac{1}{j}$. We estimate \begin{eqnarray} 2^{a_k}2^{a_l} & = & 0 < \epsilon \ \ , \ a_k = a_l \ , \\ 2^{a_k}2^{a_l} & = & 2^{a_l} (2^{a_ka_l}  1) < 2^m (2^\frac{1}{j}1) < \epsilon \ \ , \ a_k > a_l \ , \\ 2^{a_k}2^{a_l} & = & 2^{a_l}2^{a_k} = 2^{a_k} (2^{a_la_k}  1) < 2^m (2^\frac{1}{j}1) < \epsilon \ \ , \ a_k < a_l \ . \end{eqnarray} Hence $2^{a_k}$ is a Cauchysequence and it converges to a limit. Continuity of $2^a$ can be shown as follows. Assume that $a_n$ converges to a limit $a\in\mathbb{Q}$. Then replace $a_l$ by $a$ in estimates and obtain the definition of convergence.
We define \begin{equation} 2^x = \lim_{n \rightarrow \infty} 2^{a_n} \ . \end{equation}
 845
 7
 7
If this helps:
For all n:
$$2^n=e^{n\log 2}$$
This is a smooth function that is defined everywhere.
Another way to think about this (in a more straightforward manner then others described): We know
$$a^{b+c}=a^ba^c$$
Then say, for example, $b=c=1/2$. Then we have:
$$a^{1}=a=a^{1/2}a^{1/2}$$
Thus $a^{1/2}=\sqrt{a}$ is a number that equals $a$ when multiplied by itself.
Now we can find the value of (for some p and q), $a^{p/q}$. We know:
$(a^x)^y=a^{xy}$
thus
$(a^{p/q})^{q/p}=a^1=a$
Other exponents may be derived similarly.
 24,247
 10
 91
 130
Euler's identity would be another use of exponents outside of integers as there are some complex numbers used in the identity. Euler's formula explains how to evaluate such values which does help in some cases to evaluate the function.
 3,554
 1
 14
 14