l matematico e filosofo olandese Luitzen Egbertus Jan Brouwer è figura centrale nel dibattito sui fondamenti della matematica dal secolo scorso a oggi. Fondatore della scuola intuizionista, Brouwer rifiuta due principi del ragionamento classico: il terzo escluso e l'uso dell'infinito attuale nelle dimostrazioni. Il corso espone la filosofia matematica di Brouwer attraverso esempi dalla pratica matematica e analizza il frammento proposizionale della deduzione naturale intuizionista nei suoi aspetti sintattici e semantici. Fonte: GOMP
English
Italiano