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:
“This seems a long while ago, and yet it happened since Milton wrote his Paradise Lost. But its antiquity is not the less great for that, for we do not regulate our historical time by the English standard, nor did the English by the Roman, nor the Roman by the Greek.... From this September afternoon, and from between these now cultivated shores, those times seemed more remote than the dark ages.”
—Henry David Thoreau (1817–1862)
“There are remarks that sow and remarks that reap.”
—Ludwig Wittgenstein (1889–1951)