"Newberry" <newberryxy@gmail.com> wrote > Please CONSTRUCT the anti-diagonal in the space provided below. > > Virgil's anti-diagonal construction > BEGIN > > > > END
Oh boy this will be funny. Watch as Virgin proves
An AD(n) =/= L(n,n) -> An AD(n) =/= L(n,)
using ... WAIT FOR IT
An AD(n) = L(n,n) mod 2 + 4
Then he'll omit the term *new digit sequence* and bait and switch and swear black and blue its a NEW NUMBER and it's PROVABLY NOT ON THE LIST and CANTOR PROVED IT and WHAT AXIOM DARES CONTRADICT ZFC!
But he won't give a straight answer to how many digits wide this set is
3 31 314 ...
because he can't construct a new digit sequence that isn't computable.