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

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].

^ 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.

(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

Portale Biografie

Portale Informatica