|
From: | Gabriel Dos Reis |
Subject: | Re: FW: data structure vs. mathematical structure (was: [Axiom-developer] 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] |