
From:  Gabriel Dos Reis 
Subject:  Re: FW: data structure vs. mathematical structure (was: [Axiomdeveloper] Graph theory) 
Date:  14 Nov 2006 06:01:13 +0100 
"Bill Page" <address@hidden> writes: [...]  > Bill Page writes:  > ...  >   >  All domains that have SetCategory are required to have a hash  >  into SmallInteger.  >  > That is not a mathematical requirement.  >   I would tend to agree but perhaps Kurt GĂ¶del would not have... ;) >From constructive mathematics point of view, the only things that are required for a set are: (1) say how to build element of a set (2) equality test.  Gaby
[Prev in Thread]  Current Thread  [Next in Thread] 