Михайлов, Иванов и Ву: доказательство нетривиальности гомотопических групп двумерной сферы

история из жизни · статус: рассказана 3 раза · последнее событие: пересказ (6 декабря 2023)

Рядом в тех же эпизодах: Михайлов в Принстоне: Воеводский, Нэш и Конвей · Михайлов и Илья Рипс: знакомство и дружба (2005–2024)

О чём: Сергей Иванов (человек, упом. с 2016), Джи Ву, Гомотопические группы сфер

дата	событие	что	источник
21 мая 2016	рассказ	В прошлом году с соавтором он доказывал нетривиальность гомотопических групп двумерной сферы; методы работали до огромных номеров, потом нашли другой путь для всех.	Роман Михайлов "Равинагар - состояние отождествления пространства, психики и грамматики" 01:28:25
ноябрь 2023 г.	пересказ	В 2015 году он спросил Воеводского, могут ли его методы проверить их доказательство нетривиальности групп двумерной сферы; тот ответил, что пока нет, и совместный проект не сложился.	Роман Михайлов. Номады //cтрим про математику/ 02:00:19
6 декабря 2023	пересказ	В прошлом году они с Серёжей Ивановым и Джи Ву доказали, что все гомотопические группы двумерной сферы, начиная со второй, нетривиальны.	Лекция 1 · Цветные метабиблиотеки. Разум пространства · Роман Михайлов · Лекториум 00:09:06

Что об этом сказано

3 высказывания в источниках, по датам (выше — повороты сюжета, здесь — подробности).

• 21 мая 2016 · Роман Михайлов "Равинагар - состояние отождествления пространства, психики и грамматики" — Гомотопические группы сфер — сложнейший объект математики, взаимоотношения сфер разных размерностей; в них он увидел этот метатекст. — 00:27:01
• 21 мая 2016 · Роман Михайлов "Равинагар - состояние отождествления пространства, психики и грамматики" — Предельная метабиблиотека склеивается внутри себя, и то, что остаётся в конце, — гомотопические группы сфер. — 00:27:50
• 6 декабря 2023 · Лекция 1 · Цветные метабиблиотеки. Разум пространства · Роман Михайлов · Лекториум — Проблема тут стоит, только не совсем человеческая: реальность звучит и выдаёт код, который надо прочесть. — 00:06:37