Il limite del concetto di limite - "La matematica degli dèi e gli algoritmi degli uomini" di Paolo Zellini

L'ultima volta ho riportato un'interessante osservazione di Zellini sul grado di realtà dei numeri.

Oggi riporto osservazioni altrettanto interessanti sul concetto di limite... In qualche modo sul limite del concetto di limite.

"...con applicazioni ripetute di un operatore si genera una successione di numeri la cui distanza dalla soluzione tende a zero. Da simili processi di calcolo, noti fin dalla più remota antichità, derivarono i concetti analitici di limite e di convergenza di una successione, e certe dimostrazioni di convergenza si basano ancora, più che su argomentazioni logiche, sull’esistenza e sulle proprietà degli stessi processi di calcolo. Ma siamo effettivamente in grado, con una procedura iterativa, di avvicinarci alla soluzione fino a ridurre la distanza a un valore arbitrariamente piccolo? I matematici non si sono posti questo problema per molto tempo, e si sente spiegare ancora oggi, con le stesse parole di Cauchy, come si possano calcolare, per una radice di un’equazione algebrica, «valori numerici approssimati arbitrariamente vicini». Tuttavia questo avvicinamento indefinito alla soluzione vale solo in linea di principio, e l’errore di approssimazione non può diventare arbitrariamente piccolo. Gli errori di arrotondamento creano fatalmente, attorno alla radice dell’equazione, un intervallo di incertezza che rende privi di significato i valori numerici calcolati oltre un certo limite di approssimazione: un buon algoritmo potrà fornire, dopo un certo numero di passi, un valore all’interno di quell’intervallo, ma non ha senso cercare di migliorare quel valore calcolandone uno successivo dentro lo stesso intervallo."

Altre considerazioni correlate:Zellini e l'ontologia della matematica
Roberto Natalini e il rapporto tra matematica e realtà
Ma i numeri hanno tutti lo stesso grado di realtà?