Larry Wos
| Naissance | |
|---|---|
| Décès |
(à 90 ans) |
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Directeur de thèse | |
| Distinction |
Lawrence T. Wos (né le 13 juillet 1930 à Chicago où il est mort le 21 août 2020) est un mathématicien américain, chercheur à la division mathématiques et informatique du laboratoire national d'Argonne[1].
Biographie
[modifier | modifier le code]Wos étudie à l'université de Chicago, il obtient un B. Sc. en 1950 et une maîtrise en mathématiques en 1954, puis il poursuit des études de doctorat à l'université de l'Illinois à Urbana-Champaign où il a obtenu son Ph. D. en 1957 sous la direction de Reinhold Baer[2] avec une thèse intitulée « On Commutative Prime Power Subgroups of the Norm ». Il rejoint le Laboratoire national d'Argonne en 1957. Il commence à utiliser des ordinateurs pour prouver des théorèmes mathématiques en 1963[3].
Wos était aveugle de naissance. C'était un quilleur passionné, le meilleur quilleur aveugle masculin des États-Unis[4].
Prix et honneurs
[modifier | modifier le code]En 1982, Wos et son collègue Steve Winker sont en 1983 les premiers lauréauts du « Automatic Theorem Proving Prize », décerné un moment par l'American Mathematical Society[4]. En 1992, Wos est le premier lauréat du prix Herbrand pour sa contribution au domaine de la démonstration automatique de théorèmes. Une Festschrift en son honneur, intitulée Automated reasoning and its applications: essays in honor of Larry Wos a été publié par MIT Press en 1997[5].
Livres
[modifier | modifier le code]Wos et Gail W. Pieper sont les coauteurs des livres suivants
- Larry Wos et Gail W. Pieper, A fascinating country in the world of computing: your guide to automated reasoning, World Scientific, (ISBN 978-981-02-3910-7) )
- Larry Wos et Gail W. Pieper, Automated reasoning and the discovery of missing and elegant proofs, Rinton Press, (ISBN 978-1-58949-023-9)
Wos est auteur du livre :
- Larry Wos, Automated reasoning: 33 basic research problems, Prentice Hall, , XIII + 319 (ISBN 978-0-13-054552-7)
Les œuvres complètes de Wos ont été publiés par World Scientific en 2000, en deux volumes :
- Larry Wos et Gail W. Pieper, The collected works of Larry Wos, World Scientific, (ISBN 978-981-02-4001-1, 978-981-02-4996-0 et 978-981-02-4998-4)
Notes et références
[modifier | modifier le code]- (de) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en allemand intitulé « Larry Wos » (voir la liste des auteurs).
- Larry Wos's page personnelle à Argonne, datée du 2010-10-03.
- (en) « Lawrence T. Wos », sur le site du Mathematics Genealogy Project
- Stephanie Dick, « AfterMath: The Work of Proof in the Age of Human–Machine Collaboration », Isis, University of Chicago Press, vol. 102, no 3, , p. 494–505 (PMID 22073773, DOI 10.1086/661623, JSTOR 10.1086/661623, S2CID 24778586).
- Tim Andrew Obermiller, « Top of his game », Chicago Tribune, (consulté le ).
- Robert Veroff et Gail W. Pieper (éditeurs), Automated reasoning and its applications: essays in honor of Larry Wos, Massachusetts institute of technology, (ISBN 978-0-262-22055-2).
Liens externes
[modifier | modifier le code]
- Ressources relatives à la recherche :
- Liste des publications au DBLP
- Maria Paola Bonacina (avec Franz Baader, Alan Bundy, Ulrich Furbach, Frank Pfenning, John Slaney et Christoph Weidenbach), « In Memoriam : Larry Wos » Association for Automated Reasoning, Newsletter No. 132, September 2020.
