Introducción a la técnica de Forcing

Ponente(s): David Alvarado Cortés
La técnica de Forcing fue presentada por Paul Cohen para su demostración de la consistencia de la negación de HC con ZFC. Desde ese momento se convertiría en una herramienta de gran importancia para la matemática. En ésta plática se presentará material necesario para poder acercarse a dicha técnica y mostrar su relevancia, considerando que dado a su complejidad no habrá de adentrarse en demasiados detalles.