William Werner Boone | |
---|---|
Born | |
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. [1]
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. [2] A different proof was obtained by Boone in a paper published in 1958. [3]
William Werner Boone | |
---|---|
Born | |
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. [1]
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. [2] A different proof was obtained by Boone in a paper published in 1958. [3]