William Boone

William Boone
William et Eileen Boone à l'Université de l'Illinois à Urbana-Champaign (1979)
Biographie
Naissance
Décès
Voir et modifier les données sur Wikidata (à 63 ans)
UrbanaVoir et modifier les données sur Wikidata
Sépulture
St. Mary Cemetery (en)Voir et modifier les données sur Wikidata
Nom de naissance
William Werner BooneVoir et modifier les données sur Wikidata
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Directeur de thèse
Distinction
Contributions principales

modifier - modifier le code - modifier WikidataDocumentation du modèle

William Werner Boone (né le à Cincinnati et mort le à Urbana (Illinois)) est un mathématicien américain.

Carrière

[modifier | modifier le code]

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[1]. Il passe les années 1954-1956 à Princeton sur une bourse Fulbright. Il était ami de Kurt Gödel à l'Institute for Advanced Study[2]. 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

[modifier | modifier le code]

Piotr Novikov a montré en 1955 l'existence d'un groupe finiment présenté pour lequel le problème du mot est indecidable[3]. Un preuve différente a été obtenue par Boone en 1958[4].

Publications (sélection)

[modifier | modifier le code]
  • William W. Boone, « Decision problems about algebraic and logical systems as a whole and recursively enumerable degrees of unsolvability », dans Contributions to Mathematical Logic (Colloquium, Hannover, 1966), North-Holland, (MR 0237617), p. 13-33
  • William W. Boone, F. B. Cannonito et Roger C. Lyndon (éditeurs), Word Problems : Decision Problem in Group Theory, North-Holland, .
  • William W. Boone et G. Higman, « An algebraic characterization of the solvability of the word problem », J. Austral. Math. Soc., vol. 18,‎ , p. 41-53.
  • William W. Boone et H. Rogers Jr., « On a problem of J. H. C. Whitehead and a problem of Alonzo Church », Math. Scand., vol. 19,‎ , p. 185-192.

Références

[modifier | modifier le code]
  1. ↑ (en) « William Werner Boone », sur le site du Mathematics Genealogy Project.
  2. ↑ Solomon Feferman (éditeur-en-chef), Kurt Gödel : Collected Works, vol. IV: Correspondance, A–G, Oxford Clarendon Press:, , xviii + 662 (ISBN 978-0-19-850073-5, lire en ligne).
  3. ↑ (ru) Pyotr S. Novikov, « On the algorithmic unsolvability of the word problem in group theory », Proceedings of the Steklov Institute of Mathematics, vol. 44,‎ , p. 1-143 (zbMATH 0068.01301).
  4. ↑ William W. Boone, « The word problem », Proceedings of the National Academy of Sciences, vol. 44, no 10,‎ , p. 1061–1065 (PMCID 528693, DOI 10.1073/pnas.44.10.1061, zbMATH 0086.24701, lire en ligne [PDF])

Liens externes

[modifier | modifier le code]