Larry Wos
Larry Wos , născut Lawrence Wos ( Chicago , 13 iulie 1930 [1] - 21 august 2020 [2] ) a fost un matematician american .
A fost cercetător la Divizia de Matematică și Informatică a Laboratorului Național Argonne .
Wos a studiat la Universitatea din Chicago , obținând o diplomă de licență în 1950 și un master în matematică în 1954 și și-a continuat studiile de doctorat la Universitatea din Illinois la Urbana-Champaign . S-a alăturat lui Argonne în 1957 și a început să folosească computerele pentru a demonstra teoremele matematice în 1963 [3] [4] .
Wos era orb congenital. A fost un bowler avid, cel mai bun bowler orb din Statele Unite [5] [6] .
În 1982 , Wos și colegul său Steve Winker au fost primii care au câștigat Premiul pentru testarea automatizată a teoremelor , acordat de Societatea Americană de Matematică . În 1992 , Wos a fost primul care a câștigat premiul Herbrand pentru contribuțiile sale la domeniul deducerii automate [7] .
Notă
- ^ biografie , pe books.google.it . Adus la 4 iunie 2021 .
- ^ http://aarinc.org/Newsletters/132-2020-09.html#larrywos .
- ^ Tim Andrew Obermiller, Topul jocului său , revista University of Chicago , aprilie 1997 .
- ^ Stephanie Dick, AfterMath: The Work of Proof in the Age of Human - Machine Collaboration , în Isis , vol. 102, nr. 3, University of Chicago Press, septembrie 2011, pp. 494-505, DOI : 10.1086 / 661623 , JSTOR 10.1086 / 661623 .
- ^ Jon Van, Blindness a luat locul pe drumul spre succes , Chicago Tribune , 24 ianuarie 1982 .
- ^ Paul L. Montgomery, Matematicianul orb aplică metoda analitică la bowling , New York Times , 27 mai 1977 .
- ^ Deepak Kapur, deducere automată, CADE-11: 11-a conferință internațională privind deducerea automatizată , 1992.
| Controlul autorității | VIAF (EN) 2,69291 milioane · ISNI (EN) 0000 0001 1586 3851 · LCCN (EN) n83164447 · GND (DE) 1056101083 · BNF (FR) cb144557895 (dată) · NDL (EN, JA) 00,477,523 · WorldCat Identities (EN) lccn -n83164447 |
|---|
