Conferencia
19.00 horas
Formalización de matemáticas en demostradores interactivos de teoremas
D. Jose Divasón Mallagaray
Universidad de La Rioja
Resumen
Los demostradores interactivos de teoremas nos ayudan a probar formalmente resultados matemáticos con un ordenador. A pesar de que existen desde hace décadas y de que en los últimos años están teniendo un crecimiento importante, son todavía unos grandes desconocidos para la gran mayoría de matemáticos.
En esta charla presentaremos estos sistemas de un modo divulgativo para intentar acercarlos a la figura del "matemático puro", incidiendo en la historia (pasado, presente y futuro), los fundamentos matemáticos subyacentes (lógicas, teorías de tipos, etc.), además de qué y cómo se puede demostrar con ellos.
Para quién
Público en general.
Entrada libre hasta completar aforo
Organiza
© Imagen destacada de Michael Dziedzic
Etiquetas
Categorías
Noticias relacionadas
El Comité de Asesoramiento Científico del IQUR se reúne el lunes 19 de enero en la Universidad de La Rioja
La UR dona 4.800 € a la Confederación Estatal y a la Asociación de Personas Sordas de La Rioja
Actividades relacionadas
