Алгоритмическая нераспознаваемость вложимости гиперграфов в евклидово пространство для коразмерности более 1

Для коразмерностей 1 и 0 указанная в названии алгоритмическая нераспознаваемость несложно вытекает из теоремы Новикова о нераспознаваемости N-мерной сферы для N>4 (это показали Matousek, Tancer, Wagner в 2008). Будет рассказано о соответствующем результате для коразмерности 2 и более, который анонсирован в 2019 (Filakovsky, Wagner, Zhechev).
Его красивое доказательство использует алгоритмическую неразрешимость проблемы продолжения непрерывных отображений (Cadek, Krcal, Matousek, Vokrinek, Wagner, 2013).
Доклад рассчитан на неспециалиста (в частности, студента).
При детальном разборе работы (Filakovsky, Wagner, Zhechev) по алгоритмической нераспознаваемости вложимости была найдена ошибка. Ошибка описана в arXiv:2008.00492 и признана авторами.
В этом же обзоре arXiv:2008.00492 представлена та часть доклада, которая относится к алгоритмической нераспознаваемости продолжаемости отображений (Cadek, Krcal, Matousek, Vokrinek, Wagner).