If the theorem is truly general ie any algorithm not just certain classes of neural net training methods, then is a moot point. Computers, humans or any other physical system can't solve it.