Correo interno
Pruebas de consistencia
Ponente: Michael Hrusak
Institución: CCM Morelia e IM-UNAM
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.