Libri di Lolli

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.

Il fascino discreto della matematica. Calvino, l'Oulipo e Bourbaki Lolli Gabriele   -  Edizioni Ets, 2021  -  Analitica

La combinatoria, o matematica discreta, applicata alla produzione letteraria, era l'armamentario teorico dell'Oulipo (Ouvroir de Littérature Potentielle) di Raymond Queneau e Georges Perec, che trovavano nei vincoli grammaticali e strutturali una sfida e uno stimolo all'immaginazione. E Italo Calvino, sensibile anch'egli al fascino, discreto, della combinatoria applicava il principio della "molteplicità potenziale" alle sue produzioni mature. Ma la 'constrainte' più forte è quella dell'organizzazione deduttiva del discorso, applicata da Bourbaki per la nuova matematica. Da essa gli Oulipiani hanno imparato e realizzato in alcune creazioni sperimentali la tecnica di trasformare uno scritto matematico in uno letterario, come Henri Poincaré trasformava con un'interpretazione logica una figura geometrica euclidea in un modello della geometria non euclidea. In questo libro l'autore applica la stessa tecnica oulipiana, all'inverso, al saggio Cibernetica e fantasmi di Calvino trasformandolo in una riflessione di filosofia matematica, dove i teoremi sono narrazioni, l'inconscio li produce lavorando combinatorialmente sulle idee e i miti generano dimostrazioni.