#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Logic Online Seminar (https://www.mathnet.ru/eng/conf876), Monday 16:00 MSK (UTC+3), MIAN Room 313 + Kontur Talk
16.06.2025, совместно с семинаром С.И. Адяна, И.А. Дынников (МИАН, https://www.mathnet.ru/person8990): Алгоритмическое сравнение лежандровых узлов (очный доклад)
Доклад основан на совместных работах с Максимом Прасоловым и Владимиром Шастиным. Мы разрабатываем подход к классификации узлов и зацеплений в трёхмерном пространстве, основанный на монотонном упрощении диаграмм специального вида (называемых прямоугольными). Это по сути означает описание множества всех "неупрощаемых" прямоугольных диаграмм, то есть диаграмм, которые невозможно упростить, применяя не увеличивающие сложность элементарные преобразования. Мы показали, что задача классификации неупрощаемых диаграмм в некотором смысле эквивалентна топологической классификации так называемых лежандровых зацеплений, не допускающих дестабилизации. Это, в свою очередь, позволило построить алгоритм, позволяющий проверять эквивалентность любых двух данных лежандровых зацеплений.
➰ ВК
Logic Online Seminar (https://www.mathnet.ru/eng/conf876), Monday 16:00 MSK (UTC+3), MIAN Room 313 + Kontur Talk
16.06.2025, совместно с семинаром С.И. Адяна, И.А. Дынников (МИАН, https://www.mathnet.ru/person8990): Алгоритмическое сравнение лежандровых узлов (очный доклад)
Доклад основан на совместных работах с Максимом Прасоловым и Владимиром Шастиным. Мы разрабатываем подход к классификации узлов и зацеплений в трёхмерном пространстве, основанный на монотонном упрощении диаграмм специального вида (называемых прямоугольными). Это по сути означает описание множества всех "неупрощаемых" прямоугольных диаграмм, то есть диаграмм, которые невозможно упростить, применяя не увеличивающие сложность элементарные преобразования. Мы показали, что задача классификации неупрощаемых диаграмм в некотором смысле эквивалентна топологической классификации так называемых лежандровых зацеплений, не допускающих дестабилизации. Это, в свою очередь, позволило построить алгоритм, позволяющий проверять эквивалентность любых двух данных лежандровых зацеплений.
➰ ВК
После «Формальной философии 2025» и летней школы «Логика, лингвистика и формальная философия» в МЛ ЛогЛинФФ пройдет еще одна конференция
Forwarded from whatever Philosophie|Das dumpfe Weben des Geistes
Но есть и хорошие новости.
В 3 номере «Эпистемологии и философии науки» выйдет дискуссия с заглавной статьей Пирмина Штекелера-Вайтхофера при участии его учеников, а также коллег из ВШЭ.
По мотивам дискуссии мы организуем конференцию по метафизике, которая пройдет 9 и 10 июля 2025 года.
Что имеем: две секции, на русском и английском языках. Русскоязычная часть намечена на 9 июля и можно прийти послушать лично (регистрируйтесь), англоязычная часть пройдет 10 июля полностью онлайн. Присоединяйтесь в качестве слушателей онлайн и приходите в вышку лично.
У нас будут убойные докладчики. Первая секция с молодыми и дерзкими отечественными философами, вторая с маститыми иностранными мэтрами (см. описание!).
Конференция интересна тем, что она задает довольно широкие тематические рамки и находится на стыке аналитической философии и немецкой традиции, там будет и аналитика, и (подспудно) Гегель, и (явно) Хайдеггер и Витгенштейн.
Интересно будет всем.
https://llfp.hse.ru/confmetaphysics
В 3 номере «Эпистемологии и философии науки» выйдет дискуссия с заглавной статьей Пирмина Штекелера-Вайтхофера при участии его учеников, а также коллег из ВШЭ.
По мотивам дискуссии мы организуем конференцию по метафизике, которая пройдет 9 и 10 июля 2025 года.
Что имеем: две секции, на русском и английском языках. Русскоязычная часть намечена на 9 июля и можно прийти послушать лично (регистрируйтесь), англоязычная часть пройдет 10 июля полностью онлайн. Присоединяйтесь в качестве слушателей онлайн и приходите в вышку лично.
У нас будут убойные докладчики. Первая секция с молодыми и дерзкими отечественными философами, вторая с маститыми иностранными мэтрами (см. описание!).
Конференция интересна тем, что она задает довольно широкие тематические рамки и находится на стыке аналитической философии и немецкой традиции, там будет и аналитика, и (подспудно) Гегель, и (явно) Хайдеггер и Витгенштейн.
Интересно будет всем.
https://llfp.hse.ru/confmetaphysics
Forwarded from БЛОКНОТ ФИЛОСОФА
This media is not supported in your browser
VIEW IN TELEGRAM
Forwarded from БЛОКНОТ ФИЛОСОФА
#МЛогЛингФФ
Please open Telegram to view this post
VIEW IN TELEGRAM