Libri di Gabriele Lolli
Bibliografia di Gabriele Lolli: tutti i libri in vendita online con argomento Matematica Storia Storia della matematica
La crisalide e la farfalla. Donne e matematica Lolli Gabriele - Bollati Boringhieri, 2000 - Variantine
Il libro è una riflessione su quello che si è perduto con l'esclusione dalla matematica delle donne, che fino a tempi recenti hanno avuto una parte trascurabile nel suo sviluppo, anche se nel corso dell'ultimo secolo hanno cominciato a conquistarsi un ruolo paritario. L'esposizione presenta le informazioni che nel corso degli anni l'autore è venuto accumulando assorbendole dal suo ambiente, attraverso gli incontri e le letture. Più che un lavoro erudito questo libro vuole essere una testimonianza offerta all'interesse non solo di colleghi matematici ma soprattutto d'insegnati e di educatori.
La Guerra dei Trent'anni (1900-1930). Da Hilbert a Godel Lolli Gabriele - Edizioni Ets, 2011 - Analitica
Nelle lezioni contenute in questo volume si descrive e si analizza la formazione della logica del primo ordine nel periodo 1900-1930. Si seguono due temi, che emergono dai problemi della assiomatizzazione delle teorie matematiche, e in particolare della teoria degli insiemi, all'inizio del secolo. Il primo è la chiarificazione e la distinzione dei concetti di completezza deduttiva di una teoria e di completezza logica. Il secondo è quello del programma di Hilbert, che si articola e si definisce nel corso degli anni Venti. La storia avventurosa del teorema di completezza logica con i suoi equivoci e incomprensioni, e la passione delle polemiche aspre di Hilbert con l'intuizionismo di L. Brouwer fanno della costituzione della logica come disciplina un episodio esemplare del processo di crescita della matematica. Nella seconda parte del volume si dà una dimostrazione dettagliata del primo teorema di incompletezza di Gödel, che almeno una volta nella vita, diceva Alonzo Church, occorre aver visto. Nel momento in cui Gödel dimostra fattibile il programma di Hilbert con l'aritmetizzazione, nel 1930, sancisce anche l'impossibilità degli obiettivi che si proponeva.