🔢 mathematics

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

Il documento presenta un'encoding iniettiva di stringhe finite in numeri naturali basata su una partizione a blocchi della sequenza di Fibonacci che garantisce una crescita lineare della lunghezza del codice, superando l'esplosione esponenziale associata all'uso annidato naturale dell'accoppiamento binario senza riporto di Rosko.

Autori originali: Zoltán Sóstai

Pubblicato 2026-03-27

📖 4 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Zoltán Sóstai

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Immagina di dover trasformare una frase, come "Ciao Mondo", in un unico, gigantesco numero. Questo è il cuore del problema che Zoltán Sóstai affronta nel suo articolo: come scrivere un libro intero su un singolo foglio di carta, senza che il foglio esploda?

Ecco la spiegazione semplice, usando metafore quotidiane.

1. Il Problema: La "Cassetta degli Attrezzi" Infinita

Per secoli, i matematici hanno dovuto codificare le parole in numeri per farle "capire" ai computer o alle macchine logiche.

Il metodo vecchio (Gödel, 1931): Immagina di dover scrivere una frase usando solo numeri primi (2, 3, 5, 7...). Per ogni lettera, prendi un numero primo e lo elevi a una potenza. Il risultato è un numero così enorme che, anche per una frase breve, avresti bisogno di un foglio di carta lungo chilometri per scriverlo. È come cercare di contenere un oceano in una tazza da caffè: il contenitore esplode.
Il metodo di Rosko (2025): Qualcuno ha provato a usare i numeri di Fibonacci (1, 1, 2, 3, 5, 8...) in modo intelligente, ma ha fatto un errore di calcolo. Ha impilato i numeri uno sopra l'altro come una torre di mattoni instabile. Risultato? Per ogni lettera aggiunta, la torre raddoppia di altezza. Una frase di 20 lettere diventerebbe alta quanto la Torre Eiffel. È un'esplosione esponenziale.

2. La Soluzione: Il "Percorso a Scacchiera" (Block-Partition)

Sóstai propone un metodo nuovo, chiamato Codifica a Partizione a Blocchi. Immagina di avere una lunghissima scala a pioli, dove ogni piolo è un numero di Fibonacci.

Ecco come funziona la sua idea magica:

Dividi la scala in stanze: Invece di usare tutta la scala in una volta, la dividiamo in "stanze" (blocchi) separate.
- La prima stanza è per la prima lettera della tua frase.
- La seconda stanza è per la seconda lettera.
- E così via.
Le pareti di sicurezza: Tra una stanza e l'altra, lasciamo un piccolo spazio vuoto (un "gap"). Questo è fondamentale. È come mettere un muro di sicurezza tra due case: assicura che i numeri scelti per la prima lettera non "tocchino" mai quelli scelti per la seconda.
Scegli il tuo numero: Se la tua parola è "Ciao", guardi la prima stanza e scegli un numero specifico per la "C". Nella seconda stanza, scegli un numero per la "i", e così via.
Somma tutto: Alla fine, metti tutti questi numeri scelti in un unico sacchetto (li sommi).

Perché funziona?
C'è una regola matematica antica (il Teorema di Zeckendorf) che dice: "Ogni numero intero può essere scritto come somma di numeri di Fibonacci, ma solo se non usi mai due numeri che sono vicini tra loro nella sequenza".
Grazie ai nostri "muri di sicurezza" (i gap tra le stanze), sappiamo che i numeri che abbiamo scelto non sono mai vicini. Quindi, quando vediamo il numero finale, possiamo smontarlo pezzo per pezzo e dire esattamente: "Ah! Questo pezzo viene dalla stanza 1 (quindi è la prima lettera), questo dalla stanza 2 (la seconda lettera), ecc.".

3. Il Risultato: Una Linea dritta, non una montagna

La cosa più bella di questo metodo è la sua efficienza.

Se scrivi una frase di 10 lettere, il numero finale sarà lungo circa 20-30 cifre.
Se scrivi una frase di 100 lettere, il numero sarà lungo circa 200-300 cifre.

La lunghezza del numero cresce in linea retta con la lunghezza della frase. È come camminare su un sentiero pianeggiante: più cammini, più ti allontani, ma non devi mai scalare una montagna.

