Exponentials conjectures and theorems
Four exponentials conjecture* Let and be -linearly independent pairs of complex numbers, then some is transcendental.
Questions, not proof records
Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.
sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.Four exponentials conjecture* Let and be -linearly independent pairs of complex numbers, then some is transcendental.
Are and algebraically independent?
Is irrational?
Is irrational?
Is irrational?
Is irrational?
Is irrational?
Is irrational?
Is the Euler-Mascheroni constant irrational?
The Gompertz constant is transcendental.
for n ≥ 2 is transcendental.
Is the Catalan constant irrational?
is irrational.
is irrational.
is irrational.
is irrational.
is irrational for any .
Given any set of complex numbers that are linearly independent over , the field extension has transcendence degree at least over .
is transcendental.
is transcendental.