Unsolvability, complexity, and neural networks