William Boone (mathematician)
|William Werner Boone|
January 16, 1920|
|Died||September 14, 1983
|Alma mater||Princeton University|
|Known for||Boone–Higman theorem
|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.
- 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.
- 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