🔥19❤12✍3
Логический семинар лаборатории им. Манина Высшей школы современной математики
Когда: среда 3 июня 14:00
Где: МФТИ, Административный корпус, ауд.322,
Доклад:
В.Б. Шехтман,
"Введение в семантику модальных предикатных логик, ч. 5."
В докладе рассматриваются реляционные семантики модальных предикатных логик, последовательно усиливающие семантику Крипке: семантика расслоений Крипке, функциональная семантика Гиларди, семантика меташкал и симплициальная семантика Скворцова. Формулируются и частично доказываются результаты о полноте и неполноте для этих семантик.
Планируется интернет-трансляция по адресу
https://telemost.yandex.ru/j/00084330909943
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страница семинара: https://www.mathnet.ru/rus/conf2559
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_логический
Когда: среда 3 июня 14:00
Где: МФТИ, Административный корпус, ауд.322,
Доклад:
В.Б. Шехтман,
"Введение в семантику модальных предикатных логик, ч. 5."
В докладе рассматриваются реляционные семантики модальных предикатных логик, последовательно усиливающие семантику Крипке: семантика расслоений Крипке, функциональная семантика Гиларди, семантика меташкал и симплициальная семантика Скворцова. Формулируются и частично доказываются результаты о полноте и неполноте для этих семантик.
Планируется интернет-трансляция по адресу
https://telemost.yandex.ru/j/00084330909943
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страница семинара: https://www.mathnet.ru/rus/conf2559
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_логический
❤2👍2
ВШМ МФТИ
Фестиваль 18+.
О красоте математики.
В подвальном баре на Покровке.
О красоте математики.
В подвальном баре на Покровке.
На канале организаторов фестиваля «Фрактальная одиссея», прошедшего 23 мая, стали появляться записи лекций с фестиваля. Первая — Михаил Гельфанд о бесконечностях
Telegram
Кроссворд Тьюринга
✨ Запись лекции Михаила Гельфанда
Продолжаем выкладывать записи с фестиваля. Следующая лекция открывала программу в зале Мандельброт и, к сожалению, попала на самую горячую точку дня: у входа ещё стояла большая очередь, когда Михаил Сергеевич уже начал.…
Продолжаем выкладывать записи с фестиваля. Следующая лекция открывала программу в зале Мандельброт и, к сожалению, попала на самую горячую точку дня: у входа ещё стояла большая очередь, когда Михаил Сергеевич уже начал.…
❤10
Комбинаторика и топология — совместный семинар ВШМ и лаборатории комбинаторных и геометрических структур ФПМИ МФТИ
Когда: суббота 6 июня, 13:55
Где: ауд. 322АдмК
Доклад:
Михаил Блудов (МФТИ),
"Цветная теорема Каратеодори, остовные деревья и сферическаие диаграммы Вороного"
(По совместной работе с А. Полянским)
Цветная теорема Каратеодори — классический и основополагающий результат комбинаторной геометрии, полученный Барани в 1982 году. В дальнейшем у этого результата получились самые различные обобщения и приложения, например, к аффинной теореме Тверберга.
Стандартное доказателство цветной теоремы Каратеодори основано на комбинаторно-геометрических рассуждениях. Однако есть и топологические подходы. В 2017 году Фрик и Зербиб доказали цветную теорему KKMS о покрытиях, и из нее непосредственно вывели цветного Каратеодори. В 2025 году автором была исследована связь покрытий, несбалансированных наборов и теорем типа KKMS. Также в 2025 году Благоевич предложил топологический подход цветной теореме Каратеодори, основанный на комплексе несбалансированных наборов и лемме Мешулама. Также Благоевич получил обобщение теоремы Каратеодори, наложив дополнительные ограничения.
Нам удалось заметить несколько вещей. Во первых оказалось, что при помощи покрытий, комплекса несбалансированных наборов и сферических диаграмм Вороного получается новый подход к доказательствам цветной теоремы Каратеодори и её обобщений. Во вторых, при помощи остовных k-мерных деревьев удалось обощить результат Благоевича. Об этих наблюдениях и пойдет рассказ на семинаре
Страница семинара: https://old.mccme.ru/ium/s23/ryabichev/f25-mipt-topkomb.html
Если у вас нет пропуска МФТИ, надо взять паспорт и попросить руководителей семинара встретить вас на охране.
#ВШМ_ФПМИ_топкомб
Когда: суббота 6 июня, 13:55
Где: ауд. 322АдмК
Доклад:
Михаил Блудов (МФТИ),
"Цветная теорема Каратеодори, остовные деревья и сферическаие диаграммы Вороного"
(По совместной работе с А. Полянским)
Цветная теорема Каратеодори — классический и основополагающий результат комбинаторной геометрии, полученный Барани в 1982 году. В дальнейшем у этого результата получились самые различные обобщения и приложения, например, к аффинной теореме Тверберга.
Стандартное доказателство цветной теоремы Каратеодори основано на комбинаторно-геометрических рассуждениях. Однако есть и топологические подходы. В 2017 году Фрик и Зербиб доказали цветную теорему KKMS о покрытиях, и из нее непосредственно вывели цветного Каратеодори. В 2025 году автором была исследована связь покрытий, несбалансированных наборов и теорем типа KKMS. Также в 2025 году Благоевич предложил топологический подход цветной теореме Каратеодори, основанный на комплексе несбалансированных наборов и лемме Мешулама. Также Благоевич получил обобщение теоремы Каратеодори, наложив дополнительные ограничения.
Нам удалось заметить несколько вещей. Во первых оказалось, что при помощи покрытий, комплекса несбалансированных наборов и сферических диаграмм Вороного получается новый подход к доказательствам цветной теоремы Каратеодори и её обобщений. Во вторых, при помощи остовных k-мерных деревьев удалось обощить результат Благоевича. Об этих наблюдениях и пойдет рассказ на семинаре
Страница семинара: https://old.mccme.ru/ium/s23/ryabichev/f25-mipt-topkomb.html
Если у вас нет пропуска МФТИ, надо взять паспорт и попросить руководителей семинара встретить вас на охране.
#ВШМ_ФПМИ_топкомб
👍7❤2
Forwarded from CombGeo
Привет друзья!
Информация для участников ЛИПС-26:
📅 Мы приносим извинения за задержки по изначально объявленным датам. Приглашения на собеседования по полученным заявкам началось на этой неделе.
📅 Также до 10 июня продолжается прием заявок в рамках второй волны.
📅 Окончательный список участников запланирован на 20 июня.
Благодарим за терпение, а также приглашаем всех, кто не успел!
Информация для участников ЛИПС-26:
📅 Мы приносим извинения за задержки по изначально объявленным датам. Приглашения на собеседования по полученным заявкам началось на этой неделе.
📅 Также до 10 июня продолжается прием заявок в рамках второй волны.
📅 Окончательный список участников запланирован на 20 июня.
Благодарим за терпение, а также приглашаем всех, кто не успел!
❤10
Удачи на ЕГЭ по математике!
Пусть мысли будут ясными, вера в себя железной, а лишние тревоги останутся за дверью.
Читайте задания внимательно - у вас всё получится!
Ждём вас в ВШМ МФТИ!
Пусть мысли будут ясными, вера в себя железной, а лишние тревоги останутся за дверью.
Читайте задания внимательно - у вас всё получится!
Ждём вас в ВШМ МФТИ!
❤🔥25❤16😁4
Сегодня ВШМ МФТИ принимала гостей из ФМЛ №31 города Челябинска
Челябинский физико-математический лицей № 31 славится своими учениками — сильными математиками, действительно интересующимися наукой. Встречать таких гостей всегда приятно!
Интересные факты о ВШМ на экскурсии по кампусу МФТИ в Долгопрудном рассказал лицеистам директор школы, доктор физико-математических наук Андрей Соболевский.
Вдохновившись утренней прохладой, Андрей Николаевич предпочел яркую зелень лужайки академическим стенам и делился тонкостями поступления на Физтех и учебного процесса ВШМ, расположившись с девятиклассниками на траве. А после беседы о математике наши гости посетили лаборатории школ ФАКТ и ЛФИ.
Надеемся, эта встреча, организованная совместно с Физтех-центром, была полезна ребятам и их педагогам. А мы ждем заинтересованных матшкольников из других школ на экскурсии — нам есть чем поделиться!
Челябинский физико-математический лицей № 31 славится своими учениками — сильными математиками, действительно интересующимися наукой. Встречать таких гостей всегда приятно!
Интересные факты о ВШМ на экскурсии по кампусу МФТИ в Долгопрудном рассказал лицеистам директор школы, доктор физико-математических наук Андрей Соболевский.
Вдохновившись утренней прохладой, Андрей Николаевич предпочел яркую зелень лужайки академическим стенам и делился тонкостями поступления на Физтех и учебного процесса ВШМ, расположившись с девятиклассниками на траве. А после беседы о математике наши гости посетили лаборатории школ ФАКТ и ЛФИ.
Надеемся, эта встреча, организованная совместно с Физтех-центром, была полезна ребятам и их педагогам. А мы ждем заинтересованных матшкольников из других школ на экскурсии — нам есть чем поделиться!
❤21👍9
Мемориальная конференция «Теория чисел и геометрия» памяти Алексея Зыкина (1984-2017)
В четверг 11 июня 2026 года в большом конференц-зале Математического института им. В. А. Стеклова РАН состоятся доклады:
11:00-12:00 Сергей Давыдов. Стабильность для представлений спин-симметрической группы
12:15-13:15 Алексей Устинов. Последовательности Сомоса
15:00-16:00 Виктор Петров. Мотивы Чжоу некоторых многообразий Мукаи
16:15-17:15 Михаил Цфасман. Сильно вырожденные пересечения квадрик
Конференция проходит ежегодно в память нашего коллеги и друга Алексея Зыкина, трагически погибшего 22 апреля 2017 года.
Аннотации докладов, постер и прочая информация доступны на страницах
конференции:
https://www.mathnet.ru/conf2765
https://zykin.mccme.ru/
Все доклады будут транслироваться через «Контур Толк»:
https://mian.ktalk.ru/j0lklvjdueq1?pinCode=3197
#Зыкин
В четверг 11 июня 2026 года в большом конференц-зале Математического института им. В. А. Стеклова РАН состоятся доклады:
11:00-12:00 Сергей Давыдов. Стабильность для представлений спин-симметрической группы
12:15-13:15 Алексей Устинов. Последовательности Сомоса
15:00-16:00 Виктор Петров. Мотивы Чжоу некоторых многообразий Мукаи
16:15-17:15 Михаил Цфасман. Сильно вырожденные пересечения квадрик
Конференция проходит ежегодно в память нашего коллеги и друга Алексея Зыкина, трагически погибшего 22 апреля 2017 года.
Аннотации докладов, постер и прочая информация доступны на страницах
конференции:
https://www.mathnet.ru/conf2765
https://zykin.mccme.ru/
Все доклады будут транслироваться через «Контур Толк»:
https://mian.ktalk.ru/j0lklvjdueq1?pinCode=3197
#Зыкин
❤13🫡8👍6🔥2
Логический семинар лаборатории им. Манина Высшей школы современной математики
Когда: среда 10 июня, 14:00
Где: МФТИ, Административный корпус, ауд.322,
Доклад:
С.М. Дудаков (ТвГУ, ВШЭ),
"Об определимости в 3-дереве"
Мы рассматриваем решётку определимости теории 3-дерева, то есть (бесконечного) неориентированного дерева, все вершины которого имеют степень 3. Единственным сигнатурным символом является двухместный предикат E, означающий наличие ребра. Рассматривается множество определимых в этой теории предикатов. Если предикат A может быть быть определён через предикат B, то предикат B можно рассматривать как <<более выразительный>>. Это отношение <<быть более выразительным>> является предпорядком, поэтому профакторизовав его, мы получим отношение частичного порядка на классах предикатов, каждый из которых состоит из определимых друг через друга предикатов. Наш основной результат — для теории 3-дерева этот частичный порядок состоит всего из трёх элементов, соответствующих отношению равенства, отношению <<находиться на расстоянии 2>> и собственно отношению E, то есть исходному предикату.
Планируется интернет-трансляция по адресу
https://telemost.yandex.ru/j/00084330909943
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страница семинара: https://www.mathnet.ru/rus/conf2559
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_логический
Когда: среда 10 июня, 14:00
Где: МФТИ, Административный корпус, ауд.322,
Доклад:
С.М. Дудаков (ТвГУ, ВШЭ),
"Об определимости в 3-дереве"
Мы рассматриваем решётку определимости теории 3-дерева, то есть (бесконечного) неориентированного дерева, все вершины которого имеют степень 3. Единственным сигнатурным символом является двухместный предикат E, означающий наличие ребра. Рассматривается множество определимых в этой теории предикатов. Если предикат A может быть быть определён через предикат B, то предикат B можно рассматривать как <<более выразительный>>. Это отношение <<быть более выразительным>> является предпорядком, поэтому профакторизовав его, мы получим отношение частичного порядка на классах предикатов, каждый из которых состоит из определимых друг через друга предикатов. Наш основной результат — для теории 3-дерева этот частичный порядок состоит всего из трёх элементов, соответствующих отношению равенства, отношению <<находиться на расстоянии 2>> и собственно отношению E, то есть исходному предикату.
Планируется интернет-трансляция по адресу
https://telemost.yandex.ru/j/00084330909943
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страница семинара: https://www.mathnet.ru/rus/conf2559
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_логический
🥰5
Комбинаторика и топология — совместный семинар ВШМ и лаборатории комбинаторных и геометрических структур ФПМИ МФТИ
Когда: суббота 13 июня, 13:55
Где: ауд. 322АдмК
Доклад:
Андрей Рябичев (ВШМ),
"Минимальные триангуляции отображений сфер"
Мы изучаем триангуляции отображения S^n в S^n степени d>0, где сфера-образ триангулирована стандартно (как граница n+1-симплекса). Какое наименьшее число вершин может иметь триангуляция сферы-прообраза?
Грубая оценка обеспечивается теоремой о верхней границе. Оказывается, эта оценка асимптотически точна (говоря неформально, если число вершин k, то d может расти как k^[(n+1)/2]). Если же наложить на отображение условие невырожденности (на всех n-симплексах), то подобных примеров построить уже не удаётся.
Я расскажу более подробно о постановке задачи и об известных на данный момент результатах, а также приглашаю желающих обсудить, какую технику можно применить здесь в дальнейшем. Для понимания достаточно минимальных знаний о степенях отображений и триангуляциях.
Страница семинара: https://old.mccme.ru/ium/s23/ryabichev/f25-mipt-topkomb.html
Если у вас нет пропуска МФТИ, надо взять паспорт и попросить руководителей семинара встретить вас на охране.
#ВШМ_ФПМИ_топкомб
Когда: суббота 13 июня, 13:55
Где: ауд. 322АдмК
Доклад:
Андрей Рябичев (ВШМ),
"Минимальные триангуляции отображений сфер"
Мы изучаем триангуляции отображения S^n в S^n степени d>0, где сфера-образ триангулирована стандартно (как граница n+1-симплекса). Какое наименьшее число вершин может иметь триангуляция сферы-прообраза?
Грубая оценка обеспечивается теоремой о верхней границе. Оказывается, эта оценка асимптотически точна (говоря неформально, если число вершин k, то d может расти как k^[(n+1)/2]). Если же наложить на отображение условие невырожденности (на всех n-симплексах), то подобных примеров построить уже не удаётся.
Я расскажу более подробно о постановке задачи и об известных на данный момент результатах, а также приглашаю желающих обсудить, какую технику можно применить здесь в дальнейшем. Для понимания достаточно минимальных знаний о степенях отображений и триангуляциях.
Страница семинара: https://old.mccme.ru/ium/s23/ryabichev/f25-mipt-topkomb.html
Если у вас нет пропуска МФТИ, надо взять паспорт и попросить руководителей семинара встретить вас на охране.
#ВШМ_ФПМИ_топкомб
❤5🔥2
На канале Matemateachka появилась запись сегодняшнего эфира с М. А. Цфасманом и А. Н. Соболевским.. О чем был эфир? Повторим здесь фразу из анонса:
О науке, о жизни, о перспективах фундаментального математического образования и, конечно, о Высшей школе современной математики МФТИ.
❤14
Логический семинар лаборатории им. Манина Высшей школы современной математики
Когда: среда 17 июня, 14:00
Где: МФТИ, Административный корпус, ауд.322,
Доклад:
В.Б. Шехтман,
"Фрагменты модальных предикатных логик с 1 переменной и симплициальная семантика"
Фрагмент 1-модальной предикатной логики с 1 переменной можно представить как 2-модальную пропозициональную логику, в которой вторая модальность соответствует квантору. Эти 2-модальные логики отчасти связаны с произведениями и полупроизведениями. Их аксиоматизация нетривиальна и, как правило неизвестна.
Но в некоторых случаях она получается “минимальным образом”, а именно для логик вида QL, где L - полная хорново аксиоматизируемая модальная логика.
В докладе будет изложено доказательство этого результата. В нем используется симплициальная семантика модальных логик Д. Скворцова и конструкция А. Гротендика симплициальных множеств как нервов группоидов.
Планируется интернет-трансляция по адресу
https://telemost.yandex.ru/j/00084330909943
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страница семинара: https://www.mathnet.ru/rus/conf2559
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_логический
Когда: среда 17 июня, 14:00
Где: МФТИ, Административный корпус, ауд.322,
Доклад:
В.Б. Шехтман,
"Фрагменты модальных предикатных логик с 1 переменной и симплициальная семантика"
Фрагмент 1-модальной предикатной логики с 1 переменной можно представить как 2-модальную пропозициональную логику, в которой вторая модальность соответствует квантору. Эти 2-модальные логики отчасти связаны с произведениями и полупроизведениями. Их аксиоматизация нетривиальна и, как правило неизвестна.
Но в некоторых случаях она получается “минимальным образом”, а именно для логик вида QL, где L - полная хорново аксиоматизируемая модальная логика.
В докладе будет изложено доказательство этого результата. В нем используется симплициальная семантика модальных логик Д. Скворцова и конструкция А. Гротендика симплициальных множеств как нервов группоидов.
Планируется интернет-трансляция по адресу
https://telemost.yandex.ru/j/00084330909943
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страница семинара: https://www.mathnet.ru/rus/conf2559
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.
#ВШМ_логический
❤4