... and this is why logicians tend to make poor lawyers. It doesn't matter if an argument is logically sound; what matters is whether the argument is convincing, and saying "sure I can do this with pencil and paper... it will only take a hundred billion years" isn't going to convince anyone.