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

Locandina

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

Sito Collegio Ghislieri

Condividi su: