[prev in list] [next in list] [prev in thread] [next in thread] 

List:       xml-dev
Subject:    Re: [xml-dev] An element that contains itself
From:       Shaun McCance <shaunm () gnome ! org>
Date:       2014-08-06 17:31:25
Message-ID: 1407346285.13595.242.camel () recto
[Download RAW message or body]

On Sun, 2014-08-03 at 19:09 +0000, Costello, Roger L. wrote:
> Long ago (in the last half of the nineteenth century) some very smart
> people sought to build a solid foundation for mathematics. They
> decided to use sets as the foundation. They defined a set as:
> 
> 	A set is a collection of distinct objects.
> 
> However, with that definition a set can contain itself, just like this
> entity contains itself: 
> 
> <!ENTITY Set "&A; &B; &Set;">
> 
> A fellow by the name of Bertrand Russell realized the problem with
> allowing a set to contain itself (the problem he identified became
> known as Russell's Paradox), so the mathematicians changed the
> definition of set to this:
> 
> 	A set of a collection of distinct objects, 
> 	none of which is the set itself.

Sorry, this just isn't true. Set are allowed to contain themselves in
every formulation of set theory I've ever seen. Mathematicians have no
problem whatsoever with the idea that a set contains itself.

Russell's paradox concerns defining a set to contain all sets that do
not contain themselves. Does that set contain itself? The paradox is
solved in ZFC, the most common axiomatization of set theory, basically
by not assuming that a set must exist just because your language allows
you to describe it.

--
Shaun



_______________________________________________________________________

XML-DEV is a publicly archived, unmoderated list hosted by OASIS
to support XML implementation and development. To minimize
spam in the archives, you must subscribe before posting.

[Un]Subscribe/change address: http://www.oasis-open.org/mlmanage/
Or unsubscribe: xml-dev-unsubscribe@lists.xml.org
subscribe: xml-dev-subscribe@lists.xml.org
List archive: http://lists.xml.org/archives/xml-dev/
List Guidelines: http://www.oasis-open.org/maillists/guidelines.php

[prev in list] [next in list] [prev in thread] [next in thread]