"Virgil" <Virgil@home.esc> wrote >> Virgil's anti-diagonal construction >> BEGIN .. > Then the anti-diagonal function g:N --> {0,1} is defined by > g(n) = 1-F(n,n) in {0,1}, > so that g(n) <> F(n,n) for all n, > and thus g(--) <> F(n,--) for all n..
BRAVO! There it is!
CONSTRUCT A NEW NUMBER g(n) = 1 - F(n,n)
PROOF ITS A NEW NUMBER g(n) <> F(n,n)
He didn't finish his HIGHER INFINITIES bit, let's add that...
