What Is... Seminar

Justin MooreCornell University
What is forcing?

Wednesday, March 23, 2016 - 5:30pm
Malott 207

Forcing was a tool developed by Paul Cohen in the 1960s for establishing that the Continuum Hypothesis is not provable. Since that time, a wide variety of mathematical statements have been proved independent of the accepted axioms of mathematics and forcing has been the primary tool used to establish this. At its core, however, forcing can be regarded as a vast generalization of the use of probabilistic tools to construct objects in mathematics, something which may be useful in a much broader context. I will give an introduction to what forcing is and what can be done with it.