Bill Boone's parents were not very well off financially so after he had attended a number of Roman Catholic schools, he was not able to further his education at college due to the financial pressure his parents were under. This meant that while he trained as an accountant after leaving high school he had to earn his way working as a barman. However his real ambition at this time was to become a writer and he attended workshops on writing and wrote a short story Wang Fu Makes a Choice. Don Collins writes :-
This varied background left Bill with a wide range of experience and literary interests and he always retained a fascination with the dramatic aspects of life. One book he much admired was Thomas Wolfe's 'Of Time and the River' whose hero, afflicted with a Faustian thirst for knowledge, moves from the rural South of the United States to Boston and then to England and France, and there is a superficial parallel to this in Bill's all-inquisitive progress from the Mid-West to sophisticated Princeton and subsequent regular visits to Europe. However, Bill never lost the directness and openness that one thinks of as characteristic of the provincial America of his youth, and his vigorous personality and broad Mid-West accent left an abiding impression on all who knew him.
Despite his literary interests, Bill decided to turn to mathematics, a subject which seemed to grow in importance for him around this time in his life, and he studied part-time for a degree at the University of Cincinnati. He graduated with an A.B. in 1945 and, the same year, began graduate studies at Princeton University. Boone was never called up for active service during World War II but in the latter years of the war, while he studied part-time for his degree, he also did technical work for the armed services as his contribution to the war effort. After graduating in 1945, he was appointed as an Instructor in Mathematics at Princeton University and at the same time began to undertake research towards his doctorate, with Alonso Church as his advisor. Boone married Eileen Herweh in 1949; they had two sons William and Theodore. He had a spell as an Instructor of Mathematics at Rutgers before being appointed as Assistant Professor at the Catholic University in Washington in 1950.
He obtained a doctorate from Princeton in 1952 having failed to carry out Emil Post's suggestion of constructing a finitely presented group with insoluble word problem. Post and Markov had independently constructed semigroups with this property in 1947. In fact Boone had constructed for his doctoral thesis an example of a finitely presented group with no way to decide if a given element lies in the subsemigroup generated a fixed finite set. His thesis was entitled Several Simple, Unsolvable Problems of Group Theory Related to the Word Problem. In 1950 Alan Turing had given an example of a cancellative semigroup with insoluble word problem (having at one stage believed incorrectly that he could solve the problem for groups). Following these ideas of Turing's, Boone finally proved the insolubility of the word problem for groups in 1957, two years after Petr Sergeevich Novikov published his proof. In many ways he was unlucky not to have published before Novikov for, after reviewing Turing's 1950 paper, he had realised how to construct a group with insoluble word problem but his teaching duties had been too heavy to allow him the opportunity to work through his ideas :-
In later years Bill regretted a little that it had taken him so long to complete his proof, but it was not in his nature to rush things and whenever he had teaching or other commitments these would absorb much of his time and he would not be able to devote himself to the process of slowly becoming immersed in his research. Bill's strength as a mathematician was his ability to master, painstakingly and thoroughly, a mass of intricate combinatorial detail and this strength was severely sapped by routine distractions.
Only after spending 1954-56 at the Institute for Advanced Study in Princeton, funded by the Fulbright Commission, was he able to put in the necessary time to complete his proof. He wrote up the results of his thesis in four parts under the title Certain simple, unsolvable problems of group theory; two parts appeared in 1954, and two more in 1955. His proof that the word problem for groups was insoluble appeared as parts V and VI in 1957. Roger Lyndon writes in a review:-
A proof is given of the unsolvability of the Word Problem in the theory of groups. A group is defined, in terms of a finite number of generators and a finite number of defining relations, such that the set of all those formal products of generators and their inverses that represent the identity element is not recursive. The proof is independent of, and different from, an earlier proof by P S Novikov. The method is a refinement of that used by the author in the earlier papers of this series ...
Boone set off for a prolonged tour of Europe in 1956 and his travels were assisted by the award of a Guggenheim fellowship in 1957 :-
Oslo, in 1956-57, visiting T Skolem, was followed in 1957-58 by Münster, Manchester and Oxford. This was the most carefree time in Bill's career - though he was, by temperament, a man never entirely free from worries - for he had a major result behind him and time to think. Also the variety and diversity of Europe and its languages and cultures made a deep impression on him and, at a less elevated level, he acquired a taste for German beer and for the English habit of ending the working day by discussing mathematics in a nearby pub. He was proud, too, of the fact that he learnt some Norwegian and was extraordinarily pleased when someone described his occupation as 'peripatetic scholar'. Bill was gregarious in the extreme and made many friends among European mathematicians, notably G Hasenjaeger in Germany and J L Britton, G Higman and B H Neumann in England, to name only a few.
Boone's first inclination after proving his insolubility theorem was not to move on to other problems but rather to keep on polishing and improving his proof. His next publications had precisely this aim: The word problem (1958) and The word problem (1959) gave an improvement and simplification of his earlier results and methods. By 1959 he had published ten papers but eight of them had just two titles between them. The other two papers were The equivalence of the word problem and Magnus's extended word problem (1956) and Analysis of Turing's "The word problem in semigroups with cancellation" (1958). Boone proved in 1959 that many other decision problems for groups were insoluble which was published in a joint publication Some unsolvable problems about elements and subgroups of groups with Gilbert Baumslag and Bernhard Neumann. From 1958 Boone worked at the University of Illinois, Urbana, first as an Associate Professor, and from 1960 as a full professor. He was based at the University of Illinois, Urbana, for the rest of his life, but he loved Europe and spent much time there. He spent the years 1972-73 and 1978-79 at Oxford and wrote a joint paper An algebraic characterisation of groups with solvable word problem with Graham Higman during the first of these visits which is of major importance. It gives an algebraic characterisation of groups with soluble word problem connecting this property with embeddability in a simple group.
Don Collins recounts Boone's health problems in :-
As a young man Bill was thin and fit but he put on weight in his middle years and perhaps this in combination with his intense nature caused him to have a major heart attack in the spring of 1971. However, he recovered well and enjoyed good health throughout the 1970s. In December 1981 he became seriously ill with cancer of the pancreas but, after surgery, recovered and came to Oxford in the summer of 1982, looking well and sporting a white beard. By the spring of 1983, though, something was wrong again but eventually after further surgery he was deemed to be cured. Still in hospital, he was making good progress when he died suddenly of a heart attack.
Article by: J J O'Connor and E F Robertson
Click on this link to see a list of the Glossary entries for this page