How Woodin changed his mind: new thoughts on the Continuum Hypothesis

摘要

The Continuum Problem has inspired set theorists and philosophers since the days of Cantorian set theory. In the last 15 years, W. Hugh Woodin, a leading set theorist, has not only taken it upon himself to engage in this question, he has also changed his mind about the answer. This paper illustrates Woodin's solutions to the problem, starting in Sect. 3 with his 1999-2004 argument that Cantor's hypothesis about the continuum was incorrect. From 2010 onwards, Woodin presents a very different argument, an argument that Cantor's hypothesis is in fact true. This argument is still incomplete, but according to Woodin, some of the philosophical issues surrounding the Continuum Problem have been reduced to precise mathematical questions, questions that are, unlike Cantor's hypothesis, solvable from our current theory of sets.