Re: Questions on possreps
From: Keith H Duggar <duggar_at_alum.mit.edu>
Date: Wed, 15 Jun 2011 07:56:38 -0700 (PDT)
Message-ID: <c4157ee0-b328-43a3-943c-e1c3915995ed_at_k17g2000vbn.googlegroups.com>
Date: Wed, 15 Jun 2011 07:56:38 -0700 (PDT)
Message-ID: <c4157ee0-b328-43a3-943c-e1c3915995ed_at_k17g2000vbn.googlegroups.com>
On Jun 15, 10:47 am, Keith H Duggar <dug..._at_alum.mit.edu> wrote:
> deemed to be a selector for PLANE_FIGURE". But why? You give no
> reason why it is unreasonable. It seemed to that you introduced
> unnecessarily and thereby confused yourself.
"It seemed to me that you introduced /inheritance/ unnecessarily ..."
> Of course, since Darwen requires that selectors be total, in
> their scheme we cannot these "selectors". Fine. let's call them
> "constructors" and move along.
"... Darwen requires that selectors be /surjective/ ..."
KHD Received on Wed Jun 15 2011 - 16:56:38 CEST