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