Ultimo aggiornamento: 17/06/2004

  
     
Gabriele Lolli "LE RAGIONI FISICHE E LE DIMOSTRAZIONI MATEMATICHE", Il Mulino, 1985
Nella "Prefazione" si legge: "La storia della matematica, come e più di quella della scienza, è piatta se scritta da scienziati, e cieca se scritta da filosofi." L'autore si è, in certo qual modo, improvvisato storico e filosofo "per l'insoddisfazione e per l'insofferenza crescente che gli procuravano le letture riguardanti le discipline a cui era interessato, la matematica e la logica".
Il libro è una raccolta sia di saggi inediti, sia di saggi scritti in occasione di convegni, o di recensioni, a cui sono state apportate alcune modifiche per trasformarli nei vari capitoli. E' inedito il seguente: "Le forme della logica: G.Vailati". Gli altri capitoli sono:
-"Le ragioni fisiche e le dimostrazioni matematiche" (pubblicato in "Scienza e Storia", "Quaderni di Critica Marxista", Roma, Editori Riuniti, 1980);
-"<<Quasi alphabetum>>: logica ed enciclopedia in G. Peano" (relazione tenuta al Convegno Internazionale di Storia della Logica organizzato dalla Società Italiana di Logica e Filosofia della Scienza, San Gimignano, 4-8 dicembre 1982; pubblicato in inglese negli Atti del Convegno, Clueb, 1983);
-"Saccheri e le definizioni <<filiae plurium demonstrationum>>" (testo ampliato di un intervento in occasione delle celebrazioni per il duecentocinquantesimo anniversario della nascita di G. Saccheri, Sanremo, 14-15 ottobre 1983);
-"Georg Cantor" (pubblicato con il titolo "Cantor e la matematica libera" in "Scientia", 1980);
-"L'assioma di scelta" (pubblicato con il titolo "La dinamica storica della logica della matematica: il caso dell'assioma di scelta", in "Scientia", 1983);
-"Da Zermelo a Zermelo" (relazione tenuta al Convegno Internazionale di Storia degli Studi sui Fondamenti della Matematica, Pisa-Tirrenia, 26-31 marzo 1984);
-"La fondazione insiemistica" (testo ampliato di una conferenza tenuta a Torino il 26 marzo 1982 presso il Club Turati);
-"Godel, Church, Turing: decidibile e indecidibile" ( testo ampliato di una conferenza tenuta a Torino il 26 febbraio 1982 presso il Club Turati);
-"Logica e fondamenti della matematica" (pubblicato in "Scientia", 1980);
-"Astrazioni, formule, afasie" (pubblicato su "Intersezioni", 1984);
-"Dimostrazioni ed esperienza matematica" (pubblicato su "Scientia", 1982).
Il primo capitolo inizia con le seguenti parole di Russell: "Il diciannovesimo secolo, che si vantò dell'invenzione del vapore e dell'evoluzione, avrebbe potuto rivendicare un più legittimo titolo di gloria per la scoperta della matematica pura". L'autore commenta che tale "sacrosanta verità, espressa da Russell nel 1901 non è entrata nel patrimonio della cultura scientifica né di quella storica."
Contro le filosofie irrazionaliste della matematica, che sottolineano il fallimento dei progetti ottocenteschi, l'autore illustra i momenti di arricchimento logico: "l'assiomatizzazione della teoria degli insiemi, la disputa sull'assioma di scelta, il ruolo delle definizioni in matematica, la nuova impostazione degli studi sui fondamenti dopo Godel..." dimostrando che la matematica sviluppatasi dalla seconda metà dell'ottocento a oggi rappresenta un'avventura creativa, ricca di esaltanti acquisizioni del pensiero, registrate rigorosamente dalle analisi della logica matematica.