theorem:undecidability_halting_set