Проблема остановки

[Короткая компьютерная программа.]

Define DoesItHalt(program):
{
return true;
}

Схематичное решение проблемы остановки

Alt-текст: Я нашёл контрпример к утверждению, что всё когда-нибудь кончается, но не знаю, как продемонстрировать его кому-либо.