Die Unlösbarkeit des Halteproblems steht in einem starken formalen Bezug zur Russellschen Antinomie. Sowohl diese Gemeinsamkeit als auch der inhaltliche Unterschied sind auf einem Niveau formulierbar, das die Einsicht in dieses grundlegende Phänomenen im Informatik-Unterricht am Gymnasium ermöglicht.