Re: XEmacs Packages have been pre-released (2003-12-30-20)

Talk about off-topic! :-) Steve Youngs <sryoungs(a)bigpond.net.au&gt; wrote: First, note that I did not say that Phil on sci.math is either intelligent or that he knows what he is talking about. :-) His argument is something like "every natural number is finite, therefore there must be a finite number of them, because otherwise there would be infinite natural numbers." He's even taken to writing things like 111...oo...111 (where the "oo" is a poor man's representation of the infinity symbol) to represent such "infinite natural numbers". Just be glad he isn't developing XEmacs code. :-) -- Jerry James, who has proved various cardinality properties of infinite sets with PVS