I really was confused about how this works... until I read Kleene's explanation in his Introduction to Meta-Mathematics last night.
Wow... Cantor's diagonal proof on the non denumerability of real numbers is actually extremely beautiful.. when appreciated visibly.
And calling these types of proofs "diagonal" proofs makes perfect sense; as the counter example will always be created using the diagonal.
... and it now makes perfect sense when applied to functions as well.
It makes my head feel all elasticised.
,= ,-_-. =.
((_/)o o(\_))
`-'(. .)`-'
\_/
http://ilanpillemer.com
Entia non sunt multiplicanda praeter necessitatem