🔢 mathematics

A Linear-Size Block-Partition Fibonacci Encoding for Gödel Numbering

Dit artikel introduceert een lineair-groeiende, injectieve codering van tekenreeksen naar natuurlijke getallen via een blokp-partitie van de Fibonacci-rij die de informatie-theoretische ondergrens benadert, in tegenstelling tot de exponentiële groei die optreedt bij het geneste gebruik van Rosko's binaire koppelingsmethode.

Oorspronkelijke auteurs: Zoltán Sóstai

Gepubliceerd 2026-03-27

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Zoltán Sóstai

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 voor dat je een heel lange, complexe zin uit een wiskundig boek wilt opslaan in een computer, maar die computer begrijpt alleen maar getallen. Hoe zet je letters, symbolen en haakjes om in één enkel, uniek getal?

Dit is precies het probleem dat de auteur van dit artikel, Zoltán Sóstai, oplost. Hij introduceert een nieuwe, slimme manier om tekst om te zetten in getallen, die veel efficiënter is dan de oude methoden.

Hier is de uitleg in gewone taal, met een paar leuke vergelijkingen:

1. Het oude probleem: De "Prijsveiling"

Vroeger (in de jaren '30, bedacht door Gödel) deed men dit zo:
Je neemt een zin, bijvoorbeeld "A + B".
Je geeft elke letter een nummer (A=1, +=2, B=3).
Vervolgens vermenigvuldig je priemgetallen (2, 3, 5, 7...) met die nummers.
Het resultaat is een getal dat zo gigantisch groot is, dat het net is alsof je een heel huis probeert op te slaan in één enkele munt. Het werkt, maar het is enorm inefficiënt.

2. De nieuwe oplossing: De "Trein met Afzonderlijke Wagons"

Sóstai gebruikt een andere aanpak, gebaseerd op de Fibonacci-rij (0, 1, 1, 2, 3, 5, 8, 13...). Dit is een rij getallen waar elk getal de som is van de twee ervoor.

De kern van zijn idee:
Stel je de Fibonacci-rij voor als een lange trein met honderden wagons.

De Blokken: Hij verdeelt deze trein in blokken. Elke positie in jouw zin krijgt zijn eigen blok.
- Positie 1 (het eerste woord) krijgt blok 1.
- Positie 2 (het tweede woord) krijgt blok 2.
- Enzovoort.
De Gaten: Tussen deze blokken laat hij een kleine "leegte" of een gat. Dit is cruciaal.
De Keuze: Als je een letter hebt, kies je precies één wagon uit het blok dat bij die positie hoort.

Waarom werkt dit?
Er is een wiskundige regel (het Stelling van Zeckendorf) die zegt: Elk getal kan op precies één manier worden geschreven als de som van niet-aangrenzende Fibonacci-getallen.

Omdat Sóstai gaten tussen de blokken heeft gelaten, is het onmogelijk dat je twee aangrenzende wagons kiest. Als je dus een som maakt van je gekozen wagons, weet je precies welke wagons je hebt gekozen. Je kunt de trein weer "ontmantelen" en zien: "Ah, wagon 5 was in blok 1, dus dat was de letter A. Wagon 12 was in blok 2, dus dat was de letter B."

3. Waarom is dit zo geweldig? (De Vergelijking)

Laten we kijken naar hoe groot het eindgetal wordt als je een lange zin codeert:

De Oude Methode (Gödel): Het getal wordt exponentieel groter. Alsof je voor elke extra letter in je zin, het getal met een factor 1000 vermenigvuldigt.
Een andere nieuwe methode (Rosko): Deze gebruikt een trucje om twee getallen te koppelen. Als je dit herhaaldelijk doet (voor een lange zin), groeit het getal ook exponentieel. Het is alsof je een bal in een machine stopt die hem elke keer verdubbelt. Na 20 stappen is de bal zo groot als de aarde.
De Methode van Sóstai (Deze paper): Dit is de winnaar. Het getal groeit lineair.
- Als je zin 10 letters lang is, is het getal X.
- Als je zin 20 letters lang is, is het getal ongeveer 2X.
- Als je zin 100 letters lang is, is het getal 10X.

De Metafoor:
Stel je voor dat je boeken in een bibliotheek moet opslaan.

De oude methode is alsof je voor elk nieuw boek een nieuw gebouw bouwt dat 100 keer zo groot is als het vorige.
De methode van Sóstai is alsof je boeken in een lange, rechte gang legt. Elke nieuwe letter neemt gewoon een beetje meer ruimte in, net als een normaal boek. Geen explosies, geen chaos.

4. Wat betekent dit voor de wereld?

Dit artikel is technisch, maar de boodschap is simpel:
We hebben nu een manier om complexe teksten (zoals wiskundige formules of computercode) om te zetten in getallen die klein en beheersbaar blijven, zelfs als de tekst heel lang is.

Het is alsof we een nieuwe, super-efficiënte taal hebben ontdekt om de "taal van de universum" (wiskunde en logica) in te kleden, zodat we het makkelijker kunnen bestuderen zonder dat we duizenden jaren nodig hebben om de getallen uit te rekenen.

Samengevat:
De auteur heeft een slimme manier bedacht om tekst in getallen te veranderen door de Fibonacci-rij in "blokken" te verdelen. Hierdoor blijft het eindgetal klein en lineair groeien, in plaats van ontploffen tot een onbegrijpelijk groot monster. Het is een elegante oplossing voor een eeuwenoud probleem.

Titel: Een lineaire grootte blokkering-partitie Fibonacci-encoding voor Gödel-nummering

1. Het Probleem

In de wiskundige logica en de theoretische informatica is het essentieel om syntactische objecten (zoals symbolen, formules en bewijzen) te coderen als natuurlijke getallen. Dit proces, bekend als Gödel-nummering, is de basis voor onvolledigheidsstellingen en de formalisering van rekenkunde.

De traditionele aanpak, geïntroduceerd door Gödel in 1931, gebruikt priemgetallen: een rij $\langle a_1, \dots, a_m \rangle$ wordt afgebeeld op het product $2^{a_1+1} \cdot 3^{a_2+1} \cdots p_m^{a_m+1}$ . Hoewel deze methode injectief is, leidt ze tot extreem grote getallen; zelfs korte formules resulteren in codes met tientallen of honderden cijfers.

Een alternatief, voorgesteld door Rosko (2025), maakt gebruik van de Zeckendorf-representatie (unieke decompositie van getallen als sommen van niet-aangrenzende Fibonacci-getallen). Rosko's methode gebruikt een "carryless pairing" (optellen zonder overdracht) die in een rechts-geneste structuur wordt toegepast voor sequenties. Het artikel toont echter aan dat deze geneste aanpak leidt tot een exponentiële groei in de grootte van de code ( $\Theta(2^m)$ ), wat inefficiënt is voor lange strings.

Het doel van dit artikel is een nieuwe, efficiëntere constructie te bieden die de grootte van de code lineair laat groeien met de lengte van de string, terwijl het de voordelen van de Fibonacci-basis behoudt.

2. Methodologie: Blokkering-Partitie Encoding

De auteur introduceert een nieuwe encoding-methode die gebaseerd is op een blokkering-partitie van de Fibonacci-rij. In plaats van geneste paren te gebruiken, worden de Fibonacci-getallen direct toegewezen aan posities in de string via een vast patroon.

Alfabet en Symbolcodes: Laat $\Sigma$ een eindig alfabet zijn van $k$ symbolen. Elk symbool $\sigma_j$ krijgt een code $j \in \{0, \dots, k-1\}$ .
Blokgrootte: De blokgrootte wordt gedefinieerd als $\beta = k + 1$ .
Partitie: De Fibonacci-indices worden opgedeeld in blokken $B_i$ voor elke positie $i$ in de string:
$B_i = \{2 + i\beta, 2 + i\beta + 1, \dots, 2 + i\beta + (k-1)\}$
Elk blok bevat precies $k$ opeenvolgende indices, één voor elk symbool.
Gaps (Mogelijke Lekkages): Tussen de blokken wordt een enkele index overgeslagen (de "gap"). Dit zorgt ervoor dat het laatste index van blok $B_i$ en het eerste index van blok $B_{i+1}$ nooit opeenvolgend zijn in de Fibonacci-rij.
De Codering: Voor een string $s = s_1 \dots s_m$ met symbolcodes $c_1, \dots, c_m$ , is de code het som van de geselecteerde Fibonacci-getallen:
$\ulcorner s \urcorner = \sum_{i=0}^{m-1} F_{2 + i\beta + c_{i+1}}$
Waarbij $F_n$ het $n$ -de Fibonacci-getal is.

Waarom werkt dit?
Door de gaten tussen de blokken te garanderen, worden de geselecteerde Fibonacci-indices nooit opeenvolgend. Volgens Zeckendorf's stelling heeft elk positief geheel getal een unieke representatie als som van niet-opeenvolgende Fibonacci-getallen. Omdat de constructie per definitie alleen niet-opeenvolgende indices selecteert, is de som uniek en kan de originele selectie (en dus de string) eenduidig worden teruggeleid.

3. Belangrijkste Bijdragen en Resultaten

Injectiviteit en Decodering:
De encoding is bewezen injectief (verschillende strings krijgen verschillende codes). De lengte van de string is direct af te leiden uit het aantal termen in de Zeckendorf-support van de code. Decodering gebeurt via een gulzig algoritme (greedy algorithm) om de Fibonacci-indices te vinden, waarna de positie en het symboolcode worden berekend via deling en modulo-operaties met $\beta$ .
Lineaire Complexiteit ( $\Theta(m)$ ):
Het artikel bewijst dat het aantal cijfers van de gegenereerde code lineair groeit met de lengte $m$ van de string.
- De grootste gebruikte index is ongeveer $m \cdot \beta$ .
- Aangezien Fibonacci-getallen exponentieel groeien ( $F_n \approx \phi^n$ ), is het aantal decimalen evenredig met $n$ .
- Resultaat: De codegrootte is $\Theta(m)$ . Dit komt overeen met de informatie-theoretische ondergrens (tot op een constante factor).
Vergelijking met Rosko's Methode:
De auteur analyseert Rosko's "carryless pairing" wanneer deze rechts-genest wordt toegepast voor sequenties.
- Bij elke nestingsstap verdubbelt de grootte van de benodigde Fibonacci-indices (ongeveer).
- Dit leidt tot een exponentiële groei van de codegrootte: $\Theta(2^m)$ .
- De nieuwe blokkering-methode vermijdt deze exponentiële "blow-up" volledig door geen geneste structuur te gebruiken.
Vergelijking met Traditionele Methoden:
- Priem-machten (Gödel 1931): Super-lineaire groei (zeer inefficiënt).
- Basis-k positiestelsel: Lineair, maar vereist een ander numeriek systeem.
- Rosko (genest): Exponentieel ( $\Theta(2^m)$ ).
- Deze paper (Blokkering): Lineair ( $\Theta(m)$ ) met een constante factor van ongeveer 2,3 voor een 10-symbolen alfabet.

4. Significatie en Toekomstperspectief

Efficiëntie: Dit is de eerste Zeckendorf-gebaseerde encoding die lineaire codegrootte bereikt voor het coderen van strings. Het biedt een compacte manier om syntactische objecten in de natuurkunde te vertalen zonder de enorme getallen van de priem-methode of de exponentiële groei van geneste Fibonacci-paren.
Theoretische Toepassingen: De additieve aard van deze encoding (het is een som van onafhankelijke termen) maakt het potentieel interessant voor onderzoek in beperkte rekenkunde (bounded arithmetic). Het zou kunnen helpen bij het bewijzen van $\Delta_0$ -definieerbaarheid van syntactische predicaten in systemen die geen vermenigvuldiging toestaan, of bij onvolledigheidsbewijzen in systemen met beperkte rekenkracht.
Simpelheid: De constructie is elementair en vereist geen complexe recursieve definities, wat het implementatievriendelijk maakt.

Conclusie:
Zoltán Sóstai presenteert een elegante oplossing voor het probleem van efficiënte Gödel-nummering. Door de Fibonacci-rij in blokken met gaten te partitioneren, creëert hij een injectieve mapping van strings naar natuurlijke getallen waarbij de codegrootte lineair groeit. Dit overtreft de prestaties van bestaande Fibonacci-gebaseerde geneste methoden (die exponentieel zijn) en biedt een nieuw, efficiënt alternatief voor de klassieke priem-methode.