TRAMA:

Il libro comincia con un paradosso: “La matematica dimora nel cuore dell’uomo, ma in questa casa è straniera”. La seconda parte dell’enunciato è una verità quasi evidente, basta notare che di fronte alla domanda: “Scusi, per lei cosa è la matematica?” si ottengono, per la maggior parte, reazioni di smarrimento e imbarazzo. Per dimostrare la prima parte dell’enunciato, invece, bisogna innanzi tutto definire la matematica. La scienza in generale è l’insieme di tutte le teorie, caratterizzate da coerenza, uniformità degli argomenti trattati, verità delle proposizioni elencate. La matematica è l’insieme di tutte le teorie per le quali i procedimenti di verificazione non richiedono l’esperienza, anche se bisogna sottolineare che l’esperienza non è estranea ai processi di formazione. La matematica non è solo una tecnica, ma una forma completa e autonoma di conoscenza.

Il metodo caratteristico di cui si avvale la matematica per raggiungere la sua verità è il metodo assiomatico-deduttivo: infatti, dimostrare un teorema significa far vedere, con una serie di ragionamenti, che esso non è che una conseguenza degli assiomi. Fino al XIX secolo, gli assiomi erano considerati come sentenze inoppugnabili a causa della loro grande evidenza, ma i moderni sistemi di assiomi sono slegati dalla realtà e gli oggetti matematici sono involucri contenenti certe cariche di comportamenti logici. Tutto ciò fece affermare a Russell che la matematica è quella scienza nella quale non si sa di che cosa si parla e non si sa se ciò che si dice è vero.

La matematica ha molteplici applicazioni: è il linguaggio naturale della fisica, ma serve anche per lo studio dei fenomeni sociali. Essa si serve della logica, un codice che garantisce l’oggettività del linguaggio. Aristotele sembra essere stato il primo pensatore ad occuparsi dello studio sistematico delle leggi dell’inferenza logica, della quale la matematica era considerata un capitolo. Ma l’origine di tutti i guai sono stati gli Elementi di Euclide. In quest’opera compaiono cinque assiomi: i primi quattro evidenti e semplicissimi, il quinto no, ha tutta l’aria di essere un teorema. Nel XVIII secolo, Saccheri sviluppa una geometria con cinque assiomi: i primi quattro corrispondono a quelli di Euclide, il quinto è la negazione del quinto degli Elementi. Saccheri era convinto che sarebbe giunto ad una contraddizione, ma i risultati cui perviene sono mostruosi unicamente nella misura in cui contraddicono l’intuizione. Se si ammette che gli assiomi si riferiscono ad una “realtà”, Saccheri ha raggiunto il suo scopo, ma più avanti Bolyai e Lobatchewsky arrivarono, per questa strada, alla scoperta delle geometrie non euclidee. Si arrivò a dimostrare che le geometrie non euclidee e la geometria euclidea sono così legate, che una eventuale contraddizione delle une avrebbe potuto dare luogo ad una contraddizione anche nell’altra.

Hilbert e Study successivamente dimostrarono che è possibile trasformare ogni teorema di geometria euclidea in un corrispondente teorema di aritmetica. Perciò i matematici decisero di salvare l’aritmetica dalla contraddizione, radicandola nella logica. Verso il 1870, Frege pose mano a questa titanica impresa, ma Russell scoprì nel suo lavoro almeno una proposizione legittima eppure autocontraddittoria e rase al suolo la dottrina che pretendeva di eliminare a priori non solo le proprie contraddizioni, ma anche quelle delle dottrine vassalle, come l’aritmetica.

Fu ancora Russell a indicare la strada giusta per il superamento della crisi dei fondamenti, istituendo una teoria che stabilisce un certo insieme di proibizioni nella composizione delle frasi. La via giusta per uscire dalla crisi era quella di adoperare la matematica per giustificare la logica e non viceversa. Le risposte vennero trovate in pochi decenni, attraverso i lavori di molti ricercatori: si isolarono tutte le regole grammaticali del linguaggio matematico e vennero scritti simbolicamente gli assiomi della logica, per il cui uso vennero fissate poche regole di inferenza. L’incompletezza e l’indecidibilità furono uno dei passi nella soluzione della crisi e in questo senso, i teoremi di Gödel e di Church gettano una luce completamente nuova sui “problemi difficili della matematica”. 

La crisi dei fondamenti è la dimostrazione che i momenti più importanti dell’evoluzione della matematica nei secoli sono quelli nei quali la travolgente potenza della verità costringe gli uomini matematici a cambiare rotta e ogni rinuncia al mondo vecchio non è mai stata altro che la conquista di un mondo nuovo.

 

COMMENTO:

Libro semplice e curioso. Può andar bene anche per “palati” poco abituati a discorsi filosofici e logici.