Aggregatore Risorse Aggregatore Risorse

Teoria della dimostrazione: tra matematica e filosofia

Programma

MARTEDÌ 2 APRILE - ore 21

I topoi di Grothendieck come ‘ponti’ unificanti in matematica

prof. OLIVIA CARAMELLO, Università dell’Insubria

MARTEDÌ 9 APRILE - ore 18

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

Relatore

prof. OLIVIA CARAMELLO, Università dell’Insubria

prof. PIERLUIGI MINARI, Università di Firenze

prof. MARCO MAGGESI, Università di Firenze

Tipo : Attività formativa extra ambito riconosciuta

Classe : Scienze Umane e della Vita

Per Allievi di Scienze Sociali e Scienze Biomediche

Luogo : Collegio Ghislieri Aula Goldoniana Piazza Ghislieri n. 5 Pavia

Durata : 6 ore