The Meaning of Proofs: Mathematics as Storytelling

Gabriele Lolli was Professor of Mathematical Logic from 1975 to 2008 in the Computer Science Department of the University of Turin and Professor of Philosophy of Mathematics in Scuola Normale Superiore in Pisa from 2008 until his retirement in 2014. He is the author of many books, including Discorso sulla matematica, which proposes a mathematical reading of Italo Calvino's Six Memos for the Next Millennium.