🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: sci.logic
Article #811

Re: A Guide for Cantor Cranks

#811
From: William Hughes
Date: Tue, 22 Mar 2011 12:16
115 lines
5294 bytes
On Mar 22, 8:39 am, Graham Cooper <grahamcoop...@gmail.com> wrote:
> On Mar 22, 9:04 pm, William Hughes <wpihug...@gmail.com> wrote:
>
>
>
>
>
>
>
>
>
> > On Mar 22, 12:44 am, William Hughes <wpihug...@gmail.com> wrote:
>
> > > On Mar 22, 12:38 am, Graham Cooper <grahamcoop...@gmail.com> wrote:
>
> > > > 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
>
> > > Please stop the transparent evasions and answer the question.
>
> > >                     - William Hughes
>
> > If you feel you have to put restrictions on "get" or "exists"
> > do so, but please attempt to be clear.
>
> I don't need to put a restriction on an infinite sequence of Exists
> d1, Exists d2...
>
> as I previously suggested.
>
> I am rechallenging your first declaration of 'making' a sequence from
> the identify diagonal.
>
> It's independent of the set of reals, so although it is defined, it
> is not specified.
>


Well, if you want to say that

L(1,1), L(2,2), L(3,3) ...

is not specified because it is possible to change L and
get something else, I can't stop you, but you are being
silly.

> i.e. you haven't specified any particular real or any exclusion of
> particular reals.
>
> If you have a point then get on with it, I have made my argument
> crystal clear in 20 different flavours, it fairly evident that I can
> generate ANY sequence of binary digits at all from the generalised
> diagonal.

Nope.  While you can generate almost all sequences, you cannot
gernerate
any sequence.  E.g.  you cannot generate an anti-row. Your
"crystal clear" argument is wrong because you confuse
almost all with al


> If you answer each question in my post instead of snipping it will
> save me backtracking 10 posts every time.
>
> Do you agree with the following.
>
> A SET HAS NO INTRINSIC ORDER

but a list does

> A SET MAY BE COUNTABLE

or uncountable

> THE 'PERMUTATION OF A SET' WHEN LISTED FOR INSPECTION/OUTPUT IS
> IRRELEVANT

so you can choose whichever permutation is most convenient

> THE DIAGONAL DEPENDS ON THE PERMUTATION

trivial

> THE DIAGONAL IS IRRELEVANT

Nope.  *Which* diagonal is irrelevant.  You can choose any
diagonal you want.



>
> No more responses where you go
>
> "NOPE!  TELL ME THE ROW WHERE THE ANTI-DIAGONAL IS!"
>
> That's a waste of time.

Clearly, since you refuse to admit that if there is
a list of all real numbers then it does not have
an anti-diagonal.

                 - William Hughes
Technical Details
Message-ID: <57b32129-d184-49c0-9343-2fefefa8cb45@17g2000prr.googlegroups.com>
Path: arc1-ca.pugleaf.net!g2news2.google.com!postnews.google.com!17g2000prr.googlegroups.com!not-for-mail
References: <40e69d0c-eb77-4308-996e-c7dfc1a0ec1e@j13g2000pro.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> <ea46382d-4ac7-4d5b-8d93-e6927e6d0f99@y31g2000prd.googlegroups.com> <7d043f73-a1fa-401e-9d9a-ab27353e3582@d28g2000yqf.googlegroups.com> <3ea67e8d-976a-4829-b02e-b088af1e600e@z3g2000prz.googlegroups.com> <7726ca8d-3258-4702-9425-c9eed9751e84@o15g2000prn.googlegroups.com>

Show Full Headers
Complete Article Headers
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: gided4ff1f581,gid54ac8f410d,giddb42311052,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: arc1-ca.pugleaf.net!g2news2.google.com!postnews.google.com!17g2000prr.googlegroups.com!not-for-mail
From: William Hughes <wpihughes@gmail.com>
Newsgroups: sci.logic,sci.math,comp.theory,sci.physics,aus.science
Subject: Re: A Guide for Cantor Cranks
Date: Tue, 22 Mar 2011 05:16:08 -0700 (PDT)
Organization: http://groups.google.com
Lines: 115
Message-ID: <57b32129-d184-49c0-9343-2fefefa8cb45@17g2000prr.googlegroups.com>
References: <40e69d0c-eb77-4308-996e-c7dfc1a0ec1e@j13g2000pro.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>
 <ea46382d-4ac7-4d5b-8d93-e6927e6d0f99@y31g2000prd.googlegroups.com>
 <7d043f73-a1fa-401e-9d9a-ab27353e3582@d28g2000yqf.googlegroups.com>
 <3ea67e8d-976a-4829-b02e-b088af1e600e@z3g2000prz.googlegroups.com> <7726ca8d-3258-4702-9425-c9eed9751e84@o15g2000prn.googlegroups.com>
NNTP-Posting-Host: 142.167.66.248
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1300796169 14813 127.0.0.1 (22 Mar 2011 12:16:09 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 22 Mar 2011 12:16:09 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: 17g2000prr.googlegroups.com; posting-host=142.167.66.248; posting-account=1lE9SQkAAADFrJsDv61dh1YXcJ_ahy5I
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 6.1; en-US)
 AppleWebKit/534.16 (KHTML, like Gecko) Chrome/10.0.648.151 Safari/534.16,gzip(gfe)