The story
Named after Ferdinand von Lindemann and Karl Weierstrass, who worked on related proofs.
Etymology from Wiktionary, CC BY-SA 4.0.
Lindemann-Weierstrass theorem
Today it means: A result that is useful in establishing the transcendence of numbers, stating that, if α₁, ..., αₙ are algebraic numbers which are linearly independent over the rational numbers ℚ, then e^(α₁), ..., e^(αₙ) are algebraically independent over ℚ. Full definition →