Part 2 here. Part 1: What is Forcing? Forcing is a set-theoretic technique developed by Paul Cohen in the 1960s to prove the independence of the Continuum Hypothesis from ZFC. He won a Fields Medal as a result, and to this day it’s the only Fields Medal to be awarded for a work in logic. … Continue reading Forcing and the Independence of CH (Part 1)
