🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: sci.logic
Article #841

Re: A Guide for Cantor Cranks

#841
From: Graham Cooper
Date: Mon, 21 Mar 2011 03:53
113 lines
5750 bytes
On Mar 21, 1:21 pm, William Hughes <wpihug...@gmail.com> wrote:
> On Mar 20, 11:54 pm, Graham Cooper <grahamcoop...@gmail.com> wrote:
>
>
>
>
>
> > On Mar 21, 11:51 am, William Hughes <wpihug...@gmail.com> wrote:
>
> > > On Mar 20, 10:48 pm, Graham Cooper <grahamcoop...@gmail.com> wrote:
>
> > > > On Mar 21, 11:36 am, William Hughes <wpihug...@gmail.com> wrote:
>
> > > > > On Mar 20, 10:26 pm, William Hughes <wpihug...@gmail.com> wrote:
>
> > > > > > On Mar 20, 11:32 am, Graham Cooper <grahamcoop...@gmail.com> wrote:
>
> > > > > > > On Mar 20, 8:51 am, William Hughes <wpihug...@gmail.com> wrote:
>
> > > > > > > > Can you give a specific example of a set theory in which
> > > > > > > > there is no example of
>
> > > > > > > >   There exists a collection E, such that given any list
> > > > > > > >   L of members of E, there exists a member of E not on the list.
>
> > > > > > > > ?
>
> > > > > > > Yep!  ZFC in fact!
>
> > > > > > > LIST1
> > > > > > > [0]001....
> > > > > > > 1[0]01....
> > > > > > > 00[0]1....
> > > > > > > 111[1]....
> > > > > > > ...
>
> > > > > > > DIAG1 = 0.0001...
>
> > > > > > > LIST2 = LIST1.ROWSWAP(1,2)
>
> > > > > > > [1]001....   = LIST1(Row2)
> > > > > > > 0[0]01....   = LIST1(Row1)
> > > > > > > 00[0]1....
> > > > > > > 111[1]....
> > > > > > > ...
>
> > > > > > > DIAG2 = 0.1001...
>
> > > > > > > I can submit either of DIAG1 or DIAG2 for the anti-diag proof.
>
> > > > > > > DIAG1 = 0.0001...
> > > > > > > DIAG2 = 0.1001...
>
> > > > > > > The digit expansions after digit 1 are identical.
>
> > > > > > They can't be.  They can be identical for any finite stretch
> > > > > > you like, however they cannot be identical for an infinite
> > > > > > stretch.
> > > > > >                         - William Hughes
>
> > > > > Well that was piffle  (I was thinking of something else).  The
> > > > > diagonals
> > > > > can clearly be the same.
>
> > > > > One real that is missing from the list is
>
> > > > > 0.1110...
>
> > > > >                    - William Hughes-
>
> > > > And another missing real, without looking too hard?
>
> > > There are lots and lots (indeed any random real will be
> > > missing from the list with probability 1.) However, I only
> > > need one so I wont look at all.
>
> > YOU WON'T LOOK AT ALL?
>
> No, I don't have to.  I have already noted that uncountably
> others exist.  And I acknowledge that you can get some by
> using "generalized" diagonals.  However, they are irrelevant
> to the claim that one such number exists.
>
> If you have a point to make, make it,  You are as capable
> of reversing DIAG2 as I am.


My point is you can't support your claim with 2 given diagonals.

I can't see the difference between

A/ refusing to support your claim with 2 diagonals
B/ incapable of supporting your claim with 2 diagonals

Looks the same fromm here!

Your proof is entirely bogus though!

1/ You don't create any new string of digits as the finite list
examples purport
2/ There are oo many diagonals to choose from

If you want to blindly dismiss your patently obvious flaws of
ARBITRARY DIGITS of the given diagaonal then I won't stop you.

