banner_principal unam_morelos
2017-11-18  02:23 hrs.

Introduccion a las pruebas de independencia

Michael Hrusak
IMATE Ciudad Universitaria


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 los axiomas comunes de la teoría de conjuntos. Presentaremos ejemplos de tales enunciados provenientes de varias ramas de las matemáticas.


 
 
 

Palapa Guillermo Torres -- Miércoles 13 de mayo de 2015, 12:00 horas


unam campus morelos Unam Campus Morelos IBT CCG CIE FIS CRIM MATCUER
Unidad Cuernavaca del Instituto de Matemáticas UNAM