[jozwiakjohn]

Sure you can, if you have arbitrarily long but still finite time. (Think recursive versus recursively enumerable sets.)

[lambda]

When he says "can't", he doesn't mean it's impossible, he means it's infeasible. There are no techniques for doing it fast enough that anyone has to worry about it being done.