Re: Is Inheritance in RM possible?

Roy Hann wrote:
[...]
>RM is concerned only with predicate logic
> (c. 2000 years old) and set theory (c. 300 years old).

It's a bizarre chronology. As is well known, both set theory and predicate logic start with works of Cantor and Frege respectively (Aristotelian logic notwithstanding), both of whom published their works circa 1879 which makes the theories at most 130 year old.

[...]
>
> Roy
Received on Wed Dec 14 2005 - 19:15:38 CET