William Boone : Carrière, Contributions, Publications (sélection), Références Wikipédia, l'encyclopédie libre

William Boone

Biographie
Naissance	16 janvier 1920 Cincinnati
Décès	14 septembre 1983 (à 63 ans) Urbana
Sépulture	St. Mary Cemetery (en)
Nom de naissance	William Werner Boone
Nationalité	américaine
Formation	Université de Cincinnati (jusqu'en 1945) Université de Princeton (docteur) (1945-1952)
Activités	Mathématicien, philosophe

Autres informations
A travaillé pour	Université de l'Illinois à Urbana-Champaign (1958-1983) Institute for Advanced Study (1954-1956) Université catholique d'Amérique (1950-1954) Université Rutgers (1949-1950) Université de Princeton (1945-1949)
Directeur de thèse	Alonzo Church
Distinction	Bourse Guggenheim (1957)

Contributions principales
théorème de Boone-Higman theorem (en) théorème de Boone-Rogers theorem (en) théorème de Novikov–Boone

modifier - modifier le code - modifier Wikidata

William Werner Boone (né le 16 janvier 1920 à Cincinnati et mort le 14 septembre 1983 à 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^[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.

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].

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, 1968 (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, 1973.
William W. Boone et G. Higman, « An algebraic characterization of the solvability of the word problem », J. Austral. Math. Soc., vol. 18,‎ 1974, 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,‎ 1966, p. 185-192.

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

Ressource relative à la recherche :
- Mathematics Genealogy Project
Notice dans un dictionnaire ou une encyclopédie généraliste :
- Deutsche Biographie
Notices d'autorité :
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- Pays-Bas
- Pologne
- Israël
- NUKAT
- WorldCat
D. J. Collins, « Obituary William Werner Boone », London Math. Soc., vol. 17,‎ 1985, p. 168-174.
(en) John J. O'Connor et Edmund F. Robertson, « William Werner Boone », sur MacTutor, université de St Andrews.