Article View: sci.logic
Article #843Re: A Guide for Cantor Cranks
From: Graham Cooper
Date: Mon, 21 Mar 2011 06:33
Date: Mon, 21 Mar 2011 06:33
26 lines
3002 bytes
3002 bytes
On Mar 21, 2:30 pm, William Hughes <wpihug...@gmail.com> wrote: > > My point is you can't support your claim with 2 given diagonals. > > My claim is that given a list of binary sequences I can find a > sequence > not on the list. > > To support this claim I need only one diagonal. When you gave me > two diagonals I chose one and supported the claim. > > Your claim that you can get a generalized diagonal with any finite > prefix is true, but irrelevant. You cannot set the generalized > diagonal to an arbitrary sequence. > - William Hughes You haven't proven your sequence is not on the list in the 2 diagonal version. AD1 = 1110... AD2 = 0110... Can you prove EITHER real is missing from my (secret) list given only the above? IF YES, then by all means do so!
Technical Details
Message-ID:
<efc21f2f-acb7-475d-87ab-fbfa35208c4c@o15g2000prn.googlegroups.com>Path:
arc1-ca.pugleaf.net!g2news2.google.com!postnews.google.com!o15g2000prn.googlegroups.com!not-for-mailReferences:
<40e69d0c-eb77-4308-996e-c7dfc1a0ec1e@j13g2000pro.googlegroups.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> <2298d465-e708-4801-be12-12c714cd98dc@f36g2000pri.googlegroups.com> <2e445897-6fc0-488d-9ab5-fcd1c7dc703d@f30g2000yqa.googlegroups.com>Show Full Headers
Complete Article Headers
X-Google-Thread: fd648,af7892021029fe4a X-Google-NewGroupId: yes X-Google-Attributes: giddb42311052,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: arc1-ca.pugleaf.net!g2news2.google.com!postnews.google.com!o15g2000prn.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 23:33:13 -0700 (PDT) Organization: http://groups.google.com Lines: 28 Message-ID: <efc21f2f-acb7-475d-87ab-fbfa35208c4c@o15g2000prn.googlegroups.com> References: <40e69d0c-eb77-4308-996e-c7dfc1a0ec1e@j13g2000pro.googlegroups.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> <2298d465-e708-4801-be12-12c714cd98dc@f36g2000pri.googlegroups.com> <2e445897-6fc0-488d-9ab5-fcd1c7dc703d@f30g2000yqa.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 1300689193 27575 127.0.0.1 (21 Mar 2011 06:33:13 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Mon, 21 Mar 2011 06:33:13 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: o15g2000prn.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)