Examination procedure
<p>Seminar</p>
Examination procedure notes
<p>The exam will take the form of a seminar, focused on a topic previously agreed upon with the professor.</p>
Syllabus
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.