Collana Matematica - lezione 2 - La logica matematica - Paolo Caressa - settimanale - 158 pagine

- La logica è una disciplina «contesa» tra la filosofia e la matematica. Se si è sviluppata in modo sistematico a partire dal pensiero logico-deduttivo e dalla struttura dei sillogismi di Aristotele, qui se ne ripercorre l'evoluzione attraverso il recupero della tradizione stoica e i grandi nomi di Augustus De Morgan, George Boole e Giuseppe Peano. Dalla teoria degli insiemi ai diagrammi di Eulero- Venn, dalla dialettica stoica alla logica proposizionale, ci spingeremo nei fertili territori della logica contemporanea, introducendo il calcolo dei predicati, utilizzato da Gödel per dimostrare i suoi celebri teoremi di incompletezza. L'approfondimento storico ci fa incontrare il metodo di Archimede e le applicazioni pratiche delle sue teorie, prima di concludere con gli sfidanti dilemmi dei giochi matematici.