La lógica al servicio de las matemáticas, o cómo es que mi computadora puede entender álgebra
Institución: Facultad de Ciencias, UNAM
Tipo de Evento: Human Resource Training, Divulgation
When |
Mar 31, 2016
from 11:00 AM to 12:00 PM |
---|---|
Where | Auditorio "Alfonso Nápoles Gándara" |
Add event to calendar |
vCal iCal |
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.
En esta plática hablaremos brevemente de los fundamentos lógicos de esta clase de programas, su relevancia en matemáticas y además haremos una breve demostración de su uso mediante ciertos ejemplos en el ámbito de las estructuras algebraicas.