Halteproblem, Unentscheidbarkeit und Beweistechniken