Article View: sci.logic
Article #795Re: A Guide for Cantor Cranks
From: Transfer Principle
Date: Tue, 29 Mar 2011 21:02
Date: Tue, 29 Mar 2011 21:02
24 lines
3301 bytes
3301 bytes
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."
Technical Details
Message-ID:
<03695b17-fbd4-4862-9238-d5ffc639d84b@18g2000prd.googlegroups.com>Path:
arc1-ca.pugleaf.net!g2news2.google.com!postnews.google.com!18g2000prd.googlegroups.com!not-for-mailReferences:
<40e69d0c-eb77-4308-996e-c7dfc1a0ec1e@j13g2000pro.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> <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>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!18g2000prd.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: Tue, 29 Mar 2011 14:02:15 -0700 (PDT) Organization: http://groups.google.com Lines: 24 Message-ID: <03695b17-fbd4-4862-9238-d5ffc639d84b@18g2000prd.googlegroups.com> References: <40e69d0c-eb77-4308-996e-c7dfc1a0ec1e@j13g2000pro.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> <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> NNTP-Posting-Host: 65.208.187.194 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1301432535 9100 127.0.0.1 (29 Mar 2011 21:02:15 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Tue, 29 Mar 2011 21:02:15 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: 18g2000prd.googlegroups.com; posting-host=65.208.187.194; posting-account=euF15goAAACbw3KIqEWxZHCIPUc2KPmU User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 7.0; Windows NT 5.1; .NET CLR 1.1.4322; .NET CLR 2.0.50727; .NET CLR 3.0.4506.2152; .NET CLR 3.5.30729; InfoPath.2; OfficeLiveConnector.1.4; OfficeLivePatch.1.3; .NET4.0C),gzip(gfe)