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.