Organizadores:
E. Javier Elizondo Huerta
Mucuy-kak Guevara Aguirre

Introduzca parte del título Filtro Limpiar

Cantidad 5 10 15 20 25 30 50 100 200 500 Todas

• Asistentes de prueba y verificación formal

• La lógica al servicio de las matemáticas

• Lógica Matemática

• Un sombrero para Turing

• Un viaje al centro de los fundamentos

• Verdades relativas: Una introducción a las pruebas de consistencia

Sigue la transmisión por Facebook Live en: @Hablando De Matematicas

---

Jueves, Junio 11, 2026

• Universidad Nacional Autónoma de México
• Instituto de Matemáticas
• Departamento de Cómputo