Lunedì 15 aprile 2019, alle ore 21.00, presso l’Aula Goldoniana del Collegio Ghislieri di Pavia (Piazza Ghislieri, 5), si terrà il terzo incontro del ciclo “Teoria della dimostrazione: tra matematica e filosofia”, finanziato dall’Università di Pavia per la promozione delle attività culturali e ricreative degli studenti.
L’appuntamento con:
Metodi formali per la pratica matematica
Prof. MARCO MAGGESI, Università di Firenze
Il calendario completo degli incontri:
- MARTEDÌ 2 APRILE – Ore 21
I topoi di Grothendieck come ‘ponti’ unificanti in matematica
Prof. OLIVIA CARAMELLO, Università dell’Insubria
- MARTEDÌ 9 APRILE – Ore 21
Teoria della dimostrazione: un’introduzione
Prof. PIERLUIGI MINARI, Università di Firenze
- LUNEDÌ 15 APRILE – Ore 21
Metodi formali per la pratica matematica
Prof. MARCO MAGGESI, Università di Firenze
L’iniziativa è organizzata dall’Associazione Matematica pavese in collaborazione con con l’associazione Philosophicum Ghislieri.
Il corso è riconosciuto dalla Scuola IUSS di Pavia, quale attività formativa extra-classe dei Corsi ordinari.
Maggiori informazioni: http://www.matematicapavese.it/Conferenze/Minari.html
