What if the problem I'm trying to solve is the halting problem?