academic year 2023/24

Academic Coordinator: Andrea Tabarroni

Period: Second semester

Duration: 14 hours

Program: 

The course aims to delve deeper into the topics introduced in the previous course on Foundations and Methods of Mathematical Rigor. With contributions from leading specialists, it will offer an overview of fundamental issues still open in formal rigorous disciplines, such as:

• The ontology of mathematical objects
• Formal certification
• The fallibilism of mathematical proofs
• The problem of foundations
• The ethics of Artificial Intelligence