Talk about off-topic! :-)
Steve Youngs <sryoungs(a)bigpond.net.au> wrote:
>>>>>>"Jerry" == Jerry James
Jerry> Phil on sci.math says that there are only a finite number
Jerry> of natural numbers. We might run out!
Would somebody care to explain that to me. How on earth can there be
a finite number of numbers?
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