Ларри Вос
Ларри Вос | |
|---|---|
| Рожденный | Лоуренс Т. Вос 1930 |
| Умер | 21 августа 2020 г. |
| Известный | Доказательство теоремы |
| Награды | Премия Эрбрана (1992) |
| Научная карьера | |
| Диссертация | О коммутативных простых степенных подгруппах нормы (1957) |
Лоуренс Т. Вос (1930–2020) — американский математик , научный сотрудник отдела математики и информатики Аргоннской национальной лаборатории . [1]
Биография
[ редактировать ]Вос учился в Чикагском университете , получил степень бакалавра в 1950 году и степень магистра математики в 1954 году, а затем поступил в докторантуру в Университете Иллинойса в Урбана-Шампейн , где в 1957 году получил докторскую степень под руководством Рейнхольда Бэра . [2] Он присоединился к Аргоннскому университету в 1957 году и начал использовать компьютеры для доказательства математических теорем в 1963 году. [3] [4]
Вос был слеп от рождения . Он был заядлым боулером , лучшим игроком вслепую среди мужчин в США. [5] [6] [7]
Награды и почести
[ редактировать ]В 1982 году Вос и его коллега Стив Уинкер первыми получили премию за автоматизированное доказательство теорем, присуждаемую Американским математическим обществом . [5] В 1992 году Вос первым получил премию Эрбрана за вклад в область автоматизированных дедукций . [8] Фестиваль ( в его честь « Автоматическое мышление и его приложения: эссе в честь Ларри Воса» Роберт Верофф, ред.) был опубликован 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 ).
Ссылки
[ редактировать ]- ↑ Домашняя страница Ларри Воса в Аргонне, получено 3 октября 2010 г.
- ^ Ларри Вос в проекте «Математическая генеалогия»
- ^ Обермиллер, Тим Эндрю (апрель 1997 г.), «Лучший в своем деле» , журнал Чикагского университета .
- ^ Дик, Стефани (сентябрь 2011 г.). «AfterMath: работа доказательства в эпоху сотрудничества человека и машины». Исида . 102 (3). Издательство Чикагского университета: 494–505. дои : 10.1086/661623 . JSTOR 10.1086/661623 . ПМИД 22073773 . S2CID 24778586 .
- ^ Jump up to: Перейти обратно: а б Чикаго Трибьюн , 18 ноября 1982 года.
- ^ Ван, Джон (24 января 1982 г.), «Слепота отошла на второй план на пути к успеху», Chicago Tribune .
- ^ Монтгомери, Пол Л. (27 мая 1977 г.), «Слепой математик применяет аналитический метод в боулинге», New York Times .
- ^ Дипак Капур (1992), Автоматический вывод, CADE-11: 11-я Международная конференция по автоматическому выводу
Внешние ссылки
[ редактировать ]- Список публикаций на DBLP
- Мария Паола Боначина (с Францем Баадером, Аланом Банди, Ульрихом Фурбахом, Фрэнком Пфеннингом, Джоном Слейни и Кристофом Вайденбахом), «Памяти: Ларри Вос»
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
   | Эта статья об американском математике незавершена . Вы можете помочь Википедии, расширив ее . |