Inexpressibility in Exp-Minus-Log
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(α, β) = \exp(α) - \log(β)$. 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 $Ω_U$, is inexpressible in EML. This gives a formal inexpressibility theorem for this system.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.01636
curl -X POST /api/v1/records/arxiv/2605.01636/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.01636/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'