What Is... Seminar
Wednesday, September 25, 2013 - 5:30pm
Malott 207
In the 1960s, Cohen developed his method of forcing to prove that the Continuum Hypothesis is not a theorem of ZFC. Since then forcing has become a standard tool in set theory. I will give an overview of the method of forcing and discuss some of its applications.