Abstract:Odrzywołek defined a system Exp-Minus-Log (EML) that reduces all elementary functions over complex numbers down to a constant `$1$', and a single two place function $E(\alpha, \beta) = \exp(\alpha) - \log(\beta)$. This paper shows that in this system, equivalent to Chow's EL numbers, every EML-expressible number is computable. We go on to prove that the canonical example of a non-computable real, Chaitin's $\Omega_U$, is inexpressible in EML. This gives a formal inexpressibility theorem for this system.
Submission history
From: Mark Carney [view email]
[v1]
Sat, 2 May 2026 22:53:40 UTC (7 KB)