Larry Wos
Larry Wos, all'anagrafe Lawrence Wos (Chicago, 13 luglio 1930[1] – 21 agosto 2020[2]) è stato un matematico statunitense.
È stato ricercatore presso la Divisione di matematica e informatica dell'Argonne National Laboratory.
Biografia[modifica | modifica wikitesto]
Wos ha studiato all'Università di Chicago, conseguendo una laurea nel 1950 e un master in matematica nel 1954, e ha proseguito gli studi di dottorato presso l'Università dell'Illinois a Urbana-Champaign. Entrò in Argonne nel 1957 e iniziò a usare i computer per dimostrare i teoremi matematici nel 1963[3][4].
Wos era congenitamente cieco. Era un appassionato giocatore di bocce, il miglior giocatore di bocce cieco degli Stati Uniti[5][6].
Nel 1982, Wos e il suo collega Steve Winker furono i primi a vincere l'Automated Theorem Proving Prize, assegnato dall'American Mathematical Society. Nel 1992, Wos è stato il primo a vincere l'Herbrand Award per i suoi contributi nel campo della deduzione automatizzata[7].
Note[modifica | modifica wikitesto]
- ^ biografia, su books.google.it. URL consultato il 4 giugno 2021.
- ^ http://aarinc.org/Newsletters/132-2020-09.html#larrywos.
- ^ Tim Andrew Obermiller, Top of his game, in University of Chicago Magazine, April 1997..
- ^ Stephanie Dick, AfterMath: The Work of Proof in the Age of Human–Machine Collaboration, in Isis, vol. 102, n. 3, University of Chicago Press, September 2011, pp. 494–505, DOI:10.1086/661623, JSTOR 10.1086/661623.
- ^ Jon Van, Blindness took back seat on road to success, in Chicago Tribune, 24 gennaio 1982..
- ^ Paul L. Montgomery, Blind Mathematician Applies Analytical Method to Bowling, in New York Times, 27 maggio 1977..
- ^ Deepak Kapur, Automated deduction, CADE-11: 11th International Conference on Automated Deduction, 1992.
Collegamenti esterni[modifica | modifica wikitesto]
- (EN) Larry Wos, su Mathematics Genealogy Project, North Dakota State University.
| Controllo di autorità | VIAF (EN) 2692910 · ISNI (EN) 0000 0001 1586 3851 · LCCN (EN) n83164447 · GND (DE) 1056101083 · BNF (FR) cb144557895 (data) · J9U (EN, HE) 987007424243105171 · NDL (EN, JA) 00477523 · WorldCat Identities (EN) lccn-n83164447 |
|---|
