Sformułuj Problem Zatrzymania (Halting Problem) i wyjaśnij dlaczego jest on problemem nierozstrzygalnym. Przedstaw szkic dowodu przez sprzeczność pokazujący, dlaczego nie istnieje maszyna Turinga mogąca rozstrzygnąć ten problem dla każdej pary program-dane.