William Boone (mathematician)
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.
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 |
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.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.