The Department of Mathematics will host the 2025 Tarski Lecture: Professor Jeremy Avigad, Carnegie Mellon University will be the speaker
How Mathematics Works
Abstract: Because logic offers a rigorous framework for studying mathematical language and inference, it provides a powerful means of understanding how mathematics works. So does the history of mathematics; seeing how ideas and methods have evolved over the centuries can help us understand the goals of mathematics and the forces that shape its development. Contemporary proof assistants, which support writing mathematical definitions, theorems, and proofs so that they can be processed and checked by computer, provide yet another perspective.
We will consider three important mathematical developments from these perspectives to see what we can learn from them. The lectures are independent of one another and are meant to be accessible to anyone interested in mathematics and mathematical reasoning.
Lecture 1, Monday, April 14, 4:10 pm - 5:00 pm, Banatao Auditorium, Sutardja Dai Hall
Title: Euclid's *Elements* and Diagrammatic Reasoning in Geometry. A reception in honor of the speaker will be held following the first lecture at 5:15 pm in 1015 Evans Hall.
Lecture 2, Wednesday, April 16, 4:10 pm - 5:00 pm, Banatao Auditorium, Sutardja Dai Hall
Title: Dirichlet's Theorem on Primes in an Arithmetic Progression and the Treatment of Functions as Objects
Lecture 3, Thursday, April 17, 4:10 pm - 5:00 pm, 60 Evans Hall (part of Colloquium series)
Title: Dedekind's Theory of Ideals and Modern Algebraic Abstraction
Jeremy Avigad is a professor in the Department of Philosophy and the Department of Mathematical Sciences at Carnegie Mellon University. His research interests include formal methods and AI for mathematics, mathematical logic, and the history and philosophy of mathematics. He is the Director of the Hoskinson Center for Formal Mathematics and he serves on the Board of Directors for the Lean Focused Research Organization.