Article View: sci.logic
Article #811Re: A Guide for Cantor Cranks
From: William Hughes
Date: Tue, 22 Mar 2011 12:16
Date: Tue, 22 Mar 2011 12:16
115 lines
5294 bytes
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-mailReferences:
<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)