Сегодня важный и знаменательный день. Я на с\к по комбинаторно | Кофейный теоретик

Сегодня важный и знаменательный день. Я на с\к по комбинаторной теории групп рассказал доказательство теоремы Нильсена-Шрейера "без глупостей": т.е. алгебраическими методами, без топологии. Но при этом не допотопно через преобразования Нильсена, а "как надо". Ещё обозначал одному из моих студентов задачу взамен не поулчившейся. Может получиться (надеюсь!) любопытный результат.

И, что-то в соцсетях говорят что чей-то дед с ума спрыгнул. Я про одного (нашего общего деда) знаю, что он давно свихнулся. А что-то новое произошло сегодня? Или интересное? Просветите!