William Werner Boone (né le à Cincinnati et mort le à Urbana (Illinois)) est un mathématicien américain.
Carrière Il obtient un B.A. à l'université de Cincinnati en 1945, puis commence des études graduées à l'université de Princeton. Il est instructeur à l'université, puis à Rutgers avant d'être professeur assistant à l'université catholique d'Amérique à Washington en 1950. Il soutient sa thèse en 1952 sous la supervision d'Alonzo Church à l'université de Princeton.. Il passe les années 1954-1956 à Princeton sur une bourse Fulbright. Il était ami de Kurt Gödel à l'Institute for Advanced Study.. Il voyage ensuite en Europe avec une bourse Guggenheim. À partir de 1958, Boone travaille à l'université de l'Illinois à Urbana-Champaign d'abord comme professeur associé, puis comme professeur titulaire depuis 1960.
Contributions Piotr Novikov a montré en 1955 l'existence d'un groupe finiment présenté pour lequel le problème du mot est indecidable.. Une preuve différente a été obtenue par Boone en 1958.
Publications (sélection)
. . .
Références
Liens externes
.
Catégorie:Naissance en janvier 1920 Catégorie:Naissance à Cincinnati Catégorie:Décès en septembre 1983 Catégorie:Décès à Urbana (Illinois) Catégorie:Mathématicien américain du XXe siècle Catégorie:Étudiant de l'université de Princeton Catégorie:Logicien américain Catégorie:Professeur à l'université de l'Illinois Urbana-Champaign Catégorie:Boursier Guggenheim Catégorie:Décès à 63 ans