skip to content
Symmetric Set Theory, a General Theory of Isomorphism, Abstraction, and Representation. Preview this item
ClosePreview this item
Checking...

Symmetric Set Theory, a General Theory of Isomorphism, Abstraction, and Representation.

Author: David Allen McAllester; T Poggio; B L Rosser; MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB.
Publisher: Ft. Belvoir Defense Technical Information Center AUG 1983.
Edition/Format:   Print book : English
Database:WorldCat
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: David Allen McAllester; T Poggio; B L Rosser; MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB.
OCLC Number: 227596008
Description: 31 pages

Abstract:

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 this 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 defintions 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. (Author).

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/227596008> # Symmetric Set Theory, a General Theory of Isomorphism, Abstraction, and Representation.
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "227596008" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vau> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1862868836#Place/ft_belvoir> ; # Ft. Belvoir
    schema:about <http://experiment.worldcat.org/entity/work/data/1862868836#Topic/observation> ; # Observation
    schema:about <http://experiment.worldcat.org/entity/work/data/1862868836#Topic/data_bases> ; # Data bases
    schema:about <http://experiment.worldcat.org/entity/work/data/1862868836#Topic/points_mathematics> ; # Points(Mathematics)
    schema:about <http://experiment.worldcat.org/entity/work/data/1862868836#Topic/symmetry> ; # Symmetry
    schema:about <http://experiment.worldcat.org/entity/work/data/1862868836#Topic/theoretical_mathematics> ; # Theoretical Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/1862868836#Topic/reasoning> ; # Reasoning
    schema:about <http://experiment.worldcat.org/entity/work/data/1862868836#Topic/sequences_mathematics> ; # Sequences(Mathematics)
    schema:about <http://experiment.worldcat.org/entity/work/data/1862868836#Topic/metamathematics> ; # Metamathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/1862868836#Topic/set_theory> ; # Set theory
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1862868836#Person/poggio_t> ; # T. Poggio
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1862868836#Person/mcallester_david_allen> ; # David Allen McAllester
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1862868836#Organization/massachusetts_inst_of_tech_cambridge_artificial_intelligence_lab> ; # MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB.
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1862868836#Person/rosser_b_l> ; # B. L. Rosser
    schema:datePublished "AUG 1983" ;
    schema:datePublished "1983" ;
    schema: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 this 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 defintions 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. (Author)."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1862868836> ;
    schema:inLanguage "en" ;
    schema:name "Symmetric Set Theory, a General Theory of Isomorphism, Abstraction, and Representation."@en ;
    schema:productID "227596008" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/227596008#PublicationEvent/ft_belvoirdefense_technical_information_centeraug_1983> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1862868836#Agent/defense_technical_information_center> ; # Defense Technical Information Center
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/227596008> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1862868836#Agent/defense_technical_information_center> # Defense Technical Information Center
    a bgn:Agent ;
    schema:name "Defense Technical Information Center" ;
    .

<http://experiment.worldcat.org/entity/work/data/1862868836#Organization/massachusetts_inst_of_tech_cambridge_artificial_intelligence_lab> # MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB.
    a schema:Organization ;
    schema:name "MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB." ;
    .

<http://experiment.worldcat.org/entity/work/data/1862868836#Person/mcallester_david_allen> # David Allen McAllester
    a schema:Person ;
    schema:familyName "McAllester" ;
    schema:givenName "David Allen" ;
    schema:name "David Allen McAllester" ;
    .

<http://experiment.worldcat.org/entity/work/data/1862868836#Person/poggio_t> # T. Poggio
    a schema:Person ;
    schema:familyName "Poggio" ;
    schema:givenName "T." ;
    schema:name "T. Poggio" ;
    .

<http://experiment.worldcat.org/entity/work/data/1862868836#Person/rosser_b_l> # B. L. Rosser
    a schema:Person ;
    schema:familyName "Rosser" ;
    schema:givenName "B. L." ;
    schema:name "B. L. Rosser" ;
    .

<http://experiment.worldcat.org/entity/work/data/1862868836#Topic/points_mathematics> # Points(Mathematics)
    a schema:Intangible ;
    schema:name "Points(Mathematics)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1862868836#Topic/sequences_mathematics> # Sequences(Mathematics)
    a schema:Intangible ;
    schema:name "Sequences(Mathematics)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1862868836#Topic/theoretical_mathematics> # Theoretical Mathematics
    a schema:Intangible ;
    schema:name "Theoretical Mathematics"@en ;
    .

<http://www.worldcat.org/title/-/oclc/227596008>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/227596008> ; # Symmetric Set Theory, a General Theory of Isomorphism, Abstraction, and Representation.
    schema:dateModified "2015-07-29" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.