Logica e filosofia della Scienza - Matematica e riflessione filosofica (PhD)
Programma
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.
Obiettivi formativi
Il modulo mira a sviluppare una comprensione critica della nozione di verità matematica, con particolare attenzione alle implicazioni filosofiche dei teoremi di incompletezza di Gödel.
Moduli
| Modulo | Ore | CFU | Docenti |
|---|---|---|---|
| Modulo 2: Che cos'e una dimostrazione (per ordinari e PhD) | 20 | 3 | Mario Piazza |
| Modulo 3: Matematica e verità (per PhD) | 20 | 3 | Mario Piazza |