🔢 mathematics

Inexpressibility in Exp-Minus-Log

Dit artikel stelt vast dat het Exp-Minus-Log-systeem, dat elementaire functies reduceert tot een constante en één tweestellige bewerking, uitsluitend berekenbare getallen kan uitdrukken, en bewijst aldus dat Chaitin's $\Omega_U$ binnen dit raamwerk niet uitdrukkelijk is.

Oorspronkelijke auteurs: Mark Carney

Gepubliceerd 2026-05-05

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Mark Carney

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je een magische, almachtige keuken voor. In deze keuken heb je geen volledige set gereedschappen zoals blenders, ovens en mixers. In plaats daarvan heb je slechts één speciaal gereedschap, laten we het de "Magische Toverstaf" noemen (in het artikel weergegeven als E), en één ingrediënt: het getal 1.

Het artikel van Mark Carney onderzoekt wat er gebeurt als je probeert elk mogelijk getal te bereiden met alleen deze ene toverstaf en dat ene ingrediënt.

Het recept van de Magische Toverstaf

De toverstaf werkt op een zeer specifieke manier. Als je er twee dingen mee aanwijst, zeg A en B, voert het een specifieke truc uit: het neemt de exponentiële van A (een chique manier om het zeer snel te laten groeien) en trekt de logaritme van B af (een manier om het te verkleinen).

De formule: Resultaat = exp(A) - log(B)

De oorspronkelijke onderzoekers (Odrzywolek) toonden aan dat je met alleen deze ene truc en het getal 1 eigenlijk bijna alles kunt nabootsen wat we normaal gesproken als "standaard wiskunde" beschouwen. Je kunt gehele getallen, breuken, het getal $\pi$ , $e$ , en zelfs complexe functies zoals sinus en cosinus construeren. Het is alsof je een hele bruiloftstaart kunt bakken met alleen een enkele lepel en een kopje bloem.

De Grote Vraag: Kun Je Alles Bereiden?

Het artikel stelt een diepere vraag: Is er iets dat deze keuken niet kan maken?

Om dit te beantwoorden, vergelijkt de auteur deze "Magische Toverstaf"-keuken met een bekende verzameling getallen genaamd EL-getallen (vernoemd naar wiskundige Timothy Chow). Het artikel bewijst dat de Magische Toverstaf-keuken en Chows keuken eigenlijk dezelfde plek zijn. Ze kunnen precies dezelfde lijst met getallen maken.

Het "Onbereidbare" Ingrediënt: Chaitins $\Omega$

De auteur introduceert vervolgens een zeer vreemd, theoretisch ingrediënt genaamd Chaitins $\Omega$ (Omega).

Wat is het? Stel je een getal voor dat de waarschijnlijkheid vertegenwoordigt dat een computerprogramma stopt (halt) of voor altijd blijft draaien.
Waarom is het speciaal? Dit getal is "niet-berekenbaar". Het is niet zomaar een getal dat we nog niet hebben berekend; het is wiskundig onmogelijk voor elke computer (hoe krachtig ook) om ooit zijn exacte cijfers op te schrijven of zijn volgende cijfer te voorspellen. Het is een getal dat bestaat, maar dat fundamenteel "onbereikbaar" is voor elke stap-voor-stap-recept.

De Hoofdontdekking

Het artikel bewijst een eenvoudige maar krachtige regel: Elk getal dat je met de Magische Toverstaf kunt maken, is "berekenbaar".

Hier is de logica in gewone taal:

De Ingrediënten zijn veilig: Je begint met het getal 1 (wat eenvoudig te berekenen is).
Het Proces is veilig: De Magische Toverstaf doet slechts twee dingen: exp en log. Het artikel toont aan dat als je deze tools een getal voert dat een computer kan berekenen, ze een resultaat opleveren dat een computer ook kan berekenen.
De Conclusie: Omdat je begint met een berekenbaar getal en alleen berekenbare tools gebruikt, moet elk enkel getal dat je in dit systeem kunt bouwen, berekenbaar zijn.

