It isn't about how not to say stupid things about undecidability, though, nor about the specific flawed reasoning. It's about how he hid the flawed reasoning in a forest of excellent tangential reasoning. Well, it was supposed to be. I'd better turn down the insulting tone to avoid focusing on his errors.