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