Omdat Chaitins $\Omega$ niet berekenbaar is, is het onmogelijk om het in deze keuken te bouwen.

Het Eindoordeel

Het artikel concludeert met een "Formeel Onuitdrukkbaarheidsstelling". In eenvoudige bewoordingen:

De Magische Toverstaf-keuken kan een enorme, oneindige lijst met getallen maken (waaronder $\pi$ , $e$ , en alle getallen die in techniek en fysica worden gebruikt).
Echter, er is een enorme oceaan van getallen die de keuken nooit kan aanraken.
Chaitins $\Omega$ is het "posterkind" voor deze onbereikbare getallen. Het is een concreet bewijs dat er wiskundige waarheden zijn die niet kunnen worden uitgedrukt met dit specifieke regelsysteem.

Een Eenvoudige Analogie

Stel je het Magische Toverstaf-systeem voor als een Lego-set die alleen rode blokken heeft.

Je kunt een huis, een auto, een kasteel of een ruimteschip bouwen (dit zijn de "berekenbare" getallen zoals $\pi$ en $e$ ).
Maar als iemand je vraagt om een blauw blok te bouwen, kun je dat niet. Hoeveel rode blokken je ook stapelt, je zult er nooit een blauw blok van maken.
Chaitins $\Omega$ is dat "blauwe blok". Het bestaat in het universum van de wiskunde, maar het is gemaakt van een materiaal (niet-berekenbaarheid) dat simpelweg niet kan worden geconstrueerd met de rode blokken (het EML-systeem) die je tot je beschikking hebt.

Samenvattend: Het artikel bevestigt dat hoewel dit systeem met één functie ongelooflijk krachtig is en bijna alle getallen die we in het dagelijks leven en in de wetenschap gebruiken bestrijkt, het een harde grens heeft. Het kan de "niet-berekenbare" getallen niet bereiken, wat bewijst dat sommige wiskundige concepten voor altijd buiten bereik blijven voor deze specifieke manier van ze op te schrijven.

Technische Samenvatting: Onuitdrukkbaarheid in Exp-Minus-Log

Probleemstelling
Het artikel adresseert een lacune in het theoretische begrip van het Exp-Minus-Log (EML)-systeem, oorspronkelijk gedefinieerd door Odrzywo lek [4]. Dit systeem reduceert alle elementaire functies, constanten en operaties over complexe getallen tot een enkele binaire operator, $E(\alpha, \beta) = \exp(\alpha) - \log(\beta)$ , en de constante '1'. Hoewel het werk van Odrzywo lek grotendeels constructief en existentieel was — en aantoonde hoe standaard elementaire functies kunnen worden uitgedrukt — werd er geen formeel stelling van onuitdrukkbaarheid gevestigd. Specifiek bleef het een open vraag of het EML-systeem niet-berekenbare reële getallen kon uitdrukken. Dit artikel tracht de grenzen van EML-uitdrukkbaarheid te karakteriseren door de berekenbaarheidsstatus van alle binnen het systeem representeerbare getallen te bepalen.

Methodologie
De auteurs maken gebruik van een combinatie van formele logica, berekenbare analyse en algoritmische informatietheorie om de grenzen van EML vast te stellen. De methodologie verloopt in drie logische fasen:

