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.