Logica nella Pratica Matematica
Venerdì 19 dicembre 2025 (ore 18:00) e sabato 20 dicembre 2025 (ore 10.00), si terranno i primi due incontri del ciclo "Logica nella Pratica Matematica", con relatore Samuele Maschio, Università di Padova.
Nel corso verranno trattati alcuni aspetti relativi agli aspetti logici nella pratica dimostrativa in matematica. In particolare, sarà introdotto 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).
Si parlerà poi di principi di induzione, nelle loro diverse forme (base/passo, principio del minimo, discesa infinita), e del loro legame con la ricorsione. Infine si dedicherà uno spazio all’assioma di scelta e alle sue manifestazioni in matematica.