On 2010-06-18, Virgil <Virgil@home.esc> wrote: > Since you object to there being any bijection from N to any superset > of S, you must equally be rejecting any surjection from N to S and > rejecting any injection from S to N, since from any such bijection > such a surjection is easily derived.
Yes, Peter is very confused.
> So in what sense do you claim that the the set S of computable > numbers is countable? > > It is certainly not in any sense that I am aware of.
Heh, these two sentences would be great to quote out of context. In the context of Peter's premise the latter is true, but in ordinary context of mathematics it is very obviously false.