[comonoid]

I think the error is much deeper here: he presumes that every number in R can be produced by a program, i.e. every real number is computable.

[H8crilA]

That is, I think, the second part of the joke, all required to "prove" the thesis at the end, namely that halting problem is solvable :)