Изложите доказательство неразрешимости проблемы остановки (Halting Problem) с использованием метода диагонализации или дилеммы самоприменимости. Какие теоретические ограничения накладывает этот результат на возможности компьютерных программ и верификацию ПО?