Article View: sci.logic
Article #791Re: A Guide for Cantor Cranks
From: MoeBlee
Date: Sun, 27 Mar 2011 22:36
Date: Sun, 27 Mar 2011 22:36
22 lines
3475 bytes
3475 bytes
On Mar 27, 2:23 pm, Transfer Principle <lwal...@lausd.net> wrote: > On Mar 25, 7:50 am, MoeBlee <jazzm...@hotmail.com> wrote: > > > On Mar 24, 7:05 pm, Albrecht <albst...@gmx.de> wrote: > > > I have the axiom of infinity in mind. And the combination of the > > > power set axiom with the axiom of infinity. Without these axioms the > > > interpretation of the diagonal argument of Cantor is completely > > > different from the common interpretation. > > Statements like that aren't constructive mathematics or finitist > > mathematics or ultra-finitist mathematics. Just ignoramus mathematics. > > So merely stating that all known proofs in ZF of the existence > of uncountable sets (i.e., what Cantor's diagonal argument is > designed to prove) require both Infinity and Powerset is now > considered "ignoramus mathematics"? No. I have no idea why you ask that question. I did not say nor imply that "stating that all known proofs in ZF of the existence of uncountable sets require both Infinity and Powerset [makes one an ignoramus]." MoeBlee
Technical Details
Message-ID:
<65ad9136-326c-454d-b3e0-64a53d315865@z20g2000yqe.googlegroups.com>Path:
arc1-ca.pugleaf.net!g2news2.google.com!postnews.google.com!z20g2000yqe.googlegroups.com!not-for-mailReferences:
<40e69d0c-eb77-4308-996e-c7dfc1a0ec1e@j13g2000pro.googlegroups.com> <9c851574-eb70-45c4-b6e3-9351a7679223@k30g2000yqb.googlegroups.com> <92a4e0aa-6497-4357-8a6b-ecc706fa10f5@d26g2000prn.googlegroups.com> <5d2c87a8-5926-4b27-a445-3bc3ab5c98d0@u3g2000vbe.googlegroups.com> <35760f05-df0e-4c29-85c0-08f98cf10a42@s18g2000prg.googlegroups.com> <521e5cfe-5269-4d9a-ab45-5e8cf597b2d1@y31g2000vbp.googlegroups.com> <971970b6-b722-4f38-96cb-4aef5f17e96e@b22g2000prb.googlegroups.com> <d9d86644-ea52-4f53-ba2f-42d2718630c0@k7g2000yqj.googlegroups.com> <b05355b2-d80e-47ec-9c3b-43e7bc40ab32@22g2000prx.googlegroups.com> <4D8B5041.9060702@osu.edu> <936fb9f1-da8e-4533-93a1-15cf5d060cc5@k7g2000yqj.googlegroups.com> <357b5567-048f-41ad-bb72-b662b2fd0163@k22g2000yqh.googlegroups.com> <a1dcf298-c9ac-493b-8f84-aba738455b49@i35g2000prd.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!z20g2000yqe.googlegroups.com!not-for-mail From: MoeBlee <jazzmobe@hotmail.com> Newsgroups: sci.logic,sci.math,comp.theory,sci.physics,aus.science Subject: Re: A Guide for Cantor Cranks Date: Sun, 27 Mar 2011 15:36:16 -0700 (PDT) Organization: http://groups.google.com Lines: 23 Message-ID: <65ad9136-326c-454d-b3e0-64a53d315865@z20g2000yqe.googlegroups.com> References: <40e69d0c-eb77-4308-996e-c7dfc1a0ec1e@j13g2000pro.googlegroups.com> <9c851574-eb70-45c4-b6e3-9351a7679223@k30g2000yqb.googlegroups.com> <92a4e0aa-6497-4357-8a6b-ecc706fa10f5@d26g2000prn.googlegroups.com> <5d2c87a8-5926-4b27-a445-3bc3ab5c98d0@u3g2000vbe.googlegroups.com> <35760f05-df0e-4c29-85c0-08f98cf10a42@s18g2000prg.googlegroups.com> <521e5cfe-5269-4d9a-ab45-5e8cf597b2d1@y31g2000vbp.googlegroups.com> <971970b6-b722-4f38-96cb-4aef5f17e96e@b22g2000prb.googlegroups.com> <d9d86644-ea52-4f53-ba2f-42d2718630c0@k7g2000yqj.googlegroups.com> <b05355b2-d80e-47ec-9c3b-43e7bc40ab32@22g2000prx.googlegroups.com> <4D8B5041.9060702@osu.edu> <936fb9f1-da8e-4533-93a1-15cf5d060cc5@k7g2000yqj.googlegroups.com> <357b5567-048f-41ad-bb72-b662b2fd0163@k22g2000yqh.googlegroups.com> <a1dcf298-c9ac-493b-8f84-aba738455b49@i35g2000prd.googlegroups.com> NNTP-Posting-Host: 71.42.137.8 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1301265376 31194 127.0.0.1 (27 Mar 2011 22:36:16 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Sun, 27 Mar 2011 22:36:16 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: z20g2000yqe.googlegroups.com; posting-host=71.42.137.8; posting-account=EL3hgwoAAABtyRFrR2z7EBO1tnJeMiO7 User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.9.2.3) Gecko/20100401 Firefox/3.6.3,gzip(gfe)