Larry Wos - Larry Wos

Larry Wos byl Američan matematik, výzkumný pracovník v divizi matematiky a informatiky v Argonne National Laboratory.[1]

Životopis

Wos studoval na University of Chicago, který získal bakalářský titul v roce 1950 a magisterský titul v oboru matematiky v roce 1954, a pokračoval v doktorském studiu na University of Illinois v Urbana-Champaign. Do Argonne nastoupil v roce 1957 a v roce 1963 začal používat počítače k ​​prokázání matematických vět.[2][3]

Wos byl vrozený slepý. Byl vášnivý nadhazovač, nejlepší slepý nadhazovač v USA.[4][5][6]

Ceny a vyznamenání

V roce 1982 Wos a jeho kolega Steve Winker jako první vyhráli cenu Proving Automated Theorem Proving Prize, kterou udělil Americká matematická společnost.[4]V roce 1992 vyhrál Wos jako první Herbrand Award za jeho příspěvky v oboru automatický odpočet.[7] A slavnostní svátek na jeho počest, Automatizované uvažování a jeho aplikace: eseje na počest Larryho Wose (Robert Veroff, ed.) Byla publikována MIT Stiskněte v roce 1997 (ISBN  0-262-22055-5).

Knihy

Spoluautoři těchto knih jsou Wos a Gail W. Pieper Fascinující země ve světě výpočetní techniky: Váš průvodce automatizovaným uvažováním (World Scientific, 1999, ISBN  978-981-02-3910-7) a Automatizované uvažování a objev chybějících a elegantních důkazů (Rinton Press, 2003, ISBN  1-58949-023-1). Wosova sebraná díla byla publikována společností World Scientific v roce 2000 ve dvou svazcích (ISBN  978-981-02-4001-1).

Reference

  1. ^ Domovská stránka Larryho Wose v Argonne, vyvoláno 2010-10-03.
  2. ^ Obermiller, Tim Andrew (duben 1997), „Vrchol jeho hry“, University of Chicago Magazine.
  3. ^ Dick, Stephanie (září 2011). „AfterMath: Dílo důkazu ve věku spolupráce člověka a stroje“. Isis. University of Chicago Press. 102 (3): 494–505. doi:10.1086/661623. JSTOR  10.1086/661623.
  4. ^ A b Chicago Tribune, 18. listopadu 1982.
  5. ^ Van, Jon (24. ledna 1982), „Slepota se usadila na cestě k úspěchu“, Chicago Tribune.
  6. ^ Montgomery, Paul L. (27. května 1977), „Slepý matematik aplikuje analytickou metodu na bowling“, New York Times.
  7. ^ Deepak Kapur (1992), Automatizovaný odpočet, CADE-11: 11. mezinárodní konference o automatizovaném odpočtu

externí odkazy