Can you tell which problems can never be solved?
Only an ill-posed problem can never be solved, in principle.
Is there a clear, algorithmic way of determining which problems are ill posed?
Yeah, you just need a halting oracle and you’re sorted.
Can you tell which problems can never be solved?
Only an ill-posed problem can never be solved, in principle.
Is there a clear, algorithmic way of determining which problems are ill posed?
Yeah, you just need a halting oracle and you’re sorted.