These long Google threads are intractable.
Technical Details
Message-ID: <2298d465-e708-4801-be12-12c714cd98dc@f36g2000pri.googlegroups.com>
Path: arc1-ca.pugleaf.net!g2news2.google.com!postnews.google.com!f36g2000pri.googlegroups.com!not-for-mail
References: <40e69d0c-eb77-4308-996e-c7dfc1a0ec1e@j13g2000pro.googlegroups.com> <78c38433-7a35-4173-ac4a-39570f341327@a26g2000vbo.googlegroups.com> <BLOCKSPAMfishfry-E383BD.12311017032011@news.giganews.com> <746b151b-094b-4517-aa2c-35087d0b97da@r6g2000vbo.googlegroups.com> <8b844723-fc35-410b-b05c-dc4799ed1c35@f2g2000yqf.googlegroups.com> <d3c279c6-b0d0-4da0-9360-d0c7a91980fb@n2g2000prj.googlegroups.com> <adc08cec-9301-4754-9fcf-61ffc38b5b74@s18g2000vbe.googlegroups.com> <ad7ef639-a0c7-4421-a8ca-1f121439228d@b4g2000vby.googlegroups.com> <9268ac3b-e542-412c-8927-a2fe082e6fb0@f31g2000pri.googlegroups.com> <07a61ecc-e3fd-4304-9977-f4f2724ef652@w21g2000yqm.googlegroups.com> <83c8a047-2cc6-4ed2-a74f-8329656c4f9f@j35g2000prb.googlegroups.com> <2d9a4e44-18dc-43fd-bec1-056b7b4ba26d@x11g2000yqc.googlegroups.com>

Show Full Headers
Complete Article Headers
X-Google-Thread: 109d8a,bdbafb069b8118a7
X-Google-NewGroupId: yes
X-Google-Thread: f8362,bdbafb069b8118a7
X-Google-NewGroupId: yes
X-Google-Thread: 10b271,bdbafb069b8118a7
X-Google-NewGroupId: yes
X-Google-Thread: fd648,af7892021029fe4a
X-Google-NewGroupId: yes
X-Google-Attributes: gid9ef9b79ae9,gided4ff1f581,gid54ac8f410d,giddb42311052,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: arc1-ca.pugleaf.net!g2news2.google.com!postnews.google.com!f36g2000pri.googlegroups.com!not-for-mail
From: Graham Cooper <grahamcooper7@gmail.com>
Newsgroups: sci.logic,sci.math,comp.theory,sci.physics,aus.science
Subject: Re: A Guide for Cantor Cranks
Date: Sun, 20 Mar 2011 20:53:07 -0700 (PDT)
Organization: http://groups.google.com
Lines: 115
Message-ID: <2298d465-e708-4801-be12-12c714cd98dc@f36g2000pri.googlegroups.com>
References: <40e69d0c-eb77-4308-996e-c7dfc1a0ec1e@j13g2000pro.googlegroups.com>
 <78c38433-7a35-4173-ac4a-39570f341327@a26g2000vbo.googlegroups.com>
 <BLOCKSPAMfishfry-E383BD.12311017032011@news.giganews.com>
 <746b151b-094b-4517-aa2c-35087d0b97da@r6g2000vbo.googlegroups.com>
 <8b844723-fc35-410b-b05c-dc4799ed1c35@f2g2000yqf.googlegroups.com>
 <d3c279c6-b0d0-4da0-9360-d0c7a91980fb@n2g2000prj.googlegroups.com>
 <adc08cec-9301-4754-9fcf-61ffc38b5b74@s18g2000vbe.googlegroups.com>
 <ad7ef639-a0c7-4421-a8ca-1f121439228d@b4g2000vby.googlegroups.com>
 <9268ac3b-e542-412c-8927-a2fe082e6fb0@f31g2000pri.googlegroups.com>
 <07a61ecc-e3fd-4304-9977-f4f2724ef652@w21g2000yqm.googlegroups.com>
 <83c8a047-2cc6-4ed2-a74f-8329656c4f9f@j35g2000prb.googlegroups.com> <2d9a4e44-18dc-43fd-bec1-056b7b4ba26d@x11g2000yqc.googlegroups.com>
NNTP-Posting-Host: 120.17.70.168
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1300679587 3877 127.0.0.1 (21 Mar 2011 03:53:07 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 21 Mar 2011 03:53:07 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: f36g2000pri.googlegroups.com; posting-host=120.17.70.168; posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 8.0; Windows NT 6.1;
 Trident/4.0; SLCC2; .NET CLR 2.0.50727; .NET CLR 3.5.30729; .NET CLR
 3.0.30729; HPMTDF; BRI/2),gzip(gfe)