Уильям Хью Вудин (родился 23 апреля 1955 года) — американский математик и теоретик множеств из Гарвардского университета . Он внес много заметных вкладов в теорию внутренних моделей и детерминированности . Тип больших кардиналов , кардиналы Вудина , носит его имя. В 2023 году он был избран в Национальную академию наук . [1]
Родился в Тусоне , штат Аризона , Вудин получил степень доктора философии в Калифорнийском университете в Беркли в 1984 году под руководством Роберта М. Соловея . Тема его диссертации — «Разрывные гомоморфизмы C(Ω) и теория множеств» . Он занимал должность заведующего кафедрой математики в Беркли в 2002–2003 учебном году. Вудин является главным редактором журнала « Journal of Mathematical Logic» . В 2000 году он был избран членом Американской академии искусств и наук. [2]
Он является правнуком Уильяма Хартмана Вудина , бывшего министра финансов . [ необходима ссылка ]
Он проделал работу по теории универсальных мультивселенных и связанной с ней концепции Ω-логики , которая предложила аргумент о том, что континуум-гипотеза либо неразрешима, либо ложна в смысле математического платонизма . Вудин критикует эту точку зрения, утверждая, что она приводит к контринтуитивной редукции, в которой все истины в теоретико-множественной вселенной могут быть определены из небольшой ее части. Он утверждает, что эти и связанные с ними математические результаты приводят (интуитивно) к выводу о том, что континуум-гипотеза имеет истинностное значение , а платоновский подход является разумным.
Вудин теперь предсказывает, что должен быть способ построения внутренней модели для почти всех известных больших кардиналов, которую он называет Ultimate L и которая будет иметь схожие свойства с конструируемой вселенной Гёделя . В частности, гипотеза континуума будет верна в этой вселенной. [3]
В 2008 году Вудин прочитал лекцию Гёделя под названием «Гипотеза континуума, гипотеза и проблема внутренней модели одного суперкомпактного кардинала».
В 2018 году он был преподавателем Тарского .