Лекция 11. С.Л. Кузнецов. Неразрешимость задачи о сильной нормализуемости