Comment by phoneperson

You are probably thinking of Gödel's incompleteness theorems. I do not think that you can trivially derive it from the halting problem.