UNAM
Usted está aquí: Inicio / Actividades académicas / Seminarios en C.U. / Seminario de Becarios / Actividades del Seminario de Becarios / Forcing ¿cómo debería ser el mundo?

Forcing ¿cómo debería ser el mundo?

Luis Turcio - miércoles 10 de octubre de 2012, 18hrs.

Cuándo 10/10/2012
de 18:00 a 19:00
Dónde Sala de café, Instituto de Matemáticas
Nombre Luis Turcio Cuevas
Agregar evento al calendario vCal
iCal

La teoría de conjuntos nació un diciembre cuando Cantor probó que existían más números reales que números naturales. Junto con este teorema surge la pregunta ¿qué tan distante es el cardinal de los naturales de el de los reales? Con esta pregunta Cantor formuló la hipótesis del continuo (CH) en 1978, misma que lo llevo a la demencia. Tiempo después, en1940, Gödel responde parcialmente esta pregunta, probando que "CH puede ser verdadera". Pero igual que Cantor no pudo resolverla totalmente y también lo llevo a la locura. No fue sino hasta 1963 que Cohen demuestra que también es posible que sea falsa mediante una innovadora técnica llamada forcing que después de algunas modificaciones se ve su gran potencial no sólo de resolver problemas de la teoría de conjuntos sino de otras ramas como la topología, el álgebra y el análisis. Hoy en día es posible preguntarse ¿hay algún problema en matemáticas que forcing no pueda resolver? En esta platica veremos una introducción intuitiva a dicha técnica y veremos algunos ejemplos.

Más información sobre este evento…

archivado en: