Cambiar a contenido. | Saltar a navegación

Herramientas Personales
Entrar

Navegación

Usted está aquí: Inicio / Actividades / Seminarios / Hablando de Matemáticas / Hablando de Matemáticas / La lógica al servicio de las matemáticas, o cómo es que mi computadora puede entender álgebra

La lógica al servicio de las matemáticas, o cómo es que mi computadora puede entender álgebra

Ponente: Favio Miranda Perea
Institución: Facultad de Ciencias, UNAM
Tipo de Evento: Formación de Recursos Humanos, Divulgación
Cuándo 31/03/2016
de 11:00 a 12:00
Dónde Auditorio "Alfonso Nápoles Gándara"
Agregar evento al calendario 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.

archivado en: