Лоуренс Т. Вос был американским математиком , исследователем в Отделе математики и информатики Аргоннской национальной лаборатории . [1]
Ларри Вос | |
---|---|
Родившийся | Лоуренс Т. Вос 1930 г. Чикаго |
Умер | 21 августа 2020 г. |
Известен | доказательство теорем , |
Награды | Премия Хербранда (1992) |
Научная карьера | |
Тезис | О коммутативных подгруппах основной мощности нормы (1957) |
биография
Вос учился в Чикагском университете , получив степень бакалавра в 1950 году и степень магистра математики в 1954 году, а затем поступил в докторантуру Иллинойского университета в Урбана-Шампейн, где в 1957 году получил докторскую степень под руководством Райнхольда Баера . [2] Он присоединился к Аргонне в 1957 году и начал использовать компьютеры для доказательства математических теорем в 1963 году. [3] [4]
Вос был слеп от рождения . Он был заядлым боулером , лучшим слепым боулером в США. [5] [6] [7]
Награды и почести
В 1982 году Вос и его коллега Стив Винкер первыми получили премию за автоматическое доказательство теорем, присуждаемую Американским математическим обществом . [5] В 1992 году Вос был первым, кто получил премию Хербранда за свой вклад в области автоматизированной дедукции . [8] Festschrift в его честь, Automated рассуждения и его приложения: эссе в честь Ларри СУВ (. Роберт Veroff, ред) был опубликован MIT Press в 1997 году ( ISBN 0-262-22055-5 ).
Книги
Вос и Гейл В. Пайпер являются соавторами книги «Очаровательная страна в мире вычислений: ваше руководство по автоматизированному мышлению» (World Scientific, 1999, стр.ISBN 978-981-02-3910-7 ) и Автоматизированное рассуждение и обнаружение отсутствующих и элегантных доказательств (Rinton Press, 2003, ISBN 1-58949-023-1 ). Собрание сочинений Воса было опубликовано World Scientific в 2000 году в двух томах ( ISBN 978-981-02-4001-1 ).
Рекомендации
- ^ Домашняя страница Ларри СУВ по крайней Аргон, извлекаются 2010-10-03.
- ^ Ларри Wos на Математическая генеалогия
- ^ Обермиллер, Тим Эндрю (апрель 1997 г.), «Лучшая игра» , журнал Чикагского университета.
- ^ Дик, Стефани (сентябрь 2011 г.). «AfterMath: Доказательство в эпоху взаимодействия человека и машины». Исида . Издательство Чикагского университета. 102 (3): 494–505. DOI : 10.1086 / 661623 . JSTOR 10.1086 / 661623 . PMID 22073773 . S2CID 24778586 .
- ^ a b Чикаго Трибьюн , 18 ноября 1982 г.
- ^ Ван, Джон (24 января 1982 г.), «Слепота отошла на второй план на пути к успеху», Chicago Tribune.
- ^ Монтгомери, Пол Л. (27 мая 1977 г.), «Слепой математик применяет аналитический метод к боулингу», New York Times.
- ^ Дипак Капур (1992), Автоматическая дедукция, CADE-11: 11-я Международная конференция по автоматизированному дедуктивному переводу
Внешние ссылки
- Работы Ларри Воса или о нем в библиотеках ( каталог WorldCat )
- Список публикаций на DBLP
- Мария Паола Бонацина (с Францем Баадером, Аланом Банди, Ульрихом Фурбахом, Фрэнком Пфеннингом, Джоном Слэни и Кристофом Вайденбахом), «Памяти Ларри Воса»