Проверка Lean-ом результата о вложении любой счетной группы в FP_n

30 сентября 2026 · пост · Роман Михайлов · MAA — САП · оригинал

Тема: Математика · как говорит: Лекция и объяснение · метки: Индия

Лента телеграм-канала «MAA — САП» (посты 2025–2026): репосты о Конакове, Борисе Останине, Премии Леона Богданова и курсах Куртова, а также математические посты Михайлова — хроника работы его группы с нейросетями (Капланский, Уайтхед, парасвободность, fr-язык, спектралки), новые 3-примарные гомотопические группы 3-сферы, цепочки к гипотезе Уайтхеда и вложение счётных групп в FP_∞.

Математику (1 высказывание) вики не разбирает — здесь только истории, люди и его мысли о мире.

Содержание

• Проверка Lean-ом результата о вложении любой счетной группы в FP_n

Упоминания

Lean · Младен Бествина

← Предыдущая: Эзотерика гомотопических групп 3-мерной сферы · Следующая → Закулисные кадры со съёмок фильма «Пока небо смотрит», выложенные FT Production ко дню…