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