Stuart Jansen sjansen at
Wed Jun 1 22:14:59 MDT 2011

On Wed, 2011-06-01 at 21:21 -0600, Shane Hathaway wrote:
> Well, that would mean infinity is countable, since it's trivial to write 
> a program that always increases.  Infinity is uncountable, so I wonder 
> where the logic broke.

A program that doesn't terminate is at best a symbol representing
infinity. You wouldn't ask why the infinity symbol isn't uncountable.

More information about the PLUG mailing list