Pruebas de consistencia
Ponente: Michael Hrusak
Institución: CCM Morelia e IM-UNAM
Institución: CCM Morelia e IM-UNAM
When |
Oct 07, 2014
from 12:00 PM to 01:00 PM |
---|---|
Where | Auditorio "Alfonso Nápoles Gándara" |
Add event to calendar |
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.