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.
par [Submitted on 2 May 2026]publié 05 MAI 2026★★★★★
Lire la sourcearxiv.org/abs/2605.01636
[*] Ouvre dans un nouvel onglet · pas de tracking côté Lantern
Extrait · ingestion Lantern
In Exp-Minus-Log, every EML-expressible number is computable; Omega_U is inexpressible in EML, establishing a formal noncomputability bound.
Extrait automatique · ~140 caractèresvoir la source complète →
- Source
- Lobsters
- Ingéré
- 05 MAI 2026 · 08:28
- Score édito
- 3.3 / 5