Ларри Вос - Larry Wos

Ларри Вос был американцем математик, научный сотрудник отдела математики и информатики Аргоннская национальная лаборатория.[1]

биография

Вос учился в Чикагский университет, получив степень бакалавра в 1950 г. и магистра математики в 1954 г., а также продолжил обучение в докторантуре Иллинойсский университет в Урбана-Шампейн. Он присоединился к Аргонну в 1957 году и начал использовать компьютеры для доказательства математических теорем в 1963 году.[2][3]

Вос был врожденным слепой. Он был заядлым котелок, лучший слепой котелок в США.[4][5][6]

Награды и отличия

В 1982 году Вос и его коллега Стив Винкер первыми получили премию за автоматическое доказательство теорем, присужденную им. Американское математическое общество.[4]В 1992 году Вос первым выиграл Премия Herbrand за его вклад в области автоматический вычет.[7] А фестивальный сбор в его честь, Автоматизированные рассуждения и их приложения: эссе в честь Ларри Воса (Роберт Верофф, ред.) Был опубликован 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).

Рекомендации

  1. ^ Домашняя страница Ларри Воса в Аргонне, получено 3 октября 2010 г.
  2. ^ Обермиллер, Тим Эндрю (апрель 1997 г.), «Вершина его игры», Журнал Чикагского университета.
  3. ^ Дик, Стефани (сентябрь 2011 г.). «AfterMath: Доказательство в эпоху взаимодействия человека и машины». Исида. Издательство Чикагского университета. 102 (3): 494–505. Дои:10.1086/661623. JSTOR  10.1086/661623.
  4. ^ а б Чикаго Трибьюн, 18 ноября 1982 г.
  5. ^ Ван, Джон (24 января 1982 г.), «Слепота отошла на второй план на пути к успеху», Чикаго Трибьюн.
  6. ^ Монтгомери, Пол Л. (27 мая 1977 г.), «Слепой математик применяет аналитический метод к боулингу», Нью-Йорк Таймс.
  7. ^ Дипак Капур (1992), Автоматическое удержание, CADE-11: 11-я Международная конференция по автоматическому удержанию

внешняя ссылка