Seminar: Metin Ersin Arıcan - Formal Mathematics: An Introduction (Feb 27, 2026)

Formal Mathematics: An Introduction
Metin Ersin Arıcan

We will explore formal mathematics, clarifying what it is and what it is not, and discuss the role of computers and AI in the future of mathematics. The seminar will introduce the basics of Per Martin-Löf's dependent type theory and summarize the current state of formalized mathematics and AI tools. We will also discuss the philosophical implications of formalization and its potential impact on the future of mathematical research.