🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: sci.logic
Article #805

Re: A Guide for Cantor Cranks

#805
From: Graham Cooper
Date: Tue, 22 Mar 2011 03:38
141 lines
6199 bytes
On Mar 22, 12:28 pm, William Hughes <wpihug...@gmail.com> wrote:
> > > Do you really thing that there is a binary sequence
> > > from which you cannot get another binary sequence
> > > by changing every 0 to 1 and every 1 to 0?
>
> > Define GET.
>
> Given a binary sequence b does there exist a binary
> sequence b' such that wherever b has a 0, b' has a 1
> and wherever b has a 1 b' has a 0?


Define exists where
exists n1, n2, ...
is defined




>
>
>
>
>
>
>
> > > > but you can make any sequence from any diagonal.
>
> > > Almost, but only by shuffling rows and getting
> > > new list.  And you can't make any sequence,
> > > just most sequences.
>
> > > > Take your pick.  D[1] = 0..9  D[2] = 0..9  D[3] = 0..9  ....
>
> > > > Will you answer my question whether your claim is equivalent/also
> > > > to give a missing real from any generalised diagonal,
>
> > > Yes, I have already said so numerous times.  There is nothing
> > > special about the "main diagonal" it is just the one I
> > > happen to use.
>
> > > > and if that is equivalent to the concealed digits methodology?
>
> > > If you cleaned this up to the point one could be relatively
> > > certain, probably.
>
> > >                         - William Hughes-
>
> > If you keep being honest Will you will have to accept the truth!
>
> > Now you are ready!  To return to THIS question about this particular
> > Infinite Random Digit Plane
>
> Look very finite to me
>
>
>
>
>
> > 1xxxxxxxxxxxxxxxxxxxxxxx
> > xxxxxxxx1xxxxxxxxxxxxxxx
> > xxxx0xxxxxxxxxxxxxxxxxxx
> > xxxxxxxxxxxxx1xxxxxxxxxx
> > x0xxxxxxxxxxxxxxxxxxxxxx
> > xxxxxxxxxxxx0xxxxxxxxxxx
> > xxx1xxxxxxxxxxxxxxxxxxxx
> > xxxxxxxxxxx1xxxxxxxxxxxx
> > xxxxxxx1xxxxxxxxxxxxxxxx
> > xx1xxxxxxxxxxxxxxxxxxxxx
> > xxxxxxxxxx1xxxxxxxxxxxxx
> > xxxxxx0xxxxxxxxxxxxxxxxx
> > xxxxxxxxxxxxxx1xxxxxxxxx
> > xxxxxxxxx0xxxxxxxxxxxxxx
> > xxxxx1xxxxxxxxxxxxxxxxxx
> > xxxxxxxxxxxxxxxxxxxx1xxx
> > xxxxxxxxxxxxxxx0xxxxxxxx
> > xxxxxxxxxxxxxxxxx1xxxxxx
> > xxxxxxxxxxxxxxxxxxx1xxxx
> > xxxxxxxxxxxxxxxx0xxxxxxx
> > xxxxxxxxxxxxxxxxxx1xxxxx
> > xxxxxxxxxxxxxxxxxxxxx0xx
> > xxxxxxxxxxxxxxxxxxxxxx1x
> > xxxxxxxxxxxxxxxxxxxxxxx1
>
> > Is that sufficient information for you to prove higher infinite sets
>
> No, of course not.  To start with it is not even infinite.
> The most you can say is that however you fill in the x's
> the list will not contain
>
> 010010100100100110000100
>
>                                  - William Hughes-



It's a pictograph of an infinite plane, as stated.

If I say THIS LINE HAS INFINITE LENGTH

---------------

then you can imply the syntax object .... or -> or whatever you wish.

Try again in your native notation.


1xxxxxxxxxxxxxxxxxxxxxxx ..
xxxxxxxx1xxxxxxxxxxxxxxx ..
xxxx0xxxxxxxxxxxxxxxxxxx ..
xxxxxxxxxxxxx1xxxxxxxxxx ..
x0xxxxxxxxxxxxxxxxxxxxxx ..
xxxxxxxxxxxx0xxxxxxxxxxx ..
xxx1xxxxxxxxxxxxxxxxxxxx ..
xxxxxxxxxxx1xxxxxxxxxxxx ..
xxxxxxx1xxxxxxxxxxxxxxxx ..
xx1xxxxxxxxxxxxxxxxxxxxx ..
xxxxxxxxxx1xxxxxxxxxxxxx ..
xxxxxx0xxxxxxxxxxxxxxxxx ..
xxxxxxxxxxxxxx1xxxxxxxxx ..
xxxxxxxxx0xxxxxxxxxxxxxx ..
xxxxx1xxxxxxxxxxxxxxxxxx ..
xxxxxxxxxxxxxxxxxxxx1xxx ..
xxxxxxxxxxxxxxx0xxxxxxxx ..
xxxxxxxxxxxxxxxxx1xxxxxx ..
xxxxxxxxxxxxxxxxxxx1xxxx ..
xxxxxxxxxxxxxxxx0xxxxxxx ..
xxxxxxxxxxxxxxxxxx1xxxxx ..
xxxxxxxxxxxxxxxxxxxxx0xx ..
xxxxxxxxxxxxxxxxxxxxxx1x ..
xxxxxxxxxxxxxxxxxxxxxxx1 ..
..


