Symmetric Set Theory: A General Theory of Isomorphism, Abstraction, and Representation
It is possible to represent a finite set of points (atoms) by a finite sequence of points. However a finite set of points has no distinguished member and therefore it is impossible to define a function which takes a finite set of points and returns a "first" point in that set. Thus i...
| Auteur principal: | |
|---|---|
| Langue: | en_US |
| Publié: |
2004
|
| Accès en ligne: | http://hdl.handle.net/1721.1/6381 |