Deutsch English Français Italiano |
<viqn7t$15e0l$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: FromTheRafters <FTR@nomail.afraid.org> Newsgroups: sci.math Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Date: Wed, 04 Dec 2024 18:05:28 -0500 Organization: Peripheral Visions Lines: 40 Message-ID: <viqn7t$15e0l$1@dont-email.me> References: <vg7cp8$9jka$1@dont-email.me> <vi7tnf$4oqa$1@dont-email.me> <23311c1a-1487-4ee4-a822-cd965bd024a0@att.net> <e9eb6455-ed0e-43f6-9a53-61aa3757d22d@tha.de> <71758f338eb239b7419418f49dfd8177c59d778b@i2pn2.org> <via83s$jk72$2@dont-email.me> <viag8h$lvep$1@dont-email.me> <viaj9q$l91n$1@dont-email.me> <vibvfo$10t7o$1@dont-email.me> <vic6m9$11mrq$4@dont-email.me> <vicbp2$1316h$1@dont-email.me> <vid4ts$1777k$2@dont-email.me> <vidcv3$18pdu$1@dont-email.me> <bdbc0e3d-1db2-4d6a-9f71-368d36d96b40@tha.de> <vier32$1madr$1@dont-email.me> <vierv5$1l1ot$2@dont-email.me> <viiqfd$2qq41$5@dont-email.me> <vik73d$3a9jm$1@dont-email.me> <vikg6c$3c4tu$1@dont-email.me> <9bcc128b-dea8-4397-9963-45c93d1c14c7@att.net> <vimvgd$3vv5r$9@dont-email.me> <50c82b03-8aa1-492c-9af3-4cf2673d6516@att.net> <vip5mo$p0da$1@dont-email.me> <vipb6l$qfig$1@dont-email.me> <Ys6dnfU1H4LIE836nZ2dnZfqnPudnZ2d@giganews.com> <viq6lb$11f89$1@dont-email.me> <viqbfk$12cus$1@dont-email.me> Reply-To: erratic.howard@gmail.com MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Thu, 05 Dec 2024 00:05:34 +0100 (CET) Injection-Info: dont-email.me; posting-host="fd485c10c792450e6329c5a42bd0887d"; logging-data="1226773"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/01kizdbcuDuNlCZDjAsVrk7INvLP3rJ4=" Cancel-Lock: sha1:7zWfxrjeByHZK0E33adlxlzN8J4= X-Newsreader: MesNews/1.08.06.00-gb X-ICQ: 1701145376 Bytes: 3402 Chris M. Thomasson used his keyboard to write : > On 12/4/2024 10:22 AM, FromTheRafters wrote: >> Ross Finlayson laid this down on his screen : >>> On 12/04/2024 02:33 AM, FromTheRafters wrote: >>>> WM formulated the question : >>>>> On 03.12.2024 21:34, Jim Burns wrote: >>>>>> On 12/3/2024 8:02 AM, WM wrote: >>>>> >>>>>>> E(1)∩E(2)∩...∩E(n) = E(n). >>>>>>> Sequences which are identical in every term >>>>>>> have identical limits. >>>>>> >>>>>> An empty intersection does not require >>>>>> an empty end.segment. >>>>> >>>>> A set of non-empty endsegments has a non-empty intersection. The >>>>> reason is inclusion-monotony. >>>> >>>> Conclusion not supported by facts. >>> >>> Is it "pair-wise" inclusion, or "super-task" inclusion? >>> >>> Which inclusion is of this conclusion? >>> >>> They differ, .... >> >> I like to look at it as {0,1,2,...} has a larger 'scope' of natural numbers >> than {1,2,3,...} while retaining the same set size. > > { 1 - 1, 2 - 1, 3 - 1, ... } = { 0, 1, 2, ... } > > { 0 + 1, 1 + 1, 2 + 1, ... } = { 1, 2, 3, ... } > > A direct mapping between them? Yes, which more than just hints at a bijection. A bijection doesn't care about the symbols, only some idea of 'same size' or 'just as many'. An intersection requires knowing what symbols are in each set in order to 'find' matches. His infinite intersection of all endsegment sets is doomed to failure in the first iteration.