articleLobsterscomputability · logic
Inexpressibility in Exp-Minus-Log
In Exp-Minus-Log, every EML-expressible number is computable; Omega_U is inexpressible in EML, establishing a formal noncomputability bound.
by [Submitted on 2 May 2026]published MAY 05, 2026★★★★★
Read the sourcearxiv.org/abs/2605.01636
[*] Opens in a new tab · no tracking on Lantern's side
Excerpt · Lantern ingestion
In Exp-Minus-Log, every EML-expressible number is computable; Omega_U is inexpressible in EML, establishing a formal noncomputability bound.
Auto-generated excerpt · ~140 charactersview full source →
- Source
- Lobsters
- Ingested
- MAY 05, 2026 · 08:28
- Editorial score
- 3.3 / 5