Larry Wos
Template:Short description Script error: No such module "Template wrapper".Script error: No such module "Check for conflicting parameters".
Lawrence T. Wos (1930–2020) was an American mathematician, a researcher in the Mathematics and Computer Science Division of Argonne National Laboratory.[1]
Biography
Wos studied at the University of Chicago, receiving a bachelor's degree in 1950 and a master's in mathematics in 1954, and went on for doctoral studies at the University of Illinois at Urbana-Champaign where he received PhD in 1957 supervised by Reinhold Baer.[2] He joined Argonne in 1957, and began using computers to prove mathematical theorems in 1963.[3][4]
Wos was congenitally blind. He was an avid bowler, the best male blind bowler in the US.[5][6][7]
Awards and honors
In 1982, Wos and his colleague Steve Winker were the first to win the Automated Theorem Proving Prize, given by the American Mathematical Society.[5] In 1992, Wos was the first to win the Herbrand Award for his contributions to the field of automated deduction.[8] A festschrift in his honor, Automated reasoning and its applications: essays in honor of Larry Wos (Robert Veroff, ed.) was published by the MIT Press in 1997 (Template:ISBN).
Books
Wos and Gail W. Pieper are the coauthors of the books A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning (World Scientific, 1999, Template:ISBN) and Automated Reasoning and the Discovery of Missing and Elegant Proofs (Rinton Press, 2003, Template:ISBN). Wos's collected works were published by World Scientific in 2000, in two volumes (Template:ISBN).
References
Page Template:Reflist/styles.css has no content.
- ^ Larry Wos's home page at Argonne, retrieved 2010-10-03.
- ^ Larry Wos at the Mathematics Genealogy ProjectTemplate:EditAtWikidata
- ^ Page Module:Citation/CS1/styles.css has no content.Obermiller, Tim Andrew (April 1997), "Top of his game", University of Chicago Magazine.
- ^ Page Module:Citation/CS1/styles.css has no content.Dick, Stephanie (September 2011). "AfterMath: The Work of Proof in the Age of Human–Machine Collaboration". Isis. 102 (3). University of Chicago Press: 494–505. doi:10.1086/661623. JSTOR 10.1086/661623. PMID 22073773. S2CID 24778586.
- ^ a b Chicago Tribune, November 18, 1982.
- ^ Page Module:Citation/CS1/styles.css has no content.Van, Jon (January 24, 1982), "Blindness took back seat on road to success", Chicago Tribune.
- ^ Page Module:Citation/CS1/styles.css has no content.Montgomery, Paul L. (May 27, 1977), "Blind Mathematician Applies Analytical Method to Bowling", New York Times.
- ^ Page Module:Citation/CS1/styles.css has no content.Deepak Kapur (1992), Automated deduction, CADE-11: 11th International Conference on Automated Deduction
External links
- Publication list at DBLP
- Maria Paola Bonacina (with Franz Baader, Alan Bundy, Ulrich Furbach, Frank Pfenning, John Slaney, and Christoph Weidenbach), "In Memoriam: Larry Wos"
Lua error in package.lua at line 80: module 'Module:Authority control/config' not found.
