William Boone (mathematician)

William Werner Boone
Born	(1920-01-16)January 16, 1920 Cincinnati, Ohio
Died	September 14, 1983(1983-09-14) (aged 63) Urbana, Illinois
Nationality	American
Alma mater	Princeton University
Known for	Boone–Higman theorem Boone–Rogers theorem Novikov–Boone theorem
Scientific career
Fields	Mathematics
Institutions	University of Illinois at Urbana–Champaign Institute for Advanced Study
Doctoral advisor	Alonzo Church

William Werner Boone (Cincinnati, 16 January 1920 – Urbana, Illinois, 14 September 1983) was an American mathematician. Alonzo Church was his Ph.D. advisor at Princeton, and Kurt Gödel was his friend at the Institute for Advanced Study.

Selected publications

• W. W. Boone, Decision problems about algebraic and logical systems as a whole and recursively enumerable degrees of unsolvability. 1968 Contributions to Math. Logic (Colloquium, Hannover, 1966), North-Holland, Amsterdam.
• W. W. Boone, Roger Lyndon, Frank Cannonito, Word Problems: Decision Problem in Group Theory, North-Holland, 1973.

William W. Boone and Eileen Boone at Altgeld Hall University of Illinois 1979-photo William J. Boone

References

• Kurt Gödel: Collected Works: Oxford University Press: New York. Editor-in-chief: Solomon Feferman, Volume IV: Correspondence, A–G, ISBN 978-0-19-850073-5.
• O'Connor, John J.; Robertson, Edmund F., "William Werner Boone", MacTutor History of Mathematics Archive, University of St Andrews
• William Werner Boone at the Mathematics Genealogy Project