Thu Nov 04 1999 18:01:
I finally got Dan to accept that no natural number is of infinite
magnitude. The upshot of this is that he now has to accept that
the real numbers can be diagonalized but the natural numbers cannot.
Now maybe we can have some peace around here.
The proof is a simple proof by induction: Zero is of finite magnitude. If x is of finite magnitude, so is x+1. Therefore, all natural numbers are of finite magnitude.
