Dove finiscono i numeri? Il paradosso infinito della funzione Busy Beaver
Nel cuore della matematica teorica si nasconde un concetto che sfida la nostra comprensione dell’infinito: la funzione Busy Beaver. Da un’idea apparentemente semplice, nata con le “macchine di Turing” negli anni ’30, questa funzione sta portando alla luce i limiti ultimi della computazione e della dimostrabilità matematica. Oggi, un gruppo di matematici amatoriali online è vicino a scoprire un numero così colossale da rendere insignificanti persino le dimensioni dell’universo.
Una domanda semplice, una risposta senza fine
Tutto nasce da una domanda classica dell’informatica: “Un programma si fermerà mai?”. Alan Turing dimostrò che ogni algoritmo può essere rappresentato da una macchina di Turing, capace di leggere e scrivere simboli su un nastro infinito. Ma non sempre si riesce a capire se una di queste macchine si fermerà o continuerà a operare per sempre. Ed è qui che entra in gioco la funzione Busy Beaver (BB): il numero massimo di passaggi che una macchina con un certo numero di stati può compiere prima di fermarsi.
I valori iniziali crescono lentamente: BB(1) = 1, BB(2) = 6. Ma già con BB(5), il risultato esplode: 47.176.870 passaggi. BB(6)? Ancora ignoto, ma stimato essere un numero così grande da non poter nemmeno essere scritto con la notazione esponenziale tradizionale.
Tetrati, universi e limiti della matematica
Secondo il gruppo Busy Beaver Challenge, BB(6) è almeno grande quanto 2 ↑↑↑ 9 (dove “↑” rappresenta una tetrazione, un’esponenziazione iterativa). Per avere un’idea: questo numero supera di gran lunga il numero totale di particelle nell’universo osservabile. Eppure, è solo il sesto valore di una funzione teoricamente infinita.
Ma il vero punto non è quanto sia grande BB(6), bensì cosa ci dice sui limiti della matematica. Secondo il teorema di incompletezza di Gödel, esistono verità matematiche non dimostrabili all’interno di un sistema logico formale. Turing applicò questo concetto alla computazione: alcune macchine sono imprevedibili anche se perfettamente descritte.
Oggi, sappiamo che BB(643) è già “fuori portata” per gli assiomi della matematica standard (ZFC). Tuttavia, alcune macchine molto più semplici potrebbero già nascondere lo stesso paradosso.
Verso l’infinito… ma con prudenza
L’informatica teorica e la logica matematica trovano qui un punto d’incontro straordinario. Come spiega Scott Aaronson, docente all’Università del Texas, i primi 100 valori della funzione Busy Beaver potrebbero contenere “una ricchezza di verità matematiche ancora sconosciute”.
E forse, dietro le macchine con pochi stati, si cela una nuova chiave per risolvere problemi irrisolti come la congettura di Collatz, il celebre rompicapo numerico ancora senza risposta.
La ricerca non si ferma, ma ci ricorda che anche l’infinito ha i suoi paradossi. E che a volte, a far tremare i fondamenti della conoscenza umana basta un numero. Uno solo. Ma immensamente grande.
Foto di torstensimon da Pixabay
