а тело короче знаменательный момент наконец то нас крассом сейчас добавив чат солнышко почему

Я нет

..

Щас @rogachevav добавит

Тэганите сразу плз

/kek

/kek

и?

​📢 Репост из группы Студенческий совет мехмата МГУ:

#собрания_ссмм #отчеты_ссмм

Публикуем отчёт по восьмому собранию IX созыва Студсовета мехмата, которое прошло 10.10.2020 в дистанционном формате. На собрании обсуждались деятельность Студсовета мехмата за прошедшие два месяца, проблемы, связанные с пандемией и регламент проведения дистанционных выборов. С более полной информацией можно ознакомиться в отчете.

— Приложения:
Отчет о восьмом собрании.pdf, 659 Кб
Регламент выборов в Х созыв.pdf, 633 Кб

аеее

æ

📢 Репост из группы Кафедра математической логики МГУ:

#матлог #учёба #спецсеминар

На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ

"Модальная и алгебраическая логика" и "Логические методы в информатике"

в ближайший четверг 22 октября, начало в 17:45, состоится доклад

С.П. Кикоть (Оксфордский Университет)
О тетрахотомии сложности по данным для дизъюнктивных логических программ одного типа

Доклад посвящен простейшим дизъюнктивным логическим программам, которые проверяют, следует ли из набора фактов и аксиомы покрытия (для всех х, A(x) влечет F(x) или T(x)) данный булев конъюнктивный запрос, состоящий из предикатов арности 1 и 2. Рассматривается задача о классификации конъюнктивных запросов в зависимости от сложности по данным такой программы и обсуждается ее место в более общем контексте. Будет предъявлено полное решение этой задачи для запросов, бинарные атомы которых организованы в форме направленной линии. Доклад основан на совместной работе с Ольгой Герасимовой, Аги Куруш, Михаилом Захарьящевым и Владимиром Подольским, недавно представленной на конференции "Knowledge Representation and Reasoning".

Информация для подключения к конференции Zoom

https://mi-ras-ru.zoom.us/j/98129884952?pwd=MEoxRVZLYmpPUkswT3ljQUNZTmVTdz09

Идентификатор конференции: 981 2988 4952
Код доступа: 482651

​📢 Репост из группы Журнал DOXA:

Scientific American опубликовал статью о трех ученых, преследуемых по политическим мотивам. Среди них — выпускник МГУ Азат Мифтахов.

Авторы статьи рассказывают, что Азат был арестован в феврале 2019 года после математической конференции в Нижнем Новгороде, где он впервые выступил на английском языке. Несмотря на явное отсутствие доказательств, Мифтахов находится под арестом, пишут авторы. Они обращают внимание на то, что Азат подвергся пыткам.

«Фигура Мифтахова стала своего рода лакмусовой бумажкой для российского академического общества, разделив людей на тех, кто доверяет системе, и тех, кто сомневается в ее справедливости», — говорится в тексте.

В статье речь идет также об арестованном палестинском астрофизике и о математике из Турции, обвиненном в пропаганде терроризма.

• Scientific American — старейший научно-популярный американский журнал, выходит с 1845 года.

• Азат Мифтахов учился в аспирантуре МГУ и был лишен свободы в начале февраля 2019 года. По версии следствия, Азат был в числе тех, кто два года назад разбил окно в ховринском офисе «Единой России».

Как написать письмо Азату в СИЗО и пожертвовать на передачки, можно узнать из нашей памятки (1).

Больше новостей — в нашем телеграме: https://t.me/doxajournal

(1) https://doxajournal.ru/help_azat

— Ссылка:
В Scientific American вышла статья об Азате Мифтахове

​📢 Репост из группы ПостНаука:

«Школьная математика — это очень красиво. Если ее преподавать с умом, то больше народу ею увлечется. Если бы в школе проходили нерешенные проблемы школьной математики, то количество желающих поступить на математические специальности только росло».

Какие школьные проблемы остаются открытыми — начнем с самого простого:

https://postnauka.ru/video/154855

📢 Репост из группы Кафедра математической логики МГУ:

#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

Logic Online Seminar, Monday, 19 October 2020, 18:30 MSK (online conference)

Fedor Pakhomov (Steklov Mathematical Institute and University of Ghent)

Title: "Iterated ω-model reflection and Π¹₂ proof-theoretic analysis."

Abstract: This is a joint work with James Walsh.

From works of Schmerl and Beklemishev it is known that transfinite iterations of reflection principles in first-order arithmetic provide a powerful tool for proof-theoretic analysis of fragments of first-order arithmetic. In this talk I'll present a study of certain reflection principles in the language of second-order arithmetic that give a new method of proof-theoretic analysis of theories of meta-predicative strength range (ATR₀ and some moderately stronger systems of second-order arithmetic). We consider the principles of uniform Π¹ₙ reflection as well as uniform Π¹ₙ ω-model reflection and establish a number of connections between them. This allows us to calculate proof-theoretic ordinals of certain theories expressed in the terms of these reflection principles. An interesting feature of our approach is that we assign to theories T under consideration their proof-theoretic dilators D such that D(ot(≺))=|T+WO(≺)|. In addition to the calculation of Π¹₁, Π⁰₂, and Π⁰₁ proof-theoretic ordinals, our approach allows at the same time to find well-ordering principles corresponding to the analyzed systems.

Join Zoom conference on Monday, 19 October 2020, 18:30 MSK (UTC +3)

https://zoom.us/j/95367144741?pwd=OC91bjBKRTlBTlBjMUJRU2c2ajVidz09

Conference identifier: 953 6714 4741
Pasword: 596670