Abstract:
We discuss issues of algebraic independence for values of the function ez at algebraic points. The most general result of this kind was established at the end of the 19th century and is called the Lindemann–Weierstrass theorem. This is historically the first theorem on the algebraic independence of numbers and it can be proved now in various ways. Below we propose one more way to prove it.
Key words:
algebraic independence, criterion of linear independence, saddle point method, exponential function.