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 view of Jerusalem is the history of the world; it is more, it is the history of earth and of heaven.”
—Benjamin Disraeli (1804–1881)
“The best history is but like the art of Rembrandt; it casts a vivid light on certain selected causes, on those which were best and greatest; it leaves all the rest in shadow and unseen.”
—Walter Bagehot (1826–1877)
“When the landscape buckles and jerks around, when a dust column of debris rises from the collapse of a block of buildings on bodies that could have been your own, when the staves of history fall awry and the barrel of time bursts apart, some turn to prayer, some to poetry: words in the memory, a stained book carried close to the body, the notebook scribbled by hand—a center of gravity.”
—Adrienne Rich (b. 1929)