Just as much as people want to solve the halting problem.