|
La lógica al servicio de las matemáticas.Expositor: Favio Miranda Perea. Facultad de Ciencias UNAM ,Jueves 31 de marzo de 2016, 11:00 horas. Cuando uno piensa en las matemáticas en relación a la computadora por lo general uno apunta hacia las calculadoras o hacia los sistemas como Maple o Mathematica, que nos permiten automatizar cómputos tediosos, numéricos o simbólicos. Sin embargo, la lógica matemática ha posibilitado la implementación de programas conocidos como asistentes de prueba, los cuales permiten hacer demostraciones matemáticas complicadas, por ejemplo del teorema de Feith-Thompson en teoría de los grupos, ganando la certeza de que dichas demostraciones son correctas.
|
|
Nudos, Espejos y Piñatas.Expositor: José Luis Cisneros. IM-UNAM Jueves 17 de Marzo de 2016, 11:00 horas. En esta plática hablaremos un poco de teoría de nudos, geometrías no euclidianas y otras cosas.
|