William Boone
William Werner Boone (né le à Cincinnati et mort le à Urbana (Illinois)) est un mathématicien américain.
| Naissance | |
|---|---|
| Décès | |
| Sépulture |
St. Mary Cemetery (en) |
| Nom de naissance |
William Werner Boone |
| Nationalité | |
| Formation |
Université de Cincinnati (jusqu'en ) Université de Princeton (docteur) (- |
| Activités |
| A travaillé pour | |
|---|---|
| Directeur de thèse | |
| Distinction |
Carrière
modifierIl 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
modifierPiotr 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- 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- (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:, , 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, , p. 1-143 (zbMATH 0068.01301).
- 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
- Ressource relative à la recherche :
- Notice dans un dictionnaire ou une encyclopédie généraliste :
- D. J. Collins, « Obituary William Werner Boone », London Math. Soc., vol. 17, , p. 168-174.
- (en) John J. O'Connor et Edmund F. Robertson, « William Werner Boone », sur MacTutor, université de St Andrews.
