UNAM

Pruebas de consistencia

Ponente: Michael Hrusak
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.

Filed under: