Gabriele Lolli

Le ragioni fisiche e le dimostrazioni matematiche

La macchina e le dimostrazioni: matematica, logica e informatica

Capire una dimostrazione. Il ruolo della logica nella matematica

Introduzione alla logica formale

Incompletezza. Saggio su Kurt Godel

Capire la matematica

Beffe, scienziati e stregoni. La scienza oltre realismo e relativismo

Filosofia della matematica. L'eredità del Novecento

Da Euclide a Gödel

Sotto il segno di Gödel

Da Euclide a Gödel

Ambiguità. Una viaggio fra letteratura e matematica

Matematica come narrazione

I teoremi di incompletezza

Ritratto di un logico da giovane. Torino 1959-1966

Dagli insiemi ai numeri

Il riso di Talete. Matematica e umorismo

La crisalide e la farfalla. Donne e matematica

QED. Fenomenologia della dimostrazione

Discorso sulla matematica. Una rilettura delle Lezioni americane di Italo Calvino

Se viceversa. Trenta pezzi facili e meno facili di matematica

Numeri. La creazione continua della matematica

QED. Fenomenologia della dimostrazione

Matematica in movimento. Come cambiano le dimostrazioni