Lawrence T. Wos (né le à Chicago où il est mort le ) est un mathématicien américain, chercheur à la division mathématiques et informatique du laboratoire national d'ArgonneLarry Wos's page personnelle à Argonne, datée du 2010-10-03..
Biographie 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 avec une thèse intitulée . Il rejoint le Laboratoire national d'Argonne en 1957. Il commence à utiliser des ordinateurs pour prouver des théorèmes mathématiques en 1963..
Wos était aveugle de naissance. C'était un quilleur passionné, le meilleur quilleur aveugle masculin des États-Unis.
Prix et honneurs 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.. 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..
Livres Wos et Gail W. Pieper sont les coauteurs des livres suivants
)
Wos est auteur du livre :
Les œuvres complètes de Wos ont été publiés par World Scientific en 2000, en deux volumes :
Notes et références
Liens externes
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.
Catégorie:Décès en août 2020 Catégorie:Naissance en juillet 1930 Catégorie:Étudiant de l'université de l'Illinois Urbana-Champaign Catégorie:Étudiant de l'université de Chicago Catégorie:Mathématicien américain du XXIe siècle Catégorie:Mathématicien américain du XXe siècle Catégorie:Décès à 90 ans