Departmental Colloquium
Adam Topaz
University of Alberta
What can we do with formalized mathematics?
Abstract: Recent years have witnessed a significant increase in efforts to
digitize and formalize mathematics. Various motivations underlie this
newfound interest, including the formal verification of complex
mathematical proofs, the construction of cohesive libraries of
mathematical structures and theorems, and the anticipated promise of
interaction with AI. This paradigm shift has enabled mathematicians
working within these formal systems to approach the discipline in new
ways. For many, the formalization of mathematics has even redefined
what they find mathematically meaningful and interesting. This talk
will highlight several key aspects of this new approach to doing
mathematics.
Friday March 1, 2024 at 3:00 PM in 636 SEO