Is this partial particular infinite list of reals sufficient
to establish it's incompleteness?

* you can list any assumptions about the above partial list that you
may need.
Technical Details
Message-ID: <ea46382d-4ac7-4d5b-8d93-e6927e6d0f99@y31g2000prd.googlegroups.com>
Path: arc1-ca.pugleaf.net!g2news2.google.com!postnews.google.com!y31g2000prd.googlegroups.com!not-for-mail
References: <40e69d0c-eb77-4308-996e-c7dfc1a0ec1e@j13g2000pro.googlegroups.com> <0a04118c-f5e5-4d09-ab5a-e8df3212dc71@i4g2000pro.googlegroups.com> <72a0e3f5-9728-4be9-8fdb-0b73e3d855c7@d12g2000prj.googlegroups.com> <32625bfd-e1d6-4ee6-b3a6-b26f77abc437@t19g2000prd.googlegroups.com> <f129e0bc-51d6-4ca2-a4b0-2880d77f7430@x8g2000prh.googlegroups.com> <b8aa5784-cf67-45f7-a2a3-8fb846dd5e13@i35g2000prd.googlegroups.com> <0b1f820e-6e15-4169-b69a-63a7cd7254ab@i4g2000pro.googlegroups.com> <4f02cf44-2d47-4c18-8a39-4d7f7b07497e@n2g2000prj.googlegroups.com> <725d4daa-6b98-4286-83e6-1619fa2a8b3c@k15g2000prk.googlegroups.com> <6f430fa7-a29a-4bca-a208-782931687ea3@o15g2000prn.googlegroups.com> <1eb5066d-c62d-4485-ac45-257820a550f3@f31g2000pri.googlegroups.com> <f0e2f811-c4cc-46ea-a572-8971d6501557@q12g2000prb.googlegroups.com>

Show Full Headers
Complete Article Headers
X-Google-Thread: 10cc56,bdbafb069b8118a7
X-Google-NewGroupId: yes
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: gide4b186767d,gid9ef9b79ae9,gided4ff1f581,gid54ac8f410d,giddb42311052,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: arc1-ca.pugleaf.net!g2news2.google.com!postnews.google.com!y31g2000prd.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: Mon, 21 Mar 2011 20:38:22 -0700 (PDT)
Organization: http://groups.google.com
Lines: 141
Message-ID: <ea46382d-4ac7-4d5b-8d93-e6927e6d0f99@y31g2000prd.googlegroups.com>
References: <40e69d0c-eb77-4308-996e-c7dfc1a0ec1e@j13g2000pro.googlegroups.com>
 <0a04118c-f5e5-4d09-ab5a-e8df3212dc71@i4g2000pro.googlegroups.com>
 <72a0e3f5-9728-4be9-8fdb-0b73e3d855c7@d12g2000prj.googlegroups.com>
 <32625bfd-e1d6-4ee6-b3a6-b26f77abc437@t19g2000prd.googlegroups.com>
 <f129e0bc-51d6-4ca2-a4b0-2880d77f7430@x8g2000prh.googlegroups.com>
 <b8aa5784-cf67-45f7-a2a3-8fb846dd5e13@i35g2000prd.googlegroups.com>
 <0b1f820e-6e15-4169-b69a-63a7cd7254ab@i4g2000pro.googlegroups.com>
 <4f02cf44-2d47-4c18-8a39-4d7f7b07497e@n2g2000prj.googlegroups.com>
 <725d4daa-6b98-4286-83e6-1619fa2a8b3c@k15g2000prk.googlegroups.com>
 <6f430fa7-a29a-4bca-a208-782931687ea3@o15g2000prn.googlegroups.com>
 <1eb5066d-c62d-4485-ac45-257820a550f3@f31g2000pri.googlegroups.com> <f0e2f811-c4cc-46ea-a572-8971d6501557@q12g2000prb.googlegroups.com>
NNTP-Posting-Host: 120.17.246.228
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1300765103 19029 127.0.0.1 (22 Mar 2011 03:38:23 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 22 Mar 2011 03:38:23 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: y31g2000prd.googlegroups.com; posting-host=120.17.246.228; 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)