Speaker:
María Inés de Frutos Fernández
Zugehörigkeit:
Universität Bonn
Datum:
Don, 30/01/2025 - 15:00 - 16:00
Mathematical formalization is the process of digitizing mathematical definitions and results using a "proof assistant", a computer program capable of checking logical statements against a set of inference rules and some basic axioms. In recent years, the community of mathematicians working on formalization has grown rapidly and has reached milestones that demonstrate the ability to formalize results at the frontier of knowledge. Proof assistants have applications to mathematical research, teaching, and communication.