Formele Equivalentie: Het artikel vestigt eerst een rigoureuze equivalentie tussen Odrzywo leks EML-getallen en Chows EL-getallen [2]. Door expliciete syntactische substituties te verschaffen, tonen de auteurs aan dat het veld van EML-getallen identiek is aan het veld van EL-getallen (het kleinste deellichaam van $\mathbb{C}$ dat gesloten is onder $\exp$ en $\log$ ).
Berekenbaarheidsanalyse: Leunend op resultaten uit berekenbare analyse (specifiek [7] en [6]), analyseren de auteurs de berekenbaarheid van de betrokken operaties. Zij maken gebruik van het feit dat de exponentiële functie berekenbaar is op alle berekenbare complexe invoer. Voor de logaritme adresseren zij de problemen met taksneden door te bewijzen dat voor elke gedefinieerde EML-expressie het argument van de logaritme óf op de negatieve reële as ligt (waar de waarde berekenbaar is via magnitude en $\pi$ ), óf op een rationele afstand van de taksnede is begrensd.
Inductief Bewijs van Berekenbaarheid: Met behulp van structurele inductie op de syntaxis van EML-expressies bewijzen de auteurs dat elke gedefinieerde EML-expressie uitmondt in een berekenbaar complex getal.
Selectie van Getuige: Om onuitdrukkbaarheid aan te tonen, maakt het artikel gebruik van Chaitins $\Omega_U$ (de halteringswaarschijnlijkheid van een universele prefix-vrije Turingmachine) als canonieke getuige. $\Omega_U$ staat bekend als links-berekenbaar opgesomdbaar maar niet-berekenbaar.

Belangrijkste Bijdragen en Resultaten
Het artikel levert de volgende primaire resultaten op:

Equivalentiestelling: De verzameling van EML-uitdrukbare getallen is bewezen exact de verzameling van Chows EL-getallen te zijn ($EML = EL$).
Berekenbaarheidsstelling: Het artikel bewijst dat elk EML-uitdrukbare getal berekenbaar is. Specifiek is voor elke gesloten EML-expressie $\phi$ waarvan de waarde gedefinieerd is, $[[\phi]]$ een berekenbaar complex getal. Bijgevolg is de verzameling van EML-construeerbare reële getallen ( $EML_{\mathbb{R}}$ ) een deelverzameling van de berekenbare reële getallen ( $\text{Comp}_{\mathbb{R}}$ ).
Stelling van Onuitdrukkbaarheid: Door de berekenbaarheid van EML-getallen te combineren met de niet-berekenbaarheid van Chaitins $\Omega_U$ , bewijst het artikel formeel dat $\Omega_U \notin EML_{\mathbb{R}}$ .
Maattheoretische Implicatie: Aangezien de verzameling van EML-getallen aftelbaar is (vanwege de aftelbaarheid van de syntaxis), heeft de verzameling van niet-EML-uitdrukbare reële getallen de volledige Lebesgue-maat op $\mathbb{R}$ . Dit omvat niet alleen $\Omega_U$ , maar ook andere klassen van niet-berekenbare getallen, zoals de binaire expansie van de halteringsverzameling, limieten van Specker-sequenties en Martin-Löf-random reële getallen.

Betekenis en Aanspraken
Het artikel claimt een specifieke theoretische lacune die door Odrzywo leks oorspronkelijke werk was achtergelaten, op te vullen door een formeel stelling van onuitdrukkbaarheid voor het EML-systeem te verschaffen. De betekenis ligt in het karakteriseren van het EML-systeem niet slechts als een hulpmiddel voor het genereren van elementaire functies, maar als een systeem dat strikt begrensd is door berekenbaarheid.

De auteurs formuleren het resultaat nederig als een formele beperking: hoewel EML esthetisch bevredigend is en nuttig voor symbolische berekening en exacte rekenkunde (zoals vermeld in de inleiding met betrekking tot CAS-systemen), kan het de "canonieke" niet-berekenbare reële getallen niet uitdrukken. Het artikel stelt geen nieuwe toepassingen of experimentele voorstellen voor; het dient eerder als een fundamenteel bewijs dat vaststelt dat $EML_{\mathbb{R}} \subsetneq \mathbb{R}$ en, meer specifiek, $EML_{\mathbb{R}} \subseteq \text{Comp}_{\mathbb{R}}$ . Het resultaat bevestigt dat de "gesloten-vorm" getallen die via deze enkele operator uitdrukbaar zijn, strikt beperkt zijn tot het domein van de berekenbare getallen.