From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,229ea0001655d6a2 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Newsgroups: comp.lang.ada Subject: Re: Generic Package References: <1177539306.952515.222940@s33g2000prh.googlegroups.com> <1177601484.444701.171560@r35g2000prh.googlegroups.com> <9eejm6rqip.fsf@hod.lan.m-e-leypold.de> <19qllkvm6ut42$.1iqo74vjgmsrv$.dlg@40tude.net> <1177801611.10171.32.camel@localhost.localdomain> <1woad6hn9idy2$.6otnwphc1o0h$.dlg@40tude.net> <1177929029.6111.34.camel@localhost> <1177944533.13970.17.camel@localhost> <2aq08qbvw0ym$.1rquampzo7o53.dlg@40tude.net> <1ieq3io2d6nnq$.13818v3y35gnr.dlg@40tude.net> <1178010142.6695.29.camel@localhost.localdomain> <1178026941.16837.88.camel@localhost.localdomain> <1ozvzzh59ebq8$.yeh9do8s3hig$.dlg@40tude.net> <1178055690.27673.39.camel@localhost.localdomain> From: Markus E Leypold Organization: N/A Date: Wed, 02 May 2007 10:22:14 +0200 Message-ID: User-Agent: Some cool user agent (SCUG) Cancel-Lock: sha1:0POdwJmzqD1yZgnXwlJwrRGkJWc= MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii NNTP-Posting-Host: 88.72.252.103 X-Trace: news.arcor-ip.de 1178093644 88.72.252.103 (2 May 2007 10:14:04 +0200) X-Complaints-To: abuse@arcor-ip.de Path: g2news1.google.com!news4.google.com!feeder3.cambrium.nl!feed.tweaknews.nl!newsfeed0.kamp.net!newsfeed.kamp.net!news.unit0.net!newsfeed.arcor-ip.de!news.arcor-ip.de!not-for-mail Xref: g2news1.google.com comp.lang.ada:15456 Date: 2007-05-02T10:22:14+02:00 List-Id: Ray Blaak writes: > Georg Bauhaus writes: >> > > As you can see, there is some order again but I don't have to know >> > > the order. (Finding a first book (and then the next book) is the >> > > job of the librarian, not mine.) >> > >> > Librarian is the interface. If it finds first book then that is a publicly >> > ordered set = you _can_ know the order without breaking the abstraction. >> >> ? >> The first book might be determined by whatever order the librarian >> thinks he should choose this time. Nothing I could determine beforehand. >> The order(s), if any, isn't/aren't publicly known. > > Change it to: > > As you can see, there is some order again but I don't have to know the > order. (Finding any book (and then another arbitrary book from the remainder) > is the job of the librarian, not mine.) > > And that should be precise enough for everyone here. > > There is no first book as such in the set. There is only the first one that > was given to you, which is not knowable in advance. There is considerable confusion about what "order" means here. An order is a binary relation with certain properties defined on the set of all elements (the base set). The sets we're talking about are subsets of that set of all elements. Talking about the data type 'ordered set' means, I have to specify one constant order on the base set before instantiating or implementing the ordered set type. The fact that some ad-hoc ordering of a given subset occurs during iteration does not mean that the data type suddenly becomes ordered: This is just an artifact of sequential data processing in languages the specifiy operations as occuring sequentially in time. My impression is (from DKs axiom of choice argument and DKs uncoutable set example) that he seems to argue that there are unorderable sets in mathematics (sets for which no order could be provided), but this has no bearing on iteration (see the real numbers: can be ordered, but cannot be iterated over). Even worse: All that has no bearing on his original statement "one cannot iterate over relational tables" (those a finite) and his second implied statement that one cannot iterate over sets (one can, but obviously not over all kind of sets like algebraically expressed subsets of real numbers, but that has nothing to do with order, only with countability). I'm quite sure, DKs problem cannot be written down formally since it doesn't even exists, except in the twilight between free associations, hand waving arguments and exchanged all and existence quantors (see the misunderstandings about order). It is much more difficult to argue against arguments and misconceptions that have not been expressed exactly (because the battle ground tends to shift) than any other false statement. Regards -- Markus