Лоуренс Т. Вос (1930–2020) — американский математик , научный сотрудник Отделения математики и компьютерных наук Аргоннской национальной лаборатории . [1]
Вос учился в Чикагском университете , получив степень бакалавра в 1950 году и степень магистра математики в 1954 году, а затем продолжил обучение в докторантуре Иллинойсского университета в Урбане-Шампейне , где в 1957 году получил степень доктора философии под руководством Рейнхольда Бэра . [2] Он присоединился к Аргоннскому университету в 1957 году и начал использовать компьютеры для доказательства математических теорем в 1963 году. [3] [4]
Вос был слепым от рождения . Он был заядлым боулером , лучшим слепым боулером среди мужчин в США. [5] [6] [7]
В 1982 году Вос и его коллега Стив Уинкер стали первыми, кто получил премию Automated Theorem Proving Prize, присуждаемую Американским математическим обществом . [5] В 1992 году Вос стал первым, кто получил премию Эрбрана за вклад в область автоматизированной дедукции . [8] В его честь был опубликован сборник статей Automated Reasoning and its applications: essays in honor of Larry Wos (редактор Роберт Верофф) в 1997 году издательством MIT Press ( ISBN 0-262-22055-5 ).
Вос и Гейл В. Пипер являются соавторами книг A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning (World Scientific, 1999, ISBN 978-981-02-3910-7 ) и Automated Reasoning and the Discovery of Missing and Elegant Proofs (Rinton Press, 2003, ISBN 1-58949-023-1 ). Собрание работ Вос было опубликовано World Scientific в 2000 году в двух томах ( ISBN 978-981-02-4001-1 ).