Il rigore e l’incertezza: domande filosofiche e metodi matematici
a.a. 2023/24
Responsabile didattico: Andrea Tabarroni
Periodo: secondo semestre
Durata: 14 ore
Programma: Il corso intende approfondire gli spunti emersi nel precedente corso di Fondamenti e metodi del rigore matematico, avvalendosi della collaborazione di specialisti di primo piano per proporre un panorama delle questioni fondamentali tuttora aperte nelle discipline formali rigorose, quali l’ontologia degli oggetti matematici, la certificazione formale, il fallibilismo delle dimostrazioni matematiche, il problema dei fondamenti, l’etica dell’Intelligenza Artificiale.