Article View: sci.logic
Article #766Re: A Guide for Cantor Cranks
From: Albrecht
Date: Wed, 30 Mar 2011 06:13
Date: Wed, 30 Mar 2011 06:13
46 lines
3683 bytes
3683 bytes
On 29 Mrz., 23:02, Transfer Principle <lwal...@lausd.net> wrote: > On Mar 27, 10:49 am, Jim Burns <burns...@osu.edu> wrote: > > > > > > > > > > > On 3/27/2011 7:46 AM, Albrecht wrote: > > > On 27 Mrz., 05:45, Barb Knox<s...@sig.below> wrote: > > >> Whatever he does next, he will be sure that > > >> it is correct. > > >> Your exposition is helpful and to the point, > > >> but it will not get through. > > [ Piggyback to Barb Knox: > > Thank you for your kind words. > > Whether or not it gets through, > > I think I understand the reals > > a bit better every time I explain them. > > ] > > > You must be a sybil. You love this job? > > How could she not, what with the high pay and perks? > > How does declaring the naturals, integers, > > rationals and reals to form proper classes > > instead of sets get rid of any silliness? > > Isn't the proper class of naturals still > > larger than the proper class of reals? > > Most proper class theories have a "Limitation of Size" > axiom, thereby guaranteeing that all proper classes > have the same size. So the answer should be "no." Or proper classes differ from sets especially in the property that they just have no size? A class with a cardinality = a set A class without cardinality = a proper class A proper class is neither greater, equal nor smaller than any set (seems to be odd in respect of the empty set). Best Albrecht
Technical Details
Message-ID:
<08362ae6-2377-4a01-959d-ad7222a68ab5@32g2000vbe.googlegroups.com>Path:
arc1-ca.pugleaf.net!g2news2.google.com!postnews.google.com!32g2000vbe.googlegroups.com!not-for-mailReferences:
<40e69d0c-eb77-4308-996e-c7dfc1a0ec1e@j13g2000pro.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> <iml34b$k08$1@charm.magnus.acs.ohio-state.edu> <see-A72772.16452927032011@mx01.eternal-september.org> <6423234e-e533-49f4-a8de-3d474d056299@x8g2000prh.googlegroups.com> <imntb9$8ll$1@charm.magnus.acs.ohio-state.edu> <03695b17-fbd4-4862-9238-d5ffc639d84b@18g2000prd.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!32g2000vbe.googlegroups.com!not-for-mail From: Albrecht <albstorz@gmx.de> Newsgroups: sci.logic,sci.math,comp.theory,sci.physics,aus.science Subject: Re: A Guide for Cantor Cranks Date: Tue, 29 Mar 2011 23:13:32 -0700 (PDT) Organization: http://groups.google.com Lines: 46 Message-ID: <08362ae6-2377-4a01-959d-ad7222a68ab5@32g2000vbe.googlegroups.com> References: <40e69d0c-eb77-4308-996e-c7dfc1a0ec1e@j13g2000pro.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> <iml34b$k08$1@charm.magnus.acs.ohio-state.edu> <see-A72772.16452927032011@mx01.eternal-september.org> <6423234e-e533-49f4-a8de-3d474d056299@x8g2000prh.googlegroups.com> <imntb9$8ll$1@charm.magnus.acs.ohio-state.edu> <03695b17-fbd4-4862-9238-d5ffc639d84b@18g2000prd.googlegroups.com> NNTP-Posting-Host: 85.216.94.224 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1301465612 7800 127.0.0.1 (30 Mar 2011 06:13:32 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Wed, 30 Mar 2011 06:13:32 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: 32g2000vbe.googlegroups.com; posting-host=85.216.94.224; posting-account=6xUtvgkAAAD_jypmLa2oo2HnrV0e8X9q User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (Windows NT 5.1; rv:2.0) Gecko/20100101 Firefox/4.0,gzip(gfe)