UNAM

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: