Historical Remarks
DeMorgan founded RA in 1860, but C. S. Peirce took it much further and became fascinated with its philosophical power. The work of DeMorgan and Peirce came to be known mainly in the extended and definitive form Ernst Schröder gave it in Vol. 3 of his Vorlesungen (1890–1905). Principia Mathematica drew strongly on Schröder's RA, but acknowledged him only as the inventor of the notation. In 1912, Alwin Korselt proved that a particular formula in which the quantifiers were nested 4 deep had no RA equivalent. This fact led to a loss of interest in RA until Tarski (1941) began writing about it. His students have continued to develop RA down to the present day. Tarski returned to RA in the 1970s with the help of Steven Givant; this collaboration resulted in the monograph by Tarski and Givant (1987), the definitive reference for this subject. For more on the history of RA, see Maddux (1991, 2006).
Read more about this topic: Relation Algebra
Famous quotes containing the words historical and/or remarks:
“Some of us still get all weepy when we think about the Gaia Hypothesis, the idea that earth is a big furry goddess-creature who resembles everybody’s mom in that she knows what’s best for us. But if you look at the historical record—Krakatoa, Mt. Vesuvius, Hurricane Charley, poison ivy, and so forth down the ages—you have to ask yourself: Whose side is she on, anyway?”
—Barbara Ehrenreich (b. 1941)
“Where do whites fit in the New Africa? Nowhere, I’m inclined to say ... and I do believe that it is true that even the gentlest and most westernised Africans would like the emotional idea of the continent entirely without the complication of the presence of the white man for a generation or two. But nowhere, as an answer for us whites, is in the same category as remarks like What’s the use of living? in the face of the threat of atomic radiation. We are living; we are in Africa.”
—Nadine Gordimer (b. 1923)