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...
| Main Author: | |
|---|---|
| Language: | en_US |
| Published: |
2004
|
| Online Access: | http://hdl.handle.net/1721.1/6381 |
| _version_ | 1826207777528217600 |
|---|---|
| author | McAllester, David Allen |
| author_facet | McAllester, David Allen |
| author_sort | McAllester, David Allen |
| collection | MIT |
| description | 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 it is impossible to represent a finite sequence of points by a finite set of points. The theory of symmetric sets provides a framework in which the observation about sets and sequences can be proven. The theory of symmetric sets is similar to classical (Zermello-Fraenkel) set theory with the exception that the universe of symmetric sets includes points (ur-elements). Points provide a basis for general notions of isomorphism and symmetry. The general notions of isomorphism and symmetry in turn provide a basis for natural, simple, and universal definitions of abstractness, essential properties and functions, canonicality, and representations. It is expected that these notions will play an important role in the theory of data structures and in the construction of general techniques for reasoning about data structures. |
| first_indexed | 2024-09-23T13:54:47Z |
| id | mit-1721.1/6381 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T13:54:47Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | mit-1721.1/63812019-04-11T01:11:32Z Symmetric Set Theory: A General Theory of Isomorphism, Abstraction, and Representation McAllester, David Allen 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 it is impossible to represent a finite sequence of points by a finite set of points. The theory of symmetric sets provides a framework in which the observation about sets and sequences can be proven. The theory of symmetric sets is similar to classical (Zermello-Fraenkel) set theory with the exception that the universe of symmetric sets includes points (ur-elements). Points provide a basis for general notions of isomorphism and symmetry. The general notions of isomorphism and symmetry in turn provide a basis for natural, simple, and universal definitions of abstractness, essential properties and functions, canonicality, and representations. It is expected that these notions will play an important role in the theory of data structures and in the construction of general techniques for reasoning about data structures. 2004-10-04T14:54:09Z 2004-10-04T14:54:09Z 1983-08-01 AIM-710 http://hdl.handle.net/1721.1/6381 en_US AIM-710 5159955 bytes 4041756 bytes application/postscript application/pdf application/postscript application/pdf |
| spellingShingle | McAllester, David Allen Symmetric Set Theory: A General Theory of Isomorphism, Abstraction, and Representation |
| title | Symmetric Set Theory: A General Theory of Isomorphism, Abstraction, and Representation |
| title_full | Symmetric Set Theory: A General Theory of Isomorphism, Abstraction, and Representation |
| title_fullStr | Symmetric Set Theory: A General Theory of Isomorphism, Abstraction, and Representation |
| title_full_unstemmed | Symmetric Set Theory: A General Theory of Isomorphism, Abstraction, and Representation |
| title_short | Symmetric Set Theory: A General Theory of Isomorphism, Abstraction, and Representation |
| title_sort | symmetric set theory a general theory of isomorphism abstraction and representation |
| url | http://hdl.handle.net/1721.1/6381 |
| work_keys_str_mv | AT mcallesterdavidallen symmetricsettheoryageneraltheoryofisomorphismabstractionandrepresentation |