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.
Güncel Duyurular
Feza Gürsey Enstitüsünün İki Çınarı: İkeda ve İnönü
Seminar: Dmitri Sorokin - Remarks on Invariants of Tensor Fields (Oct 23, 2026)
Seminar: Giulio Aielli - ISU HEPP Lecture Series on Gaseous Detectors (Oct 15, 2026)
Seminar: Keremcan Doğan - Exceptional Drinfel'd Algebroids and Rackoids (May 15, 2026)
Seminar: Cem Yetişmişoğlu – Graded supermanifolds and their applications in physics (May 12, 2026)
Seminar: Hadi Salmasian - Counting (F_q)-points of orbital varieties (May 8, 2026)
Seminar: Bogdan Simeonov – Homological mirror symmetry for orbifold log Calabi-Yau surfaces (Apr 28, 2026)
