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>


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

Original text of this message