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:
“Among the virtues and vices that make up the British character, we have one vice, at least, that Americans ought to view with sympathy. For they appear to be the only people who share it with us. I mean our worship of the antique. I do not refer to beauty or even historical association. I refer to age, to a quantity of years.”
—William Golding (b. 1911)
“I begin, then, with some remarks about ‘the meaning of a word.’ I think many persons now see all or part of what I shall say: but not all do, and there is a tendency to forget, or to get it slightly wrong. In so far as I am merely flogging the converted, I apologize to them.”
—J.L. (John Langshaw)