Modalità d'esame
<p>Seminario</p>
Note modalità di esame
<p>L'esame si svolgerà sotto forma di seminario, incentrato su un tema previamente concordato con il docente.</p>
Programma insegnamento
Matematica e verità
Il modulo esplora il concetto di verità matematica alla luce delle principali correnti della filosofia della matematica e dei risultati fondamentali della logica del XX secolo, con particolare attenzione ai teoremi di incompletezza di Gödel e al significato filosofico dei limiti della formalizzazione. Attraverso un approccio sia tecnico che concettuale, il corso intende mettere in evidenza le implicazioni epistemiche, ontologiche e metodologiche che emergono dal complesso rapporto tra verità, dimostrabilità e formalizzazione.