Adam Topaz : What can we do with formalized mathematics?

Posted by James Freitag , part of the Departmental Colloquium.

At

March 1, 2024, 3 p.m.

In

636 SEO

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.