Mathematics and Philosophical Reflection (PhD)
Programma
Mathematics and Truth
This module explores the concept of mathematical truth in light of the main schools of thought in the philosophy of mathematics and the foundational results of 20th-century logic, with particular focus on Gödel’s incompleteness theorems and the philosophical significance of the limits of formalization. Through a both technical and conceptual approach, the course aims to highlight the epistemic, ontological, and methodological implications that emerge from the complex relationship between truth, provability, and formal systems.
Obiettivi formativi
The module aims to develop a critical understanding of the notion of mathematical truth, with particular focus on the philosophical implications of Gödel’s incompleteness theorem.
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 |