From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!rpi!usc!elroy.jpl.nasa.gov!news.claremont.edu!nntp-server.caltech.edu!mustang.mst6.lanl.gov!data.nas.nasa.gov!hook Thu Jan  9 10:33:41 EST 1992
Article 2512 of comp.ai.philosophy:
Xref: newshub.ccs.yorku.ca sci.philosophy.tech:1728 sci.logic:735 comp.ai.philosophy:2512 sci.math:5520
Newsgroups: sci.philosophy.tech,sci.logic,comp.ai.philosophy,sci.math
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!rpi!usc!elroy.jpl.nasa.gov!news.claremont.edu!nntp-server.caltech.edu!mustang.mst6.lanl.gov!data.nas.nasa.gov!hook
>From: hook@nasa.nas.gov (Edward C. Hook)
Subject: Re: Grasping concepts... is it polite?
References: <1991Dec30.172852.3305@csc.canterbury.ac.nz> <1992Jan2.131048.18412@news.stolaf.edu> <1992Jan6.092440.25451@etl.go.jp> <1992Jan6.130008.16471@news.stolaf.edu>
Sender: news@nas.nasa.gov
Organization: NASA-Ames Research Center
Date: Mon, 6 Jan 92 17:26:37 GMT
Message-ID: <1992Jan6.172637.468@nas.nasa.gov>
Summary: Cardinal arithmetic correction
Reply-To: hook@sun214.nas.nasa.gov (Edward C. Hook)
Lines: 30

In article <1992Jan6.130008.16471@news.stolaf.edu> seebs@grendel1.acc.stolaf.edu (The Laughing Prophet) writes:
>In article <1992Jan6.092440.25451@etl.go.jp> andreas@etl.go.jp (Andreas Knobel) writes:
>
>>I would contend that I can even see aleph_0^aleph_0,
>
>If memory serves, that's the same thing. Certainly, aleph_0^anythingfinite
>is the same, and aleph_0^aleph_0 may well be - I don't recall it having
>been defined otherwise.
>
-- No, aleph_0^aleph_0 = 2^aleph_0 = c -- 'twould seem that Andreas has rather
   an expansive visualization apparatus ... =|8^) ...

 ( For the sake of completeness, if X and Y are cardinals, then X^Y is defined
   to be the cardinality of the set of functions mapping a set of cardinality
   Y into a set of cardinality X . )

>-s
>
>seebs@acc.stolaf.edu  "Forgive them, Father, for they do not get the joke."

===============================================================================
 Ed Hook                                  |  "I have yet to see any problem,
 Computer Sciences Corporation            |   however complicated, which, when
 NAS                                      |   you looked at it in the right 
 NASA/Ames Research Center                |   way, did not become still more
 Mountain View, CA 94039                  |   complicated." - Poul Anderson
 +1 415 604 1272                          |-----------------------------------
 Internet: hook@nas.nasa.gov              | They're MY opinions ... ALL mine!!
===============================================================================



