[vidarh]

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.