The importance of Mathematics è una conferenza di Timoty Gowers tenuta a Parigi nel 2000 durante il Millennium Meeting organizzato dal
Clay Institute of Mathematics. Non parla molto di logica (spiega solo un po' il problema P=NP - che appartiene anche al campo della logica). Il vero interesse sta nelle riflessioni sulla
sociologia e economia della matematica. Io la trovo una conferenza esemplare. (Attenzione, è un file pesante: 375MB. Non so come produrre uno stream con questo server, quindi bisogna prima scaricarlo.)
Nelle dispense ho scritto che solo le teorie
consistenti hanno qualche interesse. Questo è senza dubbio vero per i matematici. I filosofi invece hanno provato a distinguere tra contraddizione e contraddizione. Hanno sviluppato le
logiche paraconsistenti. Sono logiche in cui non vale la regola ex falso sequitur quodlibet, in queste logiche non tutte le contraddizioni sono tra loro logicamente equivalenti. La semantica di tali logiche non mi è chiara.
