Charla 107: The Mechanization of Mathematics
Date
2022-12-14
Conferencista: Yésica Mesa. Estudiante de Matemáticas, Uptc.
Fecha: Miércoles 14 de diciembre de 2022, 3:00 p.m.
Lugar: C-119
Resumen: En informática, se utilizan métodos formales para especificar, desarrollar y verificar hardware y software. Jeremy Avigad, en su artículo The Mechanization of Mathematics, publicado en Notices of the AMS en 2018, da su opinión de cómo estos métodos pueden ayudar a probar conjeturas matemáticas. En esta charla se describe parte de la historia y se presentarán algunos ejemplos donde fue necesario el uso de la computadora para probar y verificar algunas conjeturas matemáticas.
