Cambiar a contenido. | Saltar a navegación

Herramientas Personales
Entrar

Navegación

Usted está aquí: Inicio / Actividades / Coloquios / Coloquio de Ciudad Universitaria / Actividades del Coloquio / Pruebas de consistencia

Pruebas de consistencia

Ponente: Michael Hrusak
Institución: CCM Morelia e IM-UNAM
Cuándo 07/10/2014
de 12:00 a 13:00
Dónde Auditorio "Alfonso Nápoles Gándara"
Agregar evento al calendario vCal
iCal

Resumen:

El propósito de la plática es explicar en rasgos gruesos el método de forcing para demostrar consistencia y/o independencia (o indecidibilidad) de varios enunciados de la axiomas comunes de la teoría de conjuntos. Presentaremos ejemplos de tales enunciados.

archivado en: