William Hugh Woodin (born April 23, 1955) is an American mathematician and set theorist at Harvard University.
[citation needed] He has done work on the theory of generic multiverses and the related concept of Ω-logic, which suggested an argument that the continuum hypothesis is either undecidable or false in the sense of mathematical platonism.
Woodin criticizes this view arguing that it leads to a counterintuitive reduction in which all truths in the set theoretical universe can be decided from a small part of it.
He claims that these and related mathematical results lead (intuitively) to the conclusion that the continuum hypothesis has a truth value and the Platonistic approach is reasonable.
[3] In 2008, Woodin held the Gödel Lecture titled The Continuum Hypothesis, the Conjecture, and the inner model problem of one supercompact cardinal.