Sformułuj problem zatrzymania i przeprowadź logiczny dowód (przez sprzeczność) na to, że problem ten jest nierozstrzygalny. Wyjaśnij, co oznacza, że nie istnieje algorytm ogólny, który dla dowolnego programu i danych wejściowych mógłby określić, czy program zatrzyma się, czy będzie działać w nieskończoność. Omów implikacje tego faktu dla granic informatyki i sztucznej inteligencji.