Didaktische Überlegungen zur Unlösbarkeit des Halteproblems und seinen Bezug zur Russellschen Antinomie