А.А. Гайфуллин. Гомологические сферы и алгоритмическая неразрешимость в топологии. Лекция