Математическая логика и теория алгоритмов. Лекция 6. Проблема остановки. Функция Радо