Article View: sci.logic
Article #834Re: A Guide for Cantor Cranks
From: Aatu Koskensilta
Date: Mon, 14 Mar 2011 14:22
Date: Mon, 14 Mar 2011 14:22
13 lines
2472 bytes
2472 bytes
Jim Burns <burns.87@osu.edu> writes: > Are you saying that Cantor's diagonal theorem > can be disproven in NFU or zuhair's ND? Cantor's theorem in its general form does not hold in NFU. It is provable in NFU that the reals are uncountable, however. -- Aatu Koskensilta (aatu.koskensilta@uta.fi) "Wovon man nicht sprechen kann, dar๏ฟฝber muss man schweigen" - Ludwig Wittgenstein, Tractatus Logico-Philosophicus
Technical Details
Message-ID:
<82wrk1dboc.fsf@A166.veli3.tontut.fi>Path:
arc1-ca.pugleaf.net!g2news1.google.com!news3.google.com!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!feeder.news-service.com!news2.euro.net!xlned.com!feeder5.xlned.com!ramfeed-1.ams.xsnews.nl!feed.xsnews.nl!border-1.ams.xsnews.nl!newsfeed1.swip.net!newsfeed2.funet.fi!newsfeeds.funet.fi!news.cc.tut.fi!not-for-mailReferences:
<40e69d0c-eb77-4308-996e-c7dfc1a0ec1e@j13g2000pro.googlegroups.com> <b42712d6-d4f9-4f94-a93d-6c93b541d7d8@z3g2000prz.googlegroups.com> <c9de29dc-9e46-4896-996e-cb343d095591@e9g2000vbk.googlegroups.com> <5668f65b-2303-4b93-b0b5-315c4c9336e0@k15g2000prk.googlegroups.com> <973dc817-ebef-4eb5-8e01-ac222a096df3@b13g2000prf.googlegroups.com> <61cea93e-5747-4355-b302-32f8fb9ee7a2@n2g2000prj.googlegroups.com> <87sjutb8vc.fsf@phiwumbda.org> <6c506923-5a3f-4c03-b0c7-0bd5048e4749@q14g2000vbf.googlegroups.com> <8762robf46.fsf@phiwumbda.org> <fd17ad42-e5d8-48a3-abe9-2e103f2daca9@a11g2000pro.googlegroups.com> <ilj4m9$jhs$1@charm.magnus.acs.ohio-state.edu> <ca19e249-3613-464d-8333-955ab5dc63a1@w7g2000pre.googlegroups.com> <iljobh$k3g$1@charm.magnus.acs.ohio-state.edu>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: fd648,af7892021029fe4a X-Google-NewGroupId: yes X-Google-Attributes: gide4b186767d,gid9ef9b79ae9,giddb42311052,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: arc1-ca.pugleaf.net!g2news1.google.com!news3.google.com!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!feeder.news-service.com!news2.euro.net!xlned.com!feeder5.xlned.com!ramfeed-1.ams.xsnews.nl!feed.xsnews.nl!border-1.ams.xsnews.nl!newsfeed1.swip.net!newsfeed2.funet.fi!newsfeeds.funet.fi!news.cc.tut.fi!not-for-mail From: Aatu Koskensilta <aatu.koskensilta@uta.fi> Newsgroups: sci.logic,sci.math,aus.science Subject: Re: A Guide for Cantor Cranks Date: 14 Mar 2011 16:22:27 +0200 Lines: 13 Sender: anne@A166.veli3.tontut.fi Message-ID: <82wrk1dboc.fsf@A166.veli3.tontut.fi> References: <40e69d0c-eb77-4308-996e-c7dfc1a0ec1e@j13g2000pro.googlegroups.com> <b42712d6-d4f9-4f94-a93d-6c93b541d7d8@z3g2000prz.googlegroups.com> <c9de29dc-9e46-4896-996e-cb343d095591@e9g2000vbk.googlegroups.com> <5668f65b-2303-4b93-b0b5-315c4c9336e0@k15g2000prk.googlegroups.com> <973dc817-ebef-4eb5-8e01-ac222a096df3@b13g2000prf.googlegroups.com> <61cea93e-5747-4355-b302-32f8fb9ee7a2@n2g2000prj.googlegroups.com> <87sjutb8vc.fsf@phiwumbda.org> <6c506923-5a3f-4c03-b0c7-0bd5048e4749@q14g2000vbf.googlegroups.com> <8762robf46.fsf@phiwumbda.org> <fd17ad42-e5d8-48a3-abe9-2e103f2daca9@a11g2000pro.googlegroups.com> <ilj4m9$jhs$1@charm.magnus.acs.ohio-state.edu> <ca19e249-3613-464d-8333-955ab5dc63a1@w7g2000pre.googlegroups.com> <iljobh$k3g$1@charm.magnus.acs.ohio-state.edu> NNTP-Posting-Host: as125-123.tontut.fi Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Trace: news.cc.tut.fi 1300098466 22289 94.237.125.123 (14 Mar 2011 10:27:46 GMT) X-Complaints-To: abuse@tut.fi NNTP-Posting-Date: Mon, 14 Mar 2011 10:27:46 +0000 (UTC) User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4