Zdefiniuj Problem Zatrzymania (Halting Problem) i udowodnij, dlaczego nie istnieje ogólny algorytm, który potrafi dla każdego programu i danych wejściowych stwierdzić, czy program zakończy działanie, czy będzie pracował w nieskończoność. Opisz metodę dowodu przez sprowadzenie do sprzeczności (diagonalizacja).