mercoledì, maggio 16, 2018

Zenone aveva ragione! - "La matematica degli dèi e gli algoritmi degli uomini" di Paolo Zellini

L'ultima volta ho condiviso considerazioni di Zellini sul tema del realismo in matematica e dall'annoso pitagorico problema dei razionali e degli irrazionali.
Oggi proseguiamo su quel tema riportando le considerazioni di Zellini sui paradossi di Zenone... Ma quindi Zenone aveva ragione?

"In questo mondo capriccioso, nulla è più capriccioso della fama presso i posteri. Una delle più notevoli vittime della mancanza di senno è Zenone di Elea. Malgrado abbia inventato quattro argomentazioni tutte smisuratamente sottili e profonde, la stupidità dei filosofi a lui successivi proclamò che Zenone non era altro che un ingegnoso giocoliere e le sue argomentazioni erano tutte sofismi. Dopo duemila anni di continua confutazione, questi sofismi sono stati nuovamente enunciati, e formarono la base di una rinascita della matematica ad opera di un professore tedesco...
Weierstrass, col bandire rigorosamente tutti gli infinitesimali, ha finalmente dimostrato che noi viviamo in un mondo immutabile, e che la freccia, in ogni singolo istante del suo volo, è realmente in quiete.
Russell (Principles, par. 332) pensava che l’argomento della freccia enunciasse un fatto del tutto elementare, e che il trascurarlo avesse tenuto la filosofia del movimento in un pantano per lunghi secoli. Il suo richiamo a Karl Weierstrass si può spiegare in questo modo: assieme ad Augustin-Louis Cauchy, Weierstrass fu il primo matematico a rifondare con chiarezza l’analisi senza infinitesimi, affermando che

una funzione f(x) tende a un limite L, per x che tende a l, se, in corrispondenza a un dato valore positivo ε comunque piccolo, si può trovare un numero positivo δ (dipendente da ε) tale che la distanza di f(x) da L è minore di ε quando la distanza di x da l è minore di δ. Se L = 0 la funzione f si approssima a 0 per x che tende a l, ma nella definizione si evita appositamente di dire che il valore f(x) diventa infinitesimo.

Scompare allora l’idea del fluire, della tensione dinamica della variabile verso il suo limite, semplicemente perché le variabili, entro i confini disegnati da ε e da δ, non si muovono affatto, assumono soltanto i valori che a loro competono. L’immobilità prevale sul movimento
Si può allora definire la velocità di un corpo in un istante t soltanto come il limite del rapporto tra lo spazio percorso e il tempo di percorrenza al tendere della variabile tempo all’istante t. Questo limite, un semplice numero, è la derivata dello spazio come funzione del tempo di percorrenza all’istante t. In questo modo si potevano evitare le «quantità evanescenti» concepite nei primi sviluppi del calcolo infinitesimale.
...
I numeri razionali e irrazionali, pensati come limiti di variabili, ereditavano la natura effettiva e reale di concetti fisici come la velocità e l’accelerazione. Negli stessi numeri si potevano ravvisare delle entità atomiche paritetiche ai punti della retta. Il movimento poteva essere interpretato attraverso le sole coordinate dello spazio-tempo, e quindi per via di successive posizioni fisse e puntuali. «La meccanica può spiegare il movimento solo attraverso l’immobilità».

Solamente nei numeri, era questa la conclusione importante, si trovava la realtà del continuo spazio-temporale. E i numeri che assolvevano a questo compito potevano essere sia razionali che irrazionali. Di più, l’esistenza dei numeri reali (razionali + irrazionali) sarebbe apparsa, dopo Weierstrass, l’effetto di una libera creazione del matematico, ancorché indotta da proprietà oggettive del corpo numerico. Quale migliore accordo tra pensiero e natura, tra libertà ed effettività?
...
ma la continuità geometrica era già di fatto concepita, grazie alle teorie di Cantor e di Dedekind, come un dominio di numeri attuali. Il disegno dell’aritmetizzazione dell’analisi aveva già atomizzato l’estensione continua. L’attualità poggia infine, nella teoria del continuo numerico, su entità atomiche definite, costituenti un sistema di divisioni reali, di eventi istantanei in relazione con altri eventi collocati in qualche punto del continuo. Tra numeri e punti si stabilisce assiomaticamente una corrispondenza biunivoca, e per il tramite dei numeri i punti dello spazio e gli istanti del tempo acquistano una nuova specie di realtà."

Altre considerazioni correlate:
Zellini e l'ontologia della matematica
Roberto Natalini e il rapporto tra matematica e realtà

Nessun commento: