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 minds are as little logical or argumentative as nature; they can offer no reason or guess, but they exhibit the solemn and incontrovertible fact. If a historical question arises, they cause the tombs to be opened. Their silent and practical logic convinces the reason and the understanding at the same time. Of such sort is always the only pertinent question and the only satisfactory reply.”
—Henry David Thoreau (18171862)
“So, too, if, to our surprise, we should meet one of these morons whose remarks are so conspicuous a part of the folklore of the world of the radioremarks made without using either the tongue or the brain, spouted much like the spoutings of small whaleswe should recognize him as below the level of nature but not as below the level of the imagination.”
—Wallace Stevens (18791955)