William Boone (mathematician)
William Werner Boone | |
|---|---|
William W. Boone and Eileen Boone at Altgeld Hall, University of Illinois, 1979 | |
| Born | January 16, 1920 |
| Died | September 14, 1983 (aged 63) |
| 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 (16 January 1920 in Cincinnati – 14 September 1983 in Urbana, Illinois) was an American mathematician. He completed his undergrad degree as a part time student at the University of Cincinnati.
Alonzo Church was his Ph.D. advisor at Princeton, and Kurt Gödel was his friend at the Institute for Advanced Study.
Pyotr Novikov showed in 1955 that there exists a finitely presented group G such that the word problem for G is undecidable. A different proof was obtained by Boone in a paper published in 1958.