> There is a concrete complex number e^i: Yes, that is true, of course. But consulting a Lisp REPL merely demonstrates that it is true. It does not explain w

> There is a concrete complex number e^i: Yes, that is true, of course. But consulting a Lisp REPL merely demonstrates that it is true. It does not explain why it is true. You'd get further, pedagogically speaking, by pointing out that (e^i)^i = e^(i*i) = e^(-1) = 1/e, and so e^i is a number that is in some sense "half way" between e and 1/e when you are exponentiating. As an analogy, consider: e^(1/2) * e^(1/2) = e^(1/2 + 1/2) = e^1 = e as a demonstration that e^(1/2) is a number that is in some sense "half-way" between 1 and e when you are multiplying, a.k.a. the square root of e. But that still leaves unanswered the question of what "half-way" means when exponentiating rather than multiplying.