Logica nella pratica matematica
DOCENTE
Samuele MASCHIO, Università di Padova
Nel corso tratteremo alcuni aspetti relativi agli aspetti logici nella pratica dimostrativa in matematica. In particolare, introdurremo il calcolo della deduzione naturale per la logica del primo ordine, per rappresentare i meccanismi logici di base su cui poggiano le dimostrazioni, dedicando particolare attenzione al principio del terzo escluso e alle sue manifestazioni più rilevanti nella pratica matematica (dimostrazione per assurdo e contronominale). Parleremo poi di principi di induzione, nelle loro diverse forme (base/passo, principio del minimo, discesa infinita), e del loro legame con la ricorsione. Infine dedicheremo uno spazio all’assioma di scelta e
alle sue manifestazioni in matematica.
ISCRIVI AL CORSO > QUI
