History
Kleene algebras were not defined by Kleene; he introduced regular expressions and asked for a complete set of axioms, which would allow derivation of all equations among regular expressions. The problem was first studied by John Horton Conway under the name of regular algebras. The axioms of Kleene algebras solve this problem, as was first shown by Dexter Kozen.
Read more about this topic: Kleene Algebra
Famous quotes containing the word history:
“The history of modern art is also the history of the progressive loss of art’s audience. Art has increasingly become the concern of the artist and the bafflement of the public.”
—Henry Geldzahler (1935–1994)
“When the history of this period is written, [William Jennings] Bryan will stand out as one of the most remarkable men of his generation and one of the biggest political men of our country.”
—William Howard Taft (1857–1930)
“There is no history of how bad became better.”
—Henry David Thoreau (1817–1862)