Article View: sci.logic
Article #789Re: A Guide for Cantor Cranks
From: Transfer Principle
Date: Sun, 27 Mar 2011 19:23
Date: Sun, 27 Mar 2011 19:23
17 lines
3150 bytes
3150 bytes
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"? Of course, if there really is a proof in ZF-Infinity or ZF-Powerset of the existence of uncountable sets, only then will I agree that Albrecht's post is "ignoramus mathematics."
Technical Details
Message-ID:
<a1dcf298-c9ac-493b-8f84-aba738455b49@i35g2000prd.googlegroups.com>Path:
arc1-ca.pugleaf.net!g2news2.google.com!postnews.google.com!i35g2000prd.googlegroups.com!not-for-mailReferences:
<40e69d0c-eb77-4308-996e-c7dfc1a0ec1e@j13g2000pro.googlegroups.com> <efc21f2f-acb7-475d-87ab-fbfa35208c4c@o15g2000prn.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>Show Full Headers
Complete Article Headers
X-Google-Thread: 10b271,bdbafb069b8118a7 X-Google-NewGroupId: yes X-Google-Thread: fd648,af7892021029fe4a X-Google-NewGroupId: yes X-Google-Attributes: gid54ac8f410d,giddb42311052,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: arc1-ca.pugleaf.net!g2news2.google.com!postnews.google.com!i35g2000prd.googlegroups.com!not-for-mail From: Transfer Principle <lwalke3@lausd.net> Newsgroups: sci.logic,sci.math,comp.theory,sci.physics,aus.science Subject: Re: A Guide for Cantor Cranks Date: Sun, 27 Mar 2011 12:23:10 -0700 (PDT) Organization: http://groups.google.com Lines: 17 Message-ID: <a1dcf298-c9ac-493b-8f84-aba738455b49@i35g2000prd.googlegroups.com> References: <40e69d0c-eb77-4308-996e-c7dfc1a0ec1e@j13g2000pro.googlegroups.com> <efc21f2f-acb7-475d-87ab-fbfa35208c4c@o15g2000prn.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> NNTP-Posting-Host: 12.72.23.163 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1301253790 32570 127.0.0.1 (27 Mar 2011 19:23:10 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Sun, 27 Mar 2011 19:23:10 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: i35g2000prd.googlegroups.com; posting-host=12.72.23.163; posting-account=euF15goAAACbw3KIqEWxZHCIPUc2KPmU User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 7.0; Windows NT 6.0; SLCC1; .NET CLR 2.0.50727; Media Center PC 5.0; .NET CLR 3.5.30729; .NET CLR 3.0.30618),gzip(gfe)