On 06/01/2011 02:27 PM, Aaron Toponce wrote: > Similar proofs can be constructed for any countable set:
Related to this, I've been wondering why irrationals are not considered countable. Is it not true that for any irrational number, a computer program can be written that converges to that number as the number of iterations reaches infinity? Any computer program can be represented as a large integer, so computer programs are countable, and by extension, any number that a computer program can represent (but not necessarily produce) ought to be considered countable. Shane /* PLUG: http://plug.org, #utah on irc.freenode.net Unsubscribe: http://plug.org/mailman/options/plug Don't fear the penguin. */