Роберт Лоусон Вот (4 апреля 1926 г. – 2 апреля 2002 г.) был математическим логиком и одним из основателей теории моделей . [1]
В юности Воут был музыкальным вундеркиндом, в его случае он играл на пианино. Он начал свое университетское обучение в колледже Помона в возрасте 16 лет. Когда началась Вторая мировая война , он записался в ВМС США , которые направили его в программу V-12 Калифорнийского университета . Он окончил его в 1945 году со степенью бакалавра по физике.
В 1946 году он начал докторскую диссертацию по математике в Беркли. Первоначально он работал под руководством тополога Джона Л. Келли , работая над алгебрами C* . В 1950 году в ответ на давление маккартистов Беркли потребовал, чтобы все сотрудники подписали клятву верности . Келли отказался и перешел в Тулейнский университет на три года. Затем Воот начал заново под руководством Альфреда Тарского , завершив в 1954 году диссертацию по математической логике под названием «Темы теории арифметических классов и булевых алгебр» . Проведя четыре года в Вашингтонском университете , Воот вернулся в Беркли в 1958 году, где он оставался до своего выхода на пенсию в 1991 году.
В 1957 году Воот женился на Мэрилин Мака; у них родилось двое детей.
Работа Воота в основном сосредоточена на теории моделей . В 1957 году он и Тарский ввели элементарные подмодели и тест Тарского–Воота, характеризующий их. В 1962 году он и Майкл Д. Морли впервые ввели концепцию насыщенной структуры . Его исследования счетных моделей теорий первого порядка привели его к гипотезе Воота, утверждающей, что число счетных моделей полной теории первого порядка (на счетном языке) всегда либо конечно, либо счетно бесконечно, либо равночисленно действительным числам. Теорема Воота «Никогда не 2» утверждает, что полная теория первого порядка не может иметь ровно две неизоморфные счетные модели.
Он считал своей лучшей работой статью «Инвариантные множества в топологии и логике» [ требуется ссылка ] , в которой он ввел преобразование Воота. Он известен тестом Тарского–Воота для элементарных подструктур, теоремой Фефермана–Воота , тестом Лоса–Воота на полноту и разрешимость, двухкардинальной теоремой Воота и своей гипотезой о неконечной аксиоматизируемости тотально категоричных теорий (эта работа в конечном итоге привела к геометрической теории устойчивости).