Article View: sci.skeptic
Article #5385Re: How about SET-SIZE(N) = oo ? Can we have some Terminology back??
From: Graham Cooper
Date: Mon, 23 Jan 2012 03:24
Date: Mon, 23 Jan 2012 03:24
33 lines
3481 bytes
3481 bytes
On Jan 23, 8:55 am, Transfer Principle <david.l.wal...@lausd.net> wrote: > > Of course, another i-word is significant to this thread: "infinity." > We see > that Herc rejects the distinction between countable and uncountable > that's found in standard set theories like ZFC, and instead proposes > that all infinite sets have set size "infinity." But the others argue > that > the word "infinity" shouldn't be used this way -- one can say that a > set > is _infinite_, but not that it has set size "infinity." > > I've seen previous threads debate the use of that word "infinity," and > I > have a question which I've yet to see answered satisfactorily in any > of > the previous "infinity" threads: What exactly does the word "infinity" > mean in the axiom name "Axiom of Infinity"? An answer to this might > help settle the debate. Since me and Jesse skimmed the topic of PreCantorian Infinity, I might add the question, "Is AOI consistent with Peano Axioms?" or in this case, PEANO + "e" + AOI or by the time you do that you may as well be talking Naive Set Theory or ZFC again which makes the question "how long is an infinite piece of string?" Herc
Technical Details
Message-ID:
<c969154e-6619-4057-a5ce-4cbd98bbdd10@y5g2000pbk.googlegroups.com>Path:
arc1-ca.pugleaf.net!lh20ni213433pbb.0!nntp.google.com!news2.google.com!postnews.google.com!y5g2000pbk.googlegroups.com!not-for-mailReferences:
<91120206-6679-47f1-aec5-60e952325cc9@c9g2000pbh.googlegroups.com> <9nno32FrdrU1@mid.individual.net> <3aec594d-8e2a-4a60-b47e-178424526b42@q7g2000pbg.googlegroups.com> <9np2v0Fc0lU1@mid.individual.net> <11119169-a3b4-438a-a1c9-4e220a188009@m4g2000pbc.googlegroups.com> <9nqblhFvv6U1@mid.individual.net> <e4119f4a-78e4-470e-bd45-d3560e00d1a5@b10g2000pbd.googlegroups.com> <9nrqhgFcgnU1@mid.individual.net> <c0936a52-f04a-4ec7-8ae1-8faf4596dba2@a8g2000pbi.googlegroups.com> <9ns6pcFp57U2@mid.individual.net> <804f51c3-69bb-4c7b-a74a-70768b17e330@o4g2000pbc.googlegroups.com> <6820129c-2459-4b57-80e7-9728901a121f@g41g2000yqa.googlegroups.com> <1954710f-9d2d-4ec0-8e42-de6138f52e1c@t8g2000yqg.googlegroups.com>Show Full Headers
Complete Article Headers
X-Google-Thread: f44bc,8aeed399c407c71f
X-Google-NewGroupId: yes
X-Google-Thread: fd648,98452fa48b4d3903,start
X-Google-NewGroupId: yes
X-Google-Attributes: giddc1377d6e,giddb42311052,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Received: by 10.68.190.99 with SMTP id gp3mr4289151pbc.1.1327289091146;
Sun, 22 Jan 2012 19:24:51 -0800 (PST)
Path: arc1-ca.pugleaf.net!lh20ni213433pbb.0!nntp.google.com!news2.google.com!postnews.google.com!y5g2000pbk.googlegroups.com!not-for-mail
From: Graham Cooper <grahamcooper7@gmail.com>
Newsgroups: sci.skeptic,sci.logic,aus.science,rec.org.mensa
Subject: Re: How about SET-SIZE(N) = oo ? Can we have some Terminology back??
Date: Sun, 22 Jan 2012 19:24:50 -0800 (PST)
Organization: http://groups.google.com
Lines: 33
Message-ID: <c969154e-6619-4057-a5ce-4cbd98bbdd10@y5g2000pbk.googlegroups.com>
References: <91120206-6679-47f1-aec5-60e952325cc9@c9g2000pbh.googlegroups.com>
<9nno32FrdrU1@mid.individual.net> <3aec594d-8e2a-4a60-b47e-178424526b42@q7g2000pbg.googlegroups.com>
<9np2v0Fc0lU1@mid.individual.net> <11119169-a3b4-438a-a1c9-4e220a188009@m4g2000pbc.googlegroups.com>
<9nqblhFvv6U1@mid.individual.net> <e4119f4a-78e4-470e-bd45-d3560e00d1a5@b10g2000pbd.googlegroups.com>
<9nrqhgFcgnU1@mid.individual.net> <c0936a52-f04a-4ec7-8ae1-8faf4596dba2@a8g2000pbi.googlegroups.com>
<9ns6pcFp57U2@mid.individual.net> <804f51c3-69bb-4c7b-a74a-70768b17e330@o4g2000pbc.googlegroups.com>
<6820129c-2459-4b57-80e7-9728901a121f@g41g2000yqa.googlegroups.com> <1954710f-9d2d-4ec0-8e42-de6138f52e1c@t8g2000yqg.googlegroups.com>
NNTP-Posting-Host: 114.72.250.70
Mime-Version: 1.0
X-Trace: posting.google.com 1327289091 23521 127.0.0.1 (23 Jan 2012 03:24:51 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 23 Jan 2012 03:24:51 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: y5g2000pbk.googlegroups.com; posting-host=114.72.250.70; posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
User-Agent: G2/1.0
X-Google-Web-Client: true
X-Google-Header-Order: HNKUARELSC
X-HTTP-UserAgent: Mozilla/5.0 (Windows NT 6.1) AppleWebKit/535.7 (KHTML, like
Gecko) Chrome/16.0.912.75 Safari/535.7,gzip(gfe)
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable