Nel 1930 i teoremi di incompletezza di Kurt Gödel cambiarono il corso della filosofia della scienza. La dimostrazione per cui in una teoria soddisfacente certe condizioni minime è possibile costruire una proposizione che non può essere né dimostrata né confutata all’interno della teoria rappresenta uno dei cardini del pensiero scientifico. L’annuncio dei due teoremi al convegno di Königsberg, dedicato all’epistemologia e alle scienze esatte, infranse il sogno di Leibniz, quel «calcolemus» che doveva risolvere qualsiasi controversia. Una nuova logica fatta anche di antinomie e paradossi si era ormai imposta.
Gabriele Lolli ha insegnato Logica matematica all’Università di Torino, quindi è stato professore di Filosofia della matematica presso la Scuola Normale Superiore di Pisa. Tra i suoi libri: «Discorso sulla matematica» (Bollati Boringhieri, 2011), «Tavoli, sedie e boccali di birra» (Cortina, 2016); per il Mulino ha fra l’altro pubblicato «Sotto il segno di Gödel» (2007), «Ambiguità» (2017) e «Matematica come narrazione» (2018).