Al contrario, il metodo di Rosko (quello con la torre di mattoni) farebbe sì che per 100 lettere dovresti scrivere un numero con miliardi di cifre, impossibile da gestire.

In sintesi

Sóstai ha inventato un modo per trasformare le parole in numeri che è:

Univoco: Non ci sono due parole diverse che danno lo stesso numero.
Recuperabile: Puoi sempre tornare indietro e leggere la parola originale dal numero.
Compatto: Il numero finale è della giusta grandezza, non diventa mostruosamente grande come nei metodi precedenti.

È come se avesse trovato un modo per comprimere un'enciclopedia intera in un singolo numero, senza che quel numero diventi più grande dell'universo stesso. Un passo avanti fondamentale per far parlare la logica e l'informatica in modo più efficiente.

1. Il Problema

L'articolo affronta la sfida fondamentale della numerazione di Gödel: l'assegnazione di un numero naturale unico a ogni stringa finita (o oggetto sintattico) di un alfabeto fissato. Questo processo è cruciale per la logica matematica, in particolare per i teoremi di incompletezza di Gödel, che richiedono la codifica di simboli, formule e dimostrazioni in numeri naturali.

I metodi tradizionali presentano limiti significativi:

Codifica basata sui primi (Gödel, 1931): Mappa una sequenza $\langle a_1, \dots, a_m \rangle$ al prodotto $2^{a_1+1} \cdot 3^{a_2+1} \cdots p_m^{a_m+1}$ . Sebbene iniettiva, genera numeri enormi (decine o centinaia di cifre anche per formule brevi), rendendo l'analisi della complessità inefficiente.
Codifica posizionale in base $k$ : È efficiente ( $\Theta(m)$ ), ma non utilizza la struttura additiva dei numeri naturali in modo "intrinseco" come richiesto da alcune applicazioni teoriche.
Codifica di Rosko (2025): Propone un approccio basato sulla rappresentazione di Zeckendorf (somma di numeri di Fibonacci non consecutivi) utilizzando un accoppiamento binario "senza riporto" (carryless pairing). Tuttavia, l'uso naturale di questo metodo tramite annidamento destro (right-nesting) per sequenze porta a una crescita esponenziale del numero di cifre ( $\Theta(2^m)$ ), un "collasso esponenziale" che lo rende impraticabile per stringhe lunghe.

L'obiettivo del paper è costruire un encoding iniettivo basato sui numeri di Fibonacci che garantisca una crescita lineare della lunghezza del codice, avvicinandosi al limite inferiore teorico dell'informazione.

2. Metodologia: La Codifica a Partizione a Blocchi

L'autore propone una nuova costruzione che evita l'annidamento ricorsivo, basandosi su una partizione diretta della sequenza di Fibonacci.

Concetti Chiave

Alfabeto: Sia $\Sigma = \{\sigma_0, \dots, \sigma_{k-1}\}$ un alfabeto finito di dimensione $k$ . Ogni simbolo ha un codice $c \in \{0, \dots, k-1\}$ .
Partizione a Blocchi: La sequenza di Fibonacci ( $F_n$ $F_{n}$ ) viene divisa in blocchi contigui, uno per ogni posizione nella stringa.
- Si definisce una dimensione del blocco $\beta = k + 1$ .
- Per la posizione $i$ (indicizzata da 0), il blocco $B_i$ contiene gli indici di Fibonacci:
  $B_i = \{2 + i\beta, 2 + i\beta + 1, \dots, 2 + i\beta + (k-1)\}$
- Gap (Spazi vuoti): L'indice $2 + i\beta + k$ (il primo indice dopo il blocco) viene lasciato inutilizzato. Questo crea una "fuga" di almeno un indice tra la fine di un blocco e l'inizio del successivo.

Il Meccanismo di Codifica

Data una stringa $s = s_1 s_2 \dots s_m$ con codici $c_1, \dots, c_m$ :

Per ogni posizione $i$ (da 0 a $m-1$ ), si seleziona il numero di Fibonacci corrispondente all'indice all'interno del blocco $B_i$ determinato dal codice del simbolo $c_i$ .
L'indice selezionato è $e_i = 2 + i\beta + c_i + 1$ .
Il numero di Gödel codificato $\lceil s \rceil$ è la somma di questi numeri di Fibonacci:
$\lceil s \rceil = \sum_{i=0}^{m-1} F_{2 + i\beta + c_i + 1}$

