Source labels openWikipedia · Number theory
Open questions on transcendence of numbers
is transcendental.
Source checked Jul 26, 20261 pinned Lean statementInspect problem
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.is transcendental.
is transcendental.
is transcendental.
is transcendental.
is transcendental.
is transcendental.
is transcendental.
is not an integer.
This would follow from being transcendental, but this formulation is of interest in its own right, as it could in principle be proven by direct computation. Reference:* YouTube
is transcendental.
is transcendental.
is transcendental.
The Catalan constant is transcendental.