Вудин, Уильям Хью

Уильям Хью Вудин родился в Тусоне, штат Аризона, в семье Энн (в девичестве Сноу) и Уильяма Вудина III. Он является правнуком министра финансов США Уильяма Хартмана Вудина. Отец Хью был исполнительным директором Музея пустыни Аризона-Сонора^[2].

Вудин получил степень бакалавра в Калифорнийском технологическом институте в 1977 году. В 1984 году он получил степень доктора философии в Калифорнийском университете в Беркли под руководством Роберта М. Соловея. Тема его диссертации — «Разрывные гомоморфизмы C(Ω) и теория множеств» (англ. Discontinuous Homomorphisms of C(Ω) and Set Theory)^[3].

В 1985 году Вудин стал профессором Калифорнийского технологического института^[4]. Он работал там до 1988 года^[5], после чего перешёл в Калифорнийский университет в Беркли.

В 2002—2003 учебном году он занимал должность заведующего кафедрой математики в Беркли. Вудин является ответственным редактором журнала Journal of Mathematical Logic. В 2015 году он ушёл на пенсию из Беркли и перешёл в Гарвардский университет.

В 2000 году он был избран членом Американской академии искусств и наук.

Ранние математические работы Вудина были посвящены связи между теорией множеств и теорией банаховых алгебр. В 1980-х годах он внёс вклад в изучение аксиомы детерминированности (AD) с помощью теории внутренних моделей. Это привело к определению точной силы непротиворечивости AD относительно стандартной иерархии больших кардинальных чисел^[6].

Вудин работал над теорией обобщённых мультивселенных и связанной с ней концепцией Ω-логики. Эта концепция предполагала, что континуум-гипотеза либо неразрешима, либо ложна в смысле математического платонизма. Вудин критикует эту точку зрения. Он утверждает, что она ведёт к неинтуитивной редукции, при которой все истины в теоретико-множественной вселенной могут быть выведены из её небольшой части. По его мнению, эти и связанные с ними математические результаты интуитивно приводят к выводу, что континуум-гипотеза имеет истинностное значение, а платонистский подход обоснован.

Вудин предполагает, что должен существовать способ построения внутренней модели для почти всех известных больших кардинальных чисел. Эту модель он называет Ultimate L. Она должна обладать свойствами, аналогичными конструктивной вселенной Гёделя. В частности, континуум-гипотеза в этой вселенной была бы истинной^[7].

В 2008 году Вудин прочитал гёделевскую лекцию на тему «Континуум-гипотеза, гипотеза и проблема внутренней модели одного суперкомпактного кардинала» (англ. The Continuum Hypothesis, the Conjecture, and the inner model problem of one supercompact cardinal). В 2010 году он был пленарным докладчиком на Международном конгрессе математиков в Хайдарабаде^[8]. В 2018 году он прочитал лекции Тарского.