Lolli, Gabriele

Persona

Gabriele Lolli al Festivaletteratura 2011 - ©Festivaletteratura

Gabriele Lolli dal 2008 è professore ordinario di Filosofia della matematica alla Scuola Normale di Pisa. Si è laureato in matematica all'Università di Torino ed è specializzato in Logica matematica alla Yale University. Ha insegnato al Politecnico di Torino e nelle Università di Salerno, Genova e Torino, per i corsi di laurea in matematica, informatica, filosofia e psicologia. I suoi interessi di ricerca hanno riguardato inizialmente la teoria assiomatica degli insiemi, quindi le applicazioni della logica all'informatica, all'intelligenza artificiale e alle scienze cognitive. A partire dagli anni ottanta si è occupato della storia e della filosofia della matematica e della logica. Attualmente i suoi studi si concentrano sulla dimostrazione matematica.

Gabriele Lolli has been a full professor of Philosophy of Mathematics at the Scuola Normale in Pisa since 2008. He graduated in mathematics at Turin University and specialised in Mathematical Logics at Yale University. He taught at the Politecnico in Turin and the universities of Genoa, Turin, Salerno, giving lectures on mathematics, computer science, philosophy and psychology. His initial research focused on axiomatic set theories, and later shifted to applications of logic and computer science, artificial intelligence and cognitive sciences. Since the 80's he has dealt with history and philosophy of, mathematics and logic. His current work concentrates on mathematical demonstration.

Bibliografia

"Teoria assiometrica degli insiemi. Insiemi costruibili e modelli booleani", Bollati Boringhieri, 1974
"Categorie, universi e principi di riflessione", Bollati Boringhieri, 1977
"Lezioni di logica matematica", Bollati Boringhieri, 1978 (1978)
"Matematica e calcolatore", a cura di Gabriele Lolli e Corrado Mangione, Le scienze, 1984
"Le ragioni fisiche e le dimostrazioni matematiche", il Mulino, 1985
"La macchina e le dimostrazioni. Matematica, logica e informatica", il Mulino, 1987
"Introduzione alla logica formale", il Mulino, 1991
"Cos'e la logica matematica. Filosofia della logica", Franco Muzzio, 1992
"Intelligenza meccanica", a cura di Gabriele Lolli, Bollati Boringhieri, 1994
"Dagli insiemi ai numeri. Storia e assiomatica della teoria degli insiemi", Bollati Boringhieri, 1994
"Capire la matematica", il Mulino, 1996
"Beffe, scienziati e stregoni. La scienza oltre realismo e relativismo", il Mulino, 1998
"Il riso di Talete", Bollati Boringhieri, 1998
"La crisalide e la farfalla. Donne e matematica", Bollati Boringhieri, 2000
"Filosofia della matematica", il Mulino, 2002
"Da Euclide a Gödel", il Mulino, 2004 (2010)
"QED. Fenomenologia della dimostrazione", Bollati Boringhieri, 2005
"Guida alla teoria degli insiemi", Springer Verlag , 2008
"Sotto il segno di Gödel", il Mulino, Bologna, 2007
"La complessità di Gödel", Atti del Convegno di Torino, aprile 2006 a cura di G. Lolli e U. Pagallo, Giappichelli, 2008
"Guida alla teoria degli insiemi", Springer, 2008
"Discorso sulla matematica. Una rilettura delle Lezioni americane di Italo Calvino", Bollati Boringhieri, 2011
Godel Kurt, "Scritti scelti. 1933-1964", a cura di Gabriele Lolli, Bollati Boringhieri, 2011

Cerca nel catalogo della Rete bibliotecaria mantovana