I mean there are a lot of questions that can be posed, but are computationally intractable to answer. Think of the traveling salesman problem. Or worse - the halting problem.