Source: wikibot/william-boone-mathematician

= William Boone (mathematician)
{wiki=William_Boone_(mathematician)}

William Boone (born 1930) is an American mathematician known for his work in the field of mathematical logic, particularly in the area of group theory and formal languages. He is best known for providing examples of finitely generated groups that exhibit certain unexpected properties, contributing to the understanding of group structures. Boone is particularly recognized for his work on decision problems in group theory and for demonstrating that there are finitely presented groups for which the word problem is undecidable.