halting the problem Synonym