Garanzia di Unicità

Il teorema di Zeckendorf afferma che ogni intero positivo ha una rappresentazione unica come somma di numeri di Fibonacci non consecutivi.

Non-adiacenza: Grazie al "gap" di un indice tra i blocchi, gli indici selezionati da posizioni diverse non sono mai consecutivi nella sequenza di Fibonacci.
Decodifica: Poiché la somma è una rappresentazione di Zeckendorf valida, è possibile recuperare gli indici originali (e quindi i simboli e la lunghezza della stringa) in modo univoco applicando l'algoritmo greedy di Zeckendorf.

3. Contributi Chiave e Risultati

1. Linearità della Lunghezza del Codice

Il contributo principale è la dimostrazione che la lunghezza del codice (numero di cifre) cresce linearmente rispetto alla lunghezza della stringa $m$ .

Teorema 5.1: Per una stringa di lunghezza $m$ , il numero massimo di cifre $L(m)$ è $\Theta(m)$ .
Analisi: L'indice di Fibonacci massimo utilizzato è circa $m\beta$ . Poiché $F_n \approx \phi^n$ , il valore codificato è dell'ordine di $\phi^{m\beta}$ . Il numero di cifre è proporzionale a $\log_{10}(\phi^{m\beta}) \approx m \cdot \beta \cdot \log_{10}\phi$ .
Efficienza: Per un alfabeto di 10 simboli ( $k=10, \beta=11$ ), il codice richiede circa 2.3 cifre per simbolo. Questo è un fattore costante sopra il limite inferiore teorico ( $\log_{10} k$ ), ma mantiene la complessità lineare.

2. Confronto con l'Accoppiamento di Rosko

L'articolo dimostra che l'approccio alternativo di Rosko, basato sull'annidamento destro di una funzione di accoppiamento binario, fallisce in termini di efficienza.

Teorema 5.3: L'uso di Rosko porta a una crescita esponenziale del numero di cifre, $\Theta(2^m)$ .
Motivazione: Ogni livello di annidamento raddoppia approssimativamente l'indice di Fibonacci massimo necessario. La nuova costruzione a blocchi elimina completamente la necessità di annidamento, ottenendo un miglioramento esponenziale rispetto a questo metodo specifico.

3. Proprietà di Correttezza

Iniettività: La mappa è biunivoca tra stringhe e numeri naturali validi.
Recupero della Lunghezza: La lunghezza della stringa originale può essere dedotta direttamente dalla lunghezza della rappresentazione di Zeckendorf del numero codificato (il numero di indici nella somma).
Decodifica Efficiente: L'algoritmo di decodifica è computazionalmente semplice, basato su divisioni e moduli per recuperare posizione e simbolo.

4. Significato e Implicazioni

Ottimalità Asintotica: La codifica a partizione a blocchi è asintoticamente ottimale ( $\Theta(m)$ ), raggiungendo il limite inferiore dell'informazione teorica a meno di un fattore costante. È la prima codifica basata su Zeckendorf a raggiungere questo risultato per sequenze.
Semplicità Strutturale: A differenza delle codifiche basate su prodotti di primi (che richiedono fattorizzazione per la decodifica) o di accoppiamenti ricorsivi complessi, questa codifica è puramente additiva e basata su una partizione geometrica della sequenza di Fibonacci.
Applicazioni Teoriche: L'autore suggerisce che la natura additiva di questa codifica potrebbe essere sfruttata in contesti di aritmetica limitata (bounded arithmetic) o per dimostrare la definibilità $\Delta_0$ di predicati sintattici in sistemi che mancano di moltiplicazione, un'area di ricerca aperta per lavori futuri.

In sintesi, il paper risolve il problema della "esplosione esponenziale" nelle codifiche di Gödel basate su Fibonacci, offrendo una costruzione semplice, iniettiva e linearmente scalabile che supera i limiti dei metodi di accoppiamento binario annidati e si avvicina all'efficienza delle codifiche posizionali standard, mantenendo però le proprietà strutturali uniche della rappresentazione di Zeckendorf.