Алан Тьюринг строит машину

Тьюринг А. создал машину
Самореференцию.
Что же это за машина?
Прочитайте лекцию.
Этот математик
Вдруг предположил:
Существует алгоритм,
Иль программа,  он решил.
Имя дал он алгоритму.
Буквой H  решил назвать
И способность обозначил:
Н все должен предсказать.
Предсказание простое:
Должен Н определить,
Остановится ль программа
С именем, ну скажем Р,
Иль будет Р без остановки,
Если не остановить.
Р здесь тоже алгоритм,
Иль программой  назови.
Х есть вход в программу Н.
Тьюринг так решил назвать.
Теперь программу эту Р
Мы  будем мягко в вход толкать.
Что дальше , хочешь ты узнать?
Хочу тебе я рассказать.
Дальше Тьюринг применил
Метод аргумента главного,
Но какого? Он решил
И взял диагонального.
Этот метод сильный очень,
Cantor Georg его создал,
Он великий математик,
Теорию множеств он нам дал.
Алан Тьюринг метод взял,
Теорему доказал.
Что ж взял Тьюринг в этот раз,
Продолжаю свой рассказ:
Алан программу D взял здесь
Для которой Н как def
Н гласит: Р будет спать,
Тогда D пойдет гулять,
Если ж Р пойдет гулять,
D уляжется в кровать.
Остановку алгоритмов
Заменил я словом спать
Если цикл бесконечный,
Слово можно взять гулять.
Тьюринг Алану предложил:
“Я бы Р на D сменил,
Сразу можно посмотреть
Как изменится ответ”
Если D остановился,
Значит def(D)  в цикл свалился.
Если в цикл входит D,
def(D) встанет. Посмотри!
Вывод Алан у нас простой:
Нет программы Н такой.
Значит есть задачи в мире,
Хоть стреляйся не решить их,
Коль компьютер применить,
А вручную может быть !!!