Jump to content

Роберт Лоусон Воот

Роберт Лоусон Воот
Воот в 1974 году
Рожденный ( 1926-04-04 ) 4 апреля 1926 г.
Умер 2 апреля 2002 г. (02 апреля 2002 г.) (75 лет)
Национальность Американский
Альма-матер Калифорнийский университет, Беркли
Научная карьера
Поля Математика
Учреждения Калифорнийский университет, Беркли
Диссертация Темы теории арифметических классов и булевых алгебр   (1954)
Докторантура Альфред Тарский
Докторанты Джеймс Баумгартнер
Рональд Феджин
Джулия Найт
Джек Сильвер
Майкл Д. Морли (де-факто)

Роберт Лоусон Воот (4 апреля 1926 — 2 апреля 2002) — математический логик и один из основоположников теории моделей . [1]

Жизнь [ править ]

В юности Воут был музыкальным вундеркиндом, в его случае он играл на фортепиано. Он начал свое обучение в колледже Помона в возрасте 16 лет. Когда Вторая мировая война разразилась , он поступил на службу в ВМС США , которые определили его для участия в Калифорнийского университета программе V-12 . Он окончил университет в 1945 году со степенью бакалавра физики.

В 1946 году он защитил докторскую диссертацию. по математике в Беркли. Первоначально он работал под руководством тополога Джона Л. Келли , писавшего об алгебрах C* . В 1950 году в ответ на давление маккартистов Беркли потребовал от всех сотрудников подписать клятву верности . Келли отказался и на три года перенес свою карьеру в Тулейнский университет . Затем Воот начал заново под руководством Альфреда Тарского , завершив в 1954 году диссертацию по математической логике под названием «Темы теории арифметических классов и булевых алгебр» . Проведя четыре года в Вашингтонском университете , Воот вернулся в Беркли в 1958 году, где оставался до выхода на пенсию в 1991 году.

В 1957 году Воот женился на Мэрилин Мака; у них было двое детей.

Работа [ править ]

Работа Воота в первую очередь сосредоточена на теории моделей . В 1957 году он и Тарский представили элементарные подмодели и характеризующий их критерий Тарского-Вота . В 1962 году он и Майкл Д. Морли впервые разработали концепцию насыщенной структуры . Его исследования счетных моделей теорий первого порядка привели его к гипотезе Вота, утверждающей, что число счетных моделей полной теории первого порядка (на счетном языке) всегда либо конечно, либо счетно бесконечно, либо равно действительному числу. цифры. Теорема Воота «Никогда 2» утверждает, что полная теория первого порядка не может иметь ровно две неизоморфные счетные модели.

Своей лучшей работой он считал статью «Инвариантные множества в топологии и логике». [ нужна ссылка ] , вводя преобразование Воота . Он известен критерием Тарского-Вота для элементарных подструктур, теоремой Фефермана-Вота , тестом Лоша-Вота на полноту и разрешимость, двухкардинальной теоремой Вота, а также своей гипотезой о неограниченной аксиоматизируемости полностью категоричных теорий (эта работа в конечном итоге привело к теории геометрической устойчивости ).

См. также [ править ]

Примечания [ править ]

Ссылки [ править ]

Внешние ссылки [ править ]

  • Роберт Лоусон Вот в проекте «Математическая генеалогия»
  • Аддисон, JW (осень 2002 г.). «В память о Роберте Лоусоне Воте» (PDF) . Информационный бюллетень Беркли по математике . п. 13.
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 0e67ed6b2030c3daab744271f1f99072__1602688860
URL1:https://arc.ask3.ru/arc/aa/0e/72/0e67ed6b2030c3daab744271f1f99072.html
Заголовок, (Title) документа по адресу, URL1:
Robert Lawson Vaught - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)