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:
“It’s a very delicate surgical operation—to cut out the heart without killing the patient. The history of our country, however, is a very tough old patient, and we’ll do the best we can.”
—Dudley Nichols, U.S. screenwriter. Jean Renoir. Sorel (Philip Merivale)
“The true theater of history is therefore the temperate zone.”
—Georg Wilhelm Friedrich Hegel (1770–1831)
“I am ashamed to see what a shallow village tale our so-called History is. How many times must we say Rome, and Paris, and Constantinople! What does Rome know of rat and lizard? What are Olympiads and Consulates to these neighboring systems of being? Nay, what food or experience or succor have they for the Esquimaux seal-hunter, or the Kanaka in his canoe, for the fisherman, the stevedore, the porter?”
—Ralph Waldo Emerson (1803–1882)