I never said it can't. And you're mistaken unfortunately - it is extremely difficult to prove a negative, as most people trained in philosophy intimately understand. For instance, "prove God is NOT real".
They're not arguing for the general case. In this case the negation, "just" requires showing a single computation done by a brain which provably can't be simulated by a universal turing machine.