#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 23.05.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Саакян Степан
Название: Парадокс Ябло с точки зрения теории доказуемости
Аннотация.
Как известно, при замене истинности на доказуемость в парадоксе лжеца получается предложение Гёделя. "Это утверждение ложно" превращается в "Это утверждение недоказуемо", и после такой операции парадокс приводит к теореме. Что получится, если подобную замену проделать в парадоксе Ябло? Этим вопросом задались авторы статьи [1], изложением которой я и займусь.
Напомним формулировку парадокса: пусть существует счётная последовательность предложений, каждое из которых утверждает, что все следующие ложны. Рассуждениями, аналогичными таковым в парадоксе лжеца, можно довести это предположение до противоречия.
Оказывается, что замена истинности на доказуемость приводит к интересным результатам, связанным с теоремами Гёделя о неполноте и даже нестандартными моделями арифметики.
[1] Cieśliński, C., Urbaniak, R. Gödelizing the Yablo Sequence. J Philos Logic 42, 679–695 (2013). https://doi.org/10.1007/s10992-012-9244-4
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 23.05.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Саакян Степан
Название: Парадокс Ябло с точки зрения теории доказуемости
Аннотация.
Как известно, при замене истинности на доказуемость в парадоксе лжеца получается предложение Гёделя. "Это утверждение ложно" превращается в "Это утверждение недоказуемо", и после такой операции парадокс приводит к теореме. Что получится, если подобную замену проделать в парадоксе Ябло? Этим вопросом задались авторы статьи [1], изложением которой я и займусь.
Напомним формулировку парадокса: пусть существует счётная последовательность предложений, каждое из которых утверждает, что все следующие ложны. Рассуждениями, аналогичными таковым в парадоксе лжеца, можно довести это предположение до противоречия.
Оказывается, что замена истинности на доказуемость приводит к интересным результатам, связанным с теоремами Гёделя о неполноте и даже нестандартными моделями арифметики.
[1] Cieśliński, C., Urbaniak, R. Gödelizing the Yablo Sequence. J Philos Logic 42, 679–695 (2013). https://doi.org/10.1007/s10992-012-9244-4
➰ ВК
👍3
#матлог #спецсеминар #не_мехмат
Семинар Добрушинской лаборатории Высшей школы современной математики МФТИ (ВШМ).
27 мая, вторник, 16:15, Адм. корпус ауд.322.
https://www.mathnet.ru/conf167
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный + трансляция в телемосте
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идете на семинар и не забудьте паспорт.
Мусин Олег (University of Texas Rio Grande Valley): Теоремы существования и быстрые алгоритмы для задач справедливого дележа.
Existence theorems and fast algorithms for fair division problems
Аннотация:
У известной проблемы справедливого дележа - долгая история. У этой задачи имеется множество форм и она возникает в многочисленных жизненных ситуациях. В этом докладе я рассмотрю теоремы существования для задач справедливой аренды и разрезания торта, а также обобщения этих теорем.
Вторая часть доклада - это совместная работа, которая была мотивирована публикацией в New York Times: "To Divide the Rent, Start With a Triangle" by Albert Sun (April 28, 2014)", к которой прилагается калькулятор для справедливой аренды, основанный на работе Фрэнсиса Су. В недавно опубликованной статье мы рассматриваем алгоритмическую сложность задач справедливого дележа и минимизацию количества запросов, необходимых для нахождения приближённого решения с желаемой точностью. Для нескольких классов задач справедливого дележа показано, что при определённых естественных условиях на множествах предпочтений достаточно логарифмического количества запросов относительно точности.
➰ ВК
Семинар Добрушинской лаборатории Высшей школы современной математики МФТИ (ВШМ).
27 мая, вторник, 16:15, Адм. корпус ауд.322.
https://www.mathnet.ru/conf167
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный + трансляция в телемосте
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идете на семинар и не забудьте паспорт.
Мусин Олег (University of Texas Rio Grande Valley): Теоремы существования и быстрые алгоритмы для задач справедливого дележа.
Existence theorems and fast algorithms for fair division problems
Аннотация:
У известной проблемы справедливого дележа - долгая история. У этой задачи имеется множество форм и она возникает в многочисленных жизненных ситуациях. В этом докладе я рассмотрю теоремы существования для задач справедливой аренды и разрезания торта, а также обобщения этих теорем.
Вторая часть доклада - это совместная работа, которая была мотивирована публикацией в New York Times: "To Divide the Rent, Start With a Triangle" by Albert Sun (April 28, 2014)", к которой прилагается калькулятор для справедливой аренды, основанный на работе Фрэнсиса Су. В недавно опубликованной статье мы рассматриваем алгоритмическую сложность задач справедливого дележа и минимизацию количества запросов, необходимых для нахождения приближённого решения с желаемой точностью. Для нескольких классов задач справедливого дележа показано, что при определённых естественных условиях на множествах предпочтений достаточно логарифмического количества запросов относительно точности.
➰ ВК
🤔1
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Обратите внимание на нестандартное время!
Logic Online Seminar (https://www.mathnet.ru/eng/conf876), Monday 17:00 MSK (UTC+3), MIAN Room 313 + Kontur Talk
02.06.2025, 17:00, совместно с семинаром С.И. Адяна, О.В. Сипачёва (МГУ, мехмат, https://www.mathnet.ru/rus/person12816): Топологические универсальные алгебры: симбиоз алгебры и топологии (очный доклад)
Топологическая универсальная алгебра, или просто топологическая алгебра, — это алгебраическая система без отношений, снабжённая топологией, относительно которой все операции непрерывны. Многообразием топологических алгебр называется любой класс топологических алгебр данной сигнатуры, замкнутый относительно произвольных произведений и перехода к подалгебрам и факторалгебрам. Согласно знаменитой теореме Биркгофа класс алгебр является многообразием тогда и только тогда, когда он задаётся некоторой совокупностью тождеств, т.е. состоит в точности из тех алгебр, в которых выполнены все тождества из данной совокупности.
Топологические и алгебраические свойства топологических алгебр удивительным образом связаны друг с другом. В докладе рассматриваются топологические свойства, вытекающие из выполнения тех или иных тождеств, и — что наиболее интересно — тождества, выполнение которых вытекает из наличия тех или иных топологических свойств. Ещё в прошлом веке такие тождества были найдены для импликаций, связывающих разные аксиомы отделимости. В докладе основное внимание уделено вопросу, при каких условиях факторалгебра топологической алгебры с фактортопологией является топологической алгеброй, т.е. какие тождества должны выполняться в многообразии топологических алгебр для того, чтобы факторные гомоморфизмы алгебр из этого многообразия сохраняли непрерывность операций. Некоторое внимание уделяется также алгебрам с топологиями, относительно которых все операции раздельно непрерывны; они обладают любопытными свойствами, выгодно отличающими их от топологических алгебр.
➰ ВК
Обратите внимание на нестандартное время!
Logic Online Seminar (https://www.mathnet.ru/eng/conf876), Monday 17:00 MSK (UTC+3), MIAN Room 313 + Kontur Talk
02.06.2025, 17:00, совместно с семинаром С.И. Адяна, О.В. Сипачёва (МГУ, мехмат, https://www.mathnet.ru/rus/person12816): Топологические универсальные алгебры: симбиоз алгебры и топологии (очный доклад)
Топологическая универсальная алгебра, или просто топологическая алгебра, — это алгебраическая система без отношений, снабжённая топологией, относительно которой все операции непрерывны. Многообразием топологических алгебр называется любой класс топологических алгебр данной сигнатуры, замкнутый относительно произвольных произведений и перехода к подалгебрам и факторалгебрам. Согласно знаменитой теореме Биркгофа класс алгебр является многообразием тогда и только тогда, когда он задаётся некоторой совокупностью тождеств, т.е. состоит в точности из тех алгебр, в которых выполнены все тождества из данной совокупности.
Топологические и алгебраические свойства топологических алгебр удивительным образом связаны друг с другом. В докладе рассматриваются топологические свойства, вытекающие из выполнения тех или иных тождеств, и — что наиболее интересно — тождества, выполнение которых вытекает из наличия тех или иных топологических свойств. Ещё в прошлом веке такие тождества были найдены для импликаций, связывающих разные аксиомы отделимости. В докладе основное внимание уделено вопросу, при каких условиях факторалгебра топологической алгебры с фактортопологией является топологической алгеброй, т.е. какие тождества должны выполняться в многообразии топологических алгебр для того, чтобы факторные гомоморфизмы алгебр из этого многообразия сохраняли непрерывность операций. Некоторое внимание уделяется также алгебрам с топологиями, относительно которых все операции раздельно непрерывны; они обладают любопытными свойствами, выгодно отличающими их от топологических алгебр.
➰ ВК
👍4
#матлог
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
30 мая (пятница) в 18:30 состоится очередное заседание научно-исследовательского семинара «From the Logical Point of View».
Тема доклада: Модальная логика с точки зрения теоретико-доказательственной семантики.
Докладчик: Юрий Казаков (стажер-исследователь МЛ ЛогЛинФФ).
Аннотация: Помимо традиционной репрезентации модальной логики через модели Крипке, существует длительная традиция исследования теорий доказательств для соответствующего класса логик. При этом в логической семантике редко поднимался вопрос о возможности и целесообразности описания модальных связок через доказательственные конструкции. Для некоторых логик такое описание представляется более естественным или вовсе незаменимым, например, для интуиционистской или субструктурных. Но переносимы ли соответствующие результаты на класс модальных логик? Моё исследование посвящено именно этому вопросу. Я постараюсь познакомить слушателей с некоторыми основными идеями теоретико-доказательственной семантики как целостной программы, обосновать использование секвенций в качестве основных доказательственных конструкций и продемонстрировать результаты, полученные для модальных логик.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1051159919.html
➰ ВК
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
30 мая (пятница) в 18:30 состоится очередное заседание научно-исследовательского семинара «From the Logical Point of View».
Тема доклада: Модальная логика с точки зрения теоретико-доказательственной семантики.
Докладчик: Юрий Казаков (стажер-исследователь МЛ ЛогЛинФФ).
Аннотация: Помимо традиционной репрезентации модальной логики через модели Крипке, существует длительная традиция исследования теорий доказательств для соответствующего класса логик. При этом в логической семантике редко поднимался вопрос о возможности и целесообразности описания модальных связок через доказательственные конструкции. Для некоторых логик такое описание представляется более естественным или вовсе незаменимым, например, для интуиционистской или субструктурных. Но переносимы ли соответствующие результаты на класс модальных логик? Моё исследование посвящено именно этому вопросу. Я постараюсь познакомить слушателей с некоторыми основными идеями теоретико-доказательственной семантики как целостной программы, обосновать использование секвенций в качестве основных доказательственных конструкций и продемонстрировать результаты, полученные для модальных логик.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1051159919.html
➰ ВК
ВКонтакте
Логика, лингвистика и формальная философия
Неофициальная страница Международной лаборатории логики, лингвистики и формальной философии (МЛ ЛогЛинФФ). Мы на YouTube: https://www.youtube.com/channel/UC7CqNTt_I2dE6Nr4kAEGpgQ Мы в Телеграмме: https://news.1rj.ru/str/form_phil Наша рассылка: https://llfp.hse.ru/…
🔥2
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 4 июня в 14:00.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, если у вас нет пропуска в МФТИ, достаточно сказать, что вы идёте на семинар ВШМ и предъявить паспорт.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Докладчики: В.Б. Шехтман, А.В. Кудинов
Название: О семантической полноте суперинтуиционистских и модальных логик
Аннотация:
Суперинтуиционистские логики были одним из основных направлений исследований А.В. Кузнецова, и проблемы полноты играют в этом контексте ключевую роль. В частности, Кузнецов поставил проблему о совпадении полноты по Крипке и топологической полноты. В статье Шехтмана "On Neighbourhood Semantics Thirty Years Later, 2005“ приведен контрпример, доказывающий, что топологическая полнота сильнее, чем семантика Крипке, но без явной аксиоматизации. Такие же примеры известны для модальных логик, содержащих S4. В докладе обсуждаются другие аналогичные примеры для суперинтуиционистских и модальных логик. В частности, будет дан пример конечно аксиоматизируемой модальной логики с 3 модальностями, которая полна в окрестностной семантике относительно счетной шкалы, но неполна в семантике Крипке.
➰ ВК
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 4 июня в 14:00.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, если у вас нет пропуска в МФТИ, достаточно сказать, что вы идёте на семинар ВШМ и предъявить паспорт.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Докладчики: В.Б. Шехтман, А.В. Кудинов
Название: О семантической полноте суперинтуиционистских и модальных логик
Аннотация:
Суперинтуиционистские логики были одним из основных направлений исследований А.В. Кузнецова, и проблемы полноты играют в этом контексте ключевую роль. В частности, Кузнецов поставил проблему о совпадении полноты по Крипке и топологической полноты. В статье Шехтмана "On Neighbourhood Semantics Thirty Years Later, 2005“ приведен контрпример, доказывающий, что топологическая полнота сильнее, чем семантика Крипке, но без явной аксиоматизации. Такие же примеры известны для модальных логик, содержащих S4. В докладе обсуждаются другие аналогичные примеры для суперинтуиционистских и модальных логик. В частности, будет дан пример конечно аксиоматизируемой модальной логики с 3 модальностями, которая полна в окрестностной семантике относительно счетной шкалы, но неполна в семантике Крипке.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар... Смотрите полностью ВКонтакте.
Уважаемые коллеги, приглашаем вас на логический семинар... Смотрите полностью ВКонтакте.
#матлог
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
6 июня (пятница) в 18:30 состоится очередное заседание научно-исследовательского семинара «From the Logical Point of View».
Тема доклада: Модификация аксиом о позитивности в онтологическом доказательстве Геделя.
Докладчик: Юлия Копчева (стажер-исследователь МЛ ЛогЛинФФ).
Аннотация: В 1970 году Курт Гедель представил собственное онтологическое доказательство бытия Бога. Доказательство вызвало активную дискуссию среди исследователей, поскольку в нем можно выявить ряд как логических, так и онтологических трудностей. В первую очередь речь идет о модальном коллапсе и противоречивости, а также о проблеме в интерпретации позитивности, введенной Геделем.
В докладе предлагается рассмотреть само доказательство Геделя и возможные модификации аксиоматики, предложенные исследователями с целью разрешения указанных трудностей. Так, будет проанализирован геделевский онтологический аргумент, а также формальный вывод модального коллапса и противоречивости, будут рассмотрены онтологические трудности. Выбранные для исследования модификации включают в себя различение интенсиональных и экстенсиональных свойств, упрощенную аксиоматику, предложенную Бенцмюллером, а также модификации через построение ультрафильтров на множестве позитивных свойств. В рамках доклада будет предложена авторская интерпретация возможных онтологических следствий этих модификаций на основе учения А. Бадью.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1053296706.html
➰ ВК
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
6 июня (пятница) в 18:30 состоится очередное заседание научно-исследовательского семинара «From the Logical Point of View».
Тема доклада: Модификация аксиом о позитивности в онтологическом доказательстве Геделя.
Докладчик: Юлия Копчева (стажер-исследователь МЛ ЛогЛинФФ).
Аннотация: В 1970 году Курт Гедель представил собственное онтологическое доказательство бытия Бога. Доказательство вызвало активную дискуссию среди исследователей, поскольку в нем можно выявить ряд как логических, так и онтологических трудностей. В первую очередь речь идет о модальном коллапсе и противоречивости, а также о проблеме в интерпретации позитивности, введенной Геделем.
В докладе предлагается рассмотреть само доказательство Геделя и возможные модификации аксиоматики, предложенные исследователями с целью разрешения указанных трудностей. Так, будет проанализирован геделевский онтологический аргумент, а также формальный вывод модального коллапса и противоречивости, будут рассмотрены онтологические трудности. Выбранные для исследования модификации включают в себя различение интенсиональных и экстенсиональных свойств, упрощенную аксиоматику, предложенную Бенцмюллером, а также модификации через построение ультрафильтров на множестве позитивных свойств. В рамках доклада будет предложена авторская интерпретация возможных онтологических следствий этих модификаций на основе учения А. Бадью.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1053296706.html
➰ ВК
ВКонтакте
Логика, лингвистика и формальная философия
Неофициальная страница Международной лаборатории логики, лингвистики и формальной философии (МЛ ЛогЛинФФ). Мы на YouTube: https://www.youtube.com/channel/UC7CqNTt_I2dE6Nr4kAEGpgQ Мы в Телеграмме: https://news.1rj.ru/str/form_phil Наша рассылка: https://llfp.hse.ru/…
❤1
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 06.06.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Иван Пыльцын
Название: Нефундированное расширение интуиционистской логики и игровая семантика Межирова.
Аннотация:
Семантическая игра Межирова впервые была описана Ильёй Межировым в 2006 году для интуиционистской пропозициональной логики и модальной логики Гжегорчика, представляя из себя независимый (в частности, не опирающийся на модели Крипке) семантический подход к описанию этих логик. Данная теоретико-игровая семантика описывала эти логики как множества тавтологий. Я заинтересовался поиском обобщения игры Межирова, которое бы описывало логики как отношения следования. В процессе моих поисков я обнаружил, что возможные естественные направления модернизации данной семантики приводят к некомпактным отношениям следования.
Представленная и описанная Данияром Шамкановым, модальная логика Гёделя-Лёба, расширенная нефундированными выводами, является одним из естественных примеров логики, представляющейся в виде некомпактного отношения следования. Мне удалось обнаружить некомпактную суперинтуиционистскую логику, которую так же возможно задать как расширение интуиционистской логики нефундированными выводами. Данная логика точно интерпретируется в упомянутом расширении логики Гёделя-Лёба при помощи перевода Гёделя-Тарского. Для неё мне удалось построить искомое естественное обобщение игровой семантики Межирова.
Фокус доклада будет направлен на полученное теоретико-игровое описание нефундированного расширения интуиционистской логики.
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 06.06.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Иван Пыльцын
Название: Нефундированное расширение интуиционистской логики и игровая семантика Межирова.
Аннотация:
Семантическая игра Межирова впервые была описана Ильёй Межировым в 2006 году для интуиционистской пропозициональной логики и модальной логики Гжегорчика, представляя из себя независимый (в частности, не опирающийся на модели Крипке) семантический подход к описанию этих логик. Данная теоретико-игровая семантика описывала эти логики как множества тавтологий. Я заинтересовался поиском обобщения игры Межирова, которое бы описывало логики как отношения следования. В процессе моих поисков я обнаружил, что возможные естественные направления модернизации данной семантики приводят к некомпактным отношениям следования.
Представленная и описанная Данияром Шамкановым, модальная логика Гёделя-Лёба, расширенная нефундированными выводами, является одним из естественных примеров логики, представляющейся в виде некомпактного отношения следования. Мне удалось обнаружить некомпактную суперинтуиционистскую логику, которую так же возможно задать как расширение интуиционистской логики нефундированными выводами. Данная логика точно интерпретируется в упомянутом расширении логики Гёделя-Лёба при помощи перевода Гёделя-Тарского. Для неё мне удалось построить искомое естественное обобщение игровой семантики Межирова.
Фокус доклада будет направлен на полученное теоретико-игровое описание нефундированного расширения интуиционистской логики.
➰ ВК
👍1
#матлог
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
13 июня (пятница) в 18:30 состоится очередное заседание научно-исследовательского семинара «From the Logical Point of View».
Тема доклада: Многомерный и одномерный подходы к моделированию языковых значений: монады vs. импозиции.
Докладчик: Дарья Попова (научный сотрудник МЛ ЛогЛинФФ).
Аннотация: В докладе будет рассмотрен многомерный подход к моделированию значений в терминах монад (Shan 2002; Giorgolo and Asudeh 2012, 2014; Charlow 2014). Подход позволяет сохранить интуицию, что высказывание может быть ассоциировано с несколькими независимыми значениями, при этом не исключает взаимодействия значений разных уровней, что важно для моделирования случаев анафоры и эллипсиса. Многомерный подход в терминах монад будет противопоставлен одномерному подходу в рамках динамической семантики в терминах импозиций, моделирующего те же языковые данные (AnderBois et al. 2010). Оба подхода будут применены к эвиденциальным конструкциям с пропозициональными глаголами. Будут рассмотрены сильные стороны каждого подхода и намечен путь их инкорпорации.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1055523799.html
➰ ВК
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
13 июня (пятница) в 18:30 состоится очередное заседание научно-исследовательского семинара «From the Logical Point of View».
Тема доклада: Многомерный и одномерный подходы к моделированию языковых значений: монады vs. импозиции.
Докладчик: Дарья Попова (научный сотрудник МЛ ЛогЛинФФ).
Аннотация: В докладе будет рассмотрен многомерный подход к моделированию значений в терминах монад (Shan 2002; Giorgolo and Asudeh 2012, 2014; Charlow 2014). Подход позволяет сохранить интуицию, что высказывание может быть ассоциировано с несколькими независимыми значениями, при этом не исключает взаимодействия значений разных уровней, что важно для моделирования случаев анафоры и эллипсиса. Многомерный подход в терминах монад будет противопоставлен одномерному подходу в рамках динамической семантики в терминах импозиций, моделирующего те же языковые данные (AnderBois et al. 2010). Оба подхода будут применены к эвиденциальным конструкциям с пропозициональными глаголами. Будут рассмотрены сильные стороны каждого подхода и намечен путь их инкорпорации.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1055523799.html
➰ ВК
ВКонтакте
Логика, лингвистика и формальная философия
Неофициальная страница Международной лаборатории логики, лингвистики и формальной философии (МЛ ЛогЛинФФ). Мы на YouTube: https://www.youtube.com/channel/UC7CqNTt_I2dE6Nr4kAEGpgQ Мы в Телеграмме: https://news.1rj.ru/str/form_phil Наша рассылка: https://llfp.hse.ru/…
❤4
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
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): Алгоритмическое сравнение лежандровых узлов (очный доклад)
Доклад основан на совместных работах с Максимом Прасоловым и Владимиром Шастиным. Мы разрабатываем подход к классификации узлов и зацеплений в трёхмерном пространстве, основанный на монотонном упрощении диаграмм специального вида (называемых прямоугольными). Это по сути означает описание множества всех "неупрощаемых" прямоугольных диаграмм, то есть диаграмм, которые невозможно упростить, применяя не увеличивающие сложность элементарные преобразования. Мы показали, что задача классификации неупрощаемых диаграмм в некотором смысле эквивалентна топологической классификации так называемых лежандровых зацеплений, не допускающих дестабилизации. Это, в свою очередь, позволило построить алгоритм, позволяющий проверять эквивалентность любых двух данных лежандровых зацеплений.
➰ ВК
👍2
#матлог #конференция
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
Открыта регистрация для слушателей конференции "Формальная философия 2025", регистрация будет открыта до 22 июня, https://llfp.hse.ru/formphil2025
🔗 Международная конференция «Формальная философия 2025»
➰ ВК
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
Открыта регистрация для слушателей конференции "Формальная философия 2025", регистрация будет открыта до 22 июня, https://llfp.hse.ru/formphil2025
🔗 Международная конференция «Формальная философия 2025»
➰ ВК
ВКонтакте
Логика, лингвистика и формальная философия
Неофициальная страница Международной лаборатории логики, лингвистики и формальной философии (МЛ ЛогЛинФФ). Мы на YouTube: https://www.youtube.com/channel/UC7CqNTt_I2dE6Nr4kAEGpgQ Мы в Телеграмме: https://news.1rj.ru/str/form_phil Наша рассылка: https://llfp.hse.ru/…
👍2
#матлог #ВШЭ #конференция
Приглашаем вас на Однодневный семинар по математической логике, который пройдет 25 июня с 11:00 до 18:00.
На семинаре планируем заслушать несколько коротких докладов, отражающих прикладные аспекты математической логики в Computer Science и смежных науках. Сейчас математическая логика имеет всё больше приложений "в жизни": пруверы (системы автоматических доказательств); лямбда-исчисление, ставшее основой для функционального программирования; изучение естественных языков при помощи исчисления Ламбека; модальные логики используются для представления знаний и многое другое.
Семинар пройдет по адресу Покровский бульвар 11, аудитория R405.
Программа семинара доступна по ссылке: https://cs.hse.ru/big-data/seminatfknlogic25
Регистрация: https://cs.hse.ru/big-data/polls/1050612121.html
➰ ВК
Приглашаем вас на Однодневный семинар по математической логике, который пройдет 25 июня с 11:00 до 18:00.
На семинаре планируем заслушать несколько коротких докладов, отражающих прикладные аспекты математической логики в Computer Science и смежных науках. Сейчас математическая логика имеет всё больше приложений "в жизни": пруверы (системы автоматических доказательств); лямбда-исчисление, ставшее основой для функционального программирования; изучение естественных языков при помощи исчисления Ламбека; модальные логики используются для представления знаний и многое другое.
Семинар пройдет по адресу Покровский бульвар 11, аудитория R405.
Программа семинара доступна по ссылке: https://cs.hse.ru/big-data/seminatfknlogic25
Регистрация: https://cs.hse.ru/big-data/polls/1050612121.html
➰ ВК
cs.hse.ru
Семинар по математической логике
👍2🔥2❤1
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Logic Online Seminar (https://www.mathnet.ru/eng/conf876), Monday 16:00 MSK (UTC+3), MIAN Room 313 + Kontur Talk (очный доклад)
7.07.2025 Ф.Н. Пахомов (МИАН и Университет Гента): Исчисления рефлексии и линейность: фрагменты теории бар-индукции.
В рамках исследований по основаниям математики эмпирически наблюдается феномен линейности порядка по силе непротиворечивости для естественных теорий. В то же время хорошо известно, что используя подходящие технические приёмы, такие как гёделевская лемма о неподвижной точке, можно строить примеры несравнимых теорий в этом порядке. В данном докладе я расскажу о подходе, позволяющем доказать линейность такого порядка, ограниченного на богатое семейство фрагментов данной теории (в нашем случае теории бар-индукции BI).
Теория BI - это подтеория классической арифметики второго порядка постулирующая, что имеет место принцип трансфинитной индукции для всех полных линейных порядков. В силу классического результата Харви Фридмана она эквивалентна над ACA₀ принципу ω-модельной рефлексии. С точки зрения силы непротиворечивости эта теория эквивалентна теориям KPω и ID₁.
В данном докладе будет рассказано о построении исчисления рефлексии для теории BI. Это исчисление, с одной стороны, позволяет нам с одной стороны произвести ординальный анализ BI и тем самым получить новую теоретико-рефлексивную систему обозначений для ординала Бахмана-Говарда. С другой стороны, мы показываем, что все теории, выразимые в этом исчислении, линейно сравнимы по силе непротиворечивости. При этом техника доказательства является воплощением для случая BI общей схемы: наличие адекватного исчисления рефлексии влечёт линейность порядка по силе непротиворечивости.
Доклад основан на совместной работе с Владом Лазерем.
➰ ВК
Logic Online Seminar (https://www.mathnet.ru/eng/conf876), Monday 16:00 MSK (UTC+3), MIAN Room 313 + Kontur Talk (очный доклад)
7.07.2025 Ф.Н. Пахомов (МИАН и Университет Гента): Исчисления рефлексии и линейность: фрагменты теории бар-индукции.
В рамках исследований по основаниям математики эмпирически наблюдается феномен линейности порядка по силе непротиворечивости для естественных теорий. В то же время хорошо известно, что используя подходящие технические приёмы, такие как гёделевская лемма о неподвижной точке, можно строить примеры несравнимых теорий в этом порядке. В данном докладе я расскажу о подходе, позволяющем доказать линейность такого порядка, ограниченного на богатое семейство фрагментов данной теории (в нашем случае теории бар-индукции BI).
Теория BI - это подтеория классической арифметики второго порядка постулирующая, что имеет место принцип трансфинитной индукции для всех полных линейных порядков. В силу классического результата Харви Фридмана она эквивалентна над ACA₀ принципу ω-модельной рефлексии. С точки зрения силы непротиворечивости эта теория эквивалентна теориям KPω и ID₁.
В данном докладе будет рассказано о построении исчисления рефлексии для теории BI. Это исчисление, с одной стороны, позволяет нам с одной стороны произвести ординальный анализ BI и тем самым получить новую теоретико-рефлексивную систему обозначений для ординала Бахмана-Говарда. С другой стороны, мы показываем, что все теории, выразимые в этом исчислении, линейно сравнимы по силе непротиворечивости. При этом техника доказательства является воплощением для случая BI общей схемы: наличие адекватного исчисления рефлексии влечёт линейность порядка по силе непротиворечивости.
Доклад основан на совместной работе с Владом Лазерем.
➰ ВК
❤5
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Logic Online Seminar (https://www.mathnet.ru/eng/conf876), Monday 16:00 MSK (UTC+3), MIAN Room 313 + Kontur Talk (очный доклад)
4.08.2025 М. Жуковский (Университет Шеффилда, https://www.maksimzhukovskii.com/): Сложность первого порядка конечных случайных структур
C 1969 года большое количество работ было посвящено логике первого порядка случайных структур. На языке графов классический закон нуля или единицы, доказанный Глебским, Коганом, Легоньким, и Талановым в 1969 году (и независимо Фейгиным в 1976 году) утверждает, что любое предложение первого порядка либо истинно на (асимптотически) почти всех графах на {1,...,n}, либо ложно. С тех пор множество логических законов было доказано для различных распределений на графах и других конечных структур. Как правило, различают три сценария: упомянутый закон нуля или единицы, закон сходимости (то есть для любого предложения существует предел истинности), и отсутствие сходимости. Для последовательности случайных структур над сигнатурой, содержащей только предикатные символы, мы определяем её сложность первого порядка как некоторое подмножество в банаховом пространстве ℓ∞/c0. 0-1 закон и закон сходимости в логике первого порядка соответствуют сложностям {0,1} и подмножеству R. Мы предложили иерархию классов сложности и ввели стохастическую сводимость, позволяющую переносить результаты о сложности между различными случайными структурами. С помощью этого инструмента нам удалось вывести несколько новых логических предельных законов для биномиальных случайных структур, а также свести некоторые известные результаты к другим.
Совместная работа с Данилой Деминым.
➰ ВК
Logic Online Seminar (https://www.mathnet.ru/eng/conf876), Monday 16:00 MSK (UTC+3), MIAN Room 313 + Kontur Talk (очный доклад)
4.08.2025 М. Жуковский (Университет Шеффилда, https://www.maksimzhukovskii.com/): Сложность первого порядка конечных случайных структур
C 1969 года большое количество работ было посвящено логике первого порядка случайных структур. На языке графов классический закон нуля или единицы, доказанный Глебским, Коганом, Легоньким, и Талановым в 1969 году (и независимо Фейгиным в 1976 году) утверждает, что любое предложение первого порядка либо истинно на (асимптотически) почти всех графах на {1,...,n}, либо ложно. С тех пор множество логических законов было доказано для различных распределений на графах и других конечных структур. Как правило, различают три сценария: упомянутый закон нуля или единицы, закон сходимости (то есть для любого предложения существует предел истинности), и отсутствие сходимости. Для последовательности случайных структур над сигнатурой, содержащей только предикатные символы, мы определяем её сложность первого порядка как некоторое подмножество в банаховом пространстве ℓ∞/c0. 0-1 закон и закон сходимости в логике первого порядка соответствуют сложностям {0,1} и подмножеству R. Мы предложили иерархию классов сложности и ввели стохастическую сводимость, позволяющую переносить результаты о сложности между различными случайными структурами. С помощью этого инструмента нам удалось вывести несколько новых логических предельных законов для биномиальных случайных структур, а также свести некоторые известные результаты к другим.
Совместная работа с Данилой Деминым.
➰ ВК
🔥3❤1
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Logic Online Seminar (https://www.mathnet.ru/eng/conf876), Monday 16:00 MSK (UTC+3), MIAN Room 313 + Kontur Talk (очный доклад)
25.08.2025 В.Л. Селиванов (СПбГУ, https://www.mathnet.ru/person25638): О конструктивных вариантах сводимости Вэджа (очный доклад)
В докладе будут кратко и неформально обсуждены сводимость Вэджа (играющая заметную роль в дескриптивной теории множеств) и ее конструктивные варианты (играющие заметную роль в теории автоматов на бесконечных словах и деревьях). Конструктивные варианты сводимости Вэджа появились в контексте иерархии Вагнера регулярных языков бесконечных слов в виде замечательной теоремы Бюхи-Ландвебера.
Это обширное направление тесно связано с играми Гейла-Стюарта, теорией стройных частичных порядков, и теорией операций над множествами (сыгравшей основную роль в возникновении дескриптивной теории множеств более века назад).
➰ ВК
Logic Online Seminar (https://www.mathnet.ru/eng/conf876), Monday 16:00 MSK (UTC+3), MIAN Room 313 + Kontur Talk (очный доклад)
25.08.2025 В.Л. Селиванов (СПбГУ, https://www.mathnet.ru/person25638): О конструктивных вариантах сводимости Вэджа (очный доклад)
В докладе будут кратко и неформально обсуждены сводимость Вэджа (играющая заметную роль в дескриптивной теории множеств) и ее конструктивные варианты (играющие заметную роль в теории автоматов на бесконечных словах и деревьях). Конструктивные варианты сводимости Вэджа появились в контексте иерархии Вагнера регулярных языков бесконечных слов в виде замечательной теоремы Бюхи-Ландвебера.
Это обширное направление тесно связано с играми Гейла-Стюарта, теорией стройных частичных порядков, и теорией операций над множествами (сыгравшей основную роль в возникновении дескриптивной теории множеств более века назад).
➰ ВК
❤1👍1
#матлог #учёба #МИАН
Двухдневная осенняя школа «Современные направления математической логики» пройдёт 2 и 3 сентября 2025 г. в Математическом институте им. В.А. Стеклова РАН (ул. Губкина 8, ауд. 110 + online)
Школа ставит своей целью ознакомить студентов, аспирантов и молодых исследователей, специализирующихся по математической логике и в смежных областях, с перспективными направлениями развития математической логики. В рамках школы планируются четыре мини-курса, направленных на широкую аудиторию, включая студентов, аспирантов и научных сотрудников.
Всех желающих принять участие просим зарегистрироваться на странице школы: https://www.mathnet.ru/conf2624
(ссылка для онлайн-подключения будет выслана зарегистрированным слушателям).
Ниже приведены список курсов и расписание.
Лев Дмитриевич Беклемишев (МИАН): Стройные порядки и независимые комбинаторные утверждения
Стройные частичные порядки (англ. well-partial orderings) можно описать как такие порядки, в которых нет ни бесконечных убывающих цепей, ни бесконечных антицепей. Они естественно возникают и применяются в комбинаторике, алгебре и, конечно, математической логике и информатике. Мы изложим введение в теорию стройных (пред)порядков и дадим обзор некоторых результатов о независимых утверждениях комбинаторного характера, определяемых на их основе.
Игорь Геронтьевич Лысёнок (МИАН): Уравнения в словах и группах
Уравнения в алгебраических системах представляют интерес как с точки зрения математической логики, так и чисто алгебраически. Простейший тип таких уравнений — уравнения в словах. Существует определенная аналогия между уравнениями в словах и уравнениями в группах. В курсе будет рассказано о различных классических результатах, связанных с такими уравнениями, а также о современном состоянии этой области исследований.
Мати Рейнович Пентус (МГУ): Синтаксическое исчисление Ламбека
Исчисление Ламбека используется в математической лингвистике для строгого описания синтаксиса формальных и естественных языков. Категориальные грамматики, основанные на исчислении Ламбека, задают в точности контекстно-свободные языки без пустого слова. Предполагается рассмотреть методы, используемые в доказательстве этого результата.
Валерий Егорович Плиско (МГУ): Конструктивность в логике и математике
В курсе предполагается конспективное изложение основных сведений, относящихся к интуиционистской и конструктивной логике: мотивировка интуиционистского подхода в математике, интуиционистское построение системы действительных чисел, аксиоматизации интуиционистской логики и арифметики, методы семантического исследования интуиционистских логических и логико-математических теорий, интерпретации интуиционистских теорий на основе теории вычислимых функций.
Расписание:
Вторник, 2 сентября
10:00–11:15 — В.Е. Плиско (1)
11:30–12:00 — кофе-брейк
12:00–13:15 — В.Е. Плиско (2)
13:30–15:00 — обед
15:00–16:15 — М.Р. Пентус (1)
16:30–17:00 — кофе-брейк
17:00–18:15 — М.Р. Пентус (2)
с 18:30 — дискуссионный ужин
Среда, 3 сентября
10:00–11:15 — Л.Д. Беклемишев (1)
11:30–12:00 — кофе-брейк
12:00–13:15 — Л.Д. Беклемишев (2)
13:30–15:00 — обед
15:00–16:15 — И.Г. Лысёнок (1)
16:30–17:00 — кофе-брейк
17:00–18:15 — И.Г. Лысёнок (2)
➰ ВК
Двухдневная осенняя школа «Современные направления математической логики» пройдёт 2 и 3 сентября 2025 г. в Математическом институте им. В.А. Стеклова РАН (ул. Губкина 8, ауд. 110 + online)
Школа ставит своей целью ознакомить студентов, аспирантов и молодых исследователей, специализирующихся по математической логике и в смежных областях, с перспективными направлениями развития математической логики. В рамках школы планируются четыре мини-курса, направленных на широкую аудиторию, включая студентов, аспирантов и научных сотрудников.
Всех желающих принять участие просим зарегистрироваться на странице школы: https://www.mathnet.ru/conf2624
(ссылка для онлайн-подключения будет выслана зарегистрированным слушателям).
Ниже приведены список курсов и расписание.
Лев Дмитриевич Беклемишев (МИАН): Стройные порядки и независимые комбинаторные утверждения
Стройные частичные порядки (англ. well-partial orderings) можно описать как такие порядки, в которых нет ни бесконечных убывающих цепей, ни бесконечных антицепей. Они естественно возникают и применяются в комбинаторике, алгебре и, конечно, математической логике и информатике. Мы изложим введение в теорию стройных (пред)порядков и дадим обзор некоторых результатов о независимых утверждениях комбинаторного характера, определяемых на их основе.
Игорь Геронтьевич Лысёнок (МИАН): Уравнения в словах и группах
Уравнения в алгебраических системах представляют интерес как с точки зрения математической логики, так и чисто алгебраически. Простейший тип таких уравнений — уравнения в словах. Существует определенная аналогия между уравнениями в словах и уравнениями в группах. В курсе будет рассказано о различных классических результатах, связанных с такими уравнениями, а также о современном состоянии этой области исследований.
Мати Рейнович Пентус (МГУ): Синтаксическое исчисление Ламбека
Исчисление Ламбека используется в математической лингвистике для строгого описания синтаксиса формальных и естественных языков. Категориальные грамматики, основанные на исчислении Ламбека, задают в точности контекстно-свободные языки без пустого слова. Предполагается рассмотреть методы, используемые в доказательстве этого результата.
Валерий Егорович Плиско (МГУ): Конструктивность в логике и математике
В курсе предполагается конспективное изложение основных сведений, относящихся к интуиционистской и конструктивной логике: мотивировка интуиционистского подхода в математике, интуиционистское построение системы действительных чисел, аксиоматизации интуиционистской логики и арифметики, методы семантического исследования интуиционистских логических и логико-математических теорий, интерпретации интуиционистских теорий на основе теории вычислимых функций.
Расписание:
Вторник, 2 сентября
10:00–11:15 — В.Е. Плиско (1)
11:30–12:00 — кофе-брейк
12:00–13:15 — В.Е. Плиско (2)
13:30–15:00 — обед
15:00–16:15 — М.Р. Пентус (1)
16:30–17:00 — кофе-брейк
17:00–18:15 — М.Р. Пентус (2)
с 18:30 — дискуссионный ужин
Среда, 3 сентября
10:00–11:15 — Л.Д. Беклемишев (1)
11:30–12:00 — кофе-брейк
12:00–13:15 — Л.Д. Беклемишев (2)
13:30–15:00 — обед
15:00–16:15 — И.Г. Лысёнок (1)
16:30–17:00 — кофе-брейк
17:00–18:15 — И.Г. Лысёнок (2)
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #МИАН
Двухдневная осенняя школа «Современные направления математической логик... Смотрите полностью ВКонтакте.
Двухдневная осенняя школа «Современные направления математической логик... Смотрите полностью ВКонтакте.
🔥3❤2
#матлог #конференция #Новосибирск
Приглашаем вас принять участие в работе ежегодных конференций:
XVII международная молодежная научная школа-конференция "Теория и численные методы решения обратных и некорректных задач", посвящённая 80-летию со дня рождения профессора А.Г. Яголы, 29 сентября – 1 октября 2025. Сайт конференции: http://conf.nsc.ru/tcmiip2025/
IV международная научная конференция "Современные проблемы обратных задач", посвящённая 100-летию со дня рождения академика Г.И. Марчука, 2 – 4 октября 2025. Сайт конференции http://conf.nsc.ru/mcip2025/
Формат проведения - очный и онлайн. Очные заседания будут проходить в Институте математики им. С.Л. Соболева СО РАН.
❗Важные даты:
✅Регистрация на сайте конференций и подача предварительных названий докладов: 08.09.2025.
✅Представление тезисов доклада: 08.09.2025.
✅Уведомление о включении доклада в Программу: 15.09.2025.
➰ ВК
Приглашаем вас принять участие в работе ежегодных конференций:
XVII международная молодежная научная школа-конференция "Теория и численные методы решения обратных и некорректных задач", посвящённая 80-летию со дня рождения профессора А.Г. Яголы, 29 сентября – 1 октября 2025. Сайт конференции: http://conf.nsc.ru/tcmiip2025/
IV международная научная конференция "Современные проблемы обратных задач", посвящённая 100-летию со дня рождения академика Г.И. Марчука, 2 – 4 октября 2025. Сайт конференции http://conf.nsc.ru/mcip2025/
Формат проведения - очный и онлайн. Очные заседания будут проходить в Институте математики им. С.Л. Соболева СО РАН.
❗Важные даты:
✅Регистрация на сайте конференций и подача предварительных названий докладов: 08.09.2025.
✅Представление тезисов доклада: 08.09.2025.
✅Уведомление о включении доклада в Программу: 15.09.2025.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #конференция #Новосибирск
Приглашаем вас принять участие в работе ежегодных конференц... Смотрите полностью ВКонтакте.
Приглашаем вас принять участие в работе ежегодных конференц... Смотрите полностью ВКонтакте.
⚡1
#матлог #наука #МИАН
Дорогие коллеги,
ниже приведена информация о мероприятии "Logical Perspectives 2025:
Open Lectures", которое будет проходить 8 и 15 сентября. См. также
https://www.mathnet.ru/rus/conf2625
Обращаю ваше внимание, что доклад Александра Разборова состоится очно в МИАН (с параллельной онлайн-трансляцией).
---
The Logical Perspectives event series aims at bringing together distinguished logicians to present their perspectives on the future of the field and to discuss major open problems. In particular, it includes a series of online events, called Open Lectures. The first (https://www.mathnet.ru/eng/conf1624) and second (https://www.mathnet.ru/eng/conf2202) editions of the Open Lectures were held back in 2020 and 2022. The third edition (https://www.mathnet.ru/eng/conf2625) will be held in September 2025. It will include three lectures, which are intended for a broad audience, and there will be ample time for discussion after each lecture.
In order to participate in the event, please fill in the registration form (https://forms.gle/vQL43GndBthg9bZz5).
The schedule is as follows. Note that Time is UTC+3 (Moscow).
Monday, September 8
16:00–17:15 — Alexander Razborov (University of Chicago, Steklov Mathematical Institute, https://www.mathnet.ru/eng/person8770): Propositional Proof Complexity — on-site + online
Propositional proof complexity studies efficient provability of quantifier-free statements in various proof systems and under various notions of efficiency. In this talk I will attempt to convey some of its basic concepts, ideas and results, including numerous connections to other areas in logic, theoretical computer science and beyond.
17:15–17:45 — Discussion
Monday, September 15
16:00–17:15 — Harvey Friedman (Ohio State University, https://u.osu.edu/friedman.8/): Foundational Adventures — online
I am a foundationalist. I will talk about my foundational adventures from ages 7–77, in mathematics, piano, and chess. As expected, ambitions go far beyond limited achievements. The foundations of mathematics, by far the most highly developed and successful corner of foundations (with foundations of computer science a distant second), has a great future not only in and of itself, but also as a guiding force to ignite the other comparatively backwards foundational enterprises.
17:15–17:45 — Discussion
17:45–18:00 — Break
18:00–19:15 — Walter Carnielli (State University of Campinas, https://www.cle.unicamp.br/prof/carnielli/): Negation, Denial, Falsity, Inconsistency, and Counterevidence: Some Informal and Formal Perspectives — online
While the Western tradition often treats the elusive notion of negation as secondary to affirmation, Eastern traditions regard emptiness or non-being as more fundamental. This talk examines negation, denial, consistency, inconsistency, evidence, and counterevidence through contemporary systems such as intuitionistic, paraconsistent, and modal logics, as well as logics of evidence and truth, trying to illuminate the structure of negation and its broader role in reasoning.
19:15–19:45 — Discussion
➰ ВК
Дорогие коллеги,
ниже приведена информация о мероприятии "Logical Perspectives 2025:
Open Lectures", которое будет проходить 8 и 15 сентября. См. также
https://www.mathnet.ru/rus/conf2625
Обращаю ваше внимание, что доклад Александра Разборова состоится очно в МИАН (с параллельной онлайн-трансляцией).
---
The Logical Perspectives event series aims at bringing together distinguished logicians to present their perspectives on the future of the field and to discuss major open problems. In particular, it includes a series of online events, called Open Lectures. The first (https://www.mathnet.ru/eng/conf1624) and second (https://www.mathnet.ru/eng/conf2202) editions of the Open Lectures were held back in 2020 and 2022. The third edition (https://www.mathnet.ru/eng/conf2625) will be held in September 2025. It will include three lectures, which are intended for a broad audience, and there will be ample time for discussion after each lecture.
In order to participate in the event, please fill in the registration form (https://forms.gle/vQL43GndBthg9bZz5).
The schedule is as follows. Note that Time is UTC+3 (Moscow).
Monday, September 8
16:00–17:15 — Alexander Razborov (University of Chicago, Steklov Mathematical Institute, https://www.mathnet.ru/eng/person8770): Propositional Proof Complexity — on-site + online
Propositional proof complexity studies efficient provability of quantifier-free statements in various proof systems and under various notions of efficiency. In this talk I will attempt to convey some of its basic concepts, ideas and results, including numerous connections to other areas in logic, theoretical computer science and beyond.
17:15–17:45 — Discussion
Monday, September 15
16:00–17:15 — Harvey Friedman (Ohio State University, https://u.osu.edu/friedman.8/): Foundational Adventures — online
I am a foundationalist. I will talk about my foundational adventures from ages 7–77, in mathematics, piano, and chess. As expected, ambitions go far beyond limited achievements. The foundations of mathematics, by far the most highly developed and successful corner of foundations (with foundations of computer science a distant second), has a great future not only in and of itself, but also as a guiding force to ignite the other comparatively backwards foundational enterprises.
17:15–17:45 — Discussion
17:45–18:00 — Break
18:00–19:15 — Walter Carnielli (State University of Campinas, https://www.cle.unicamp.br/prof/carnielli/): Negation, Denial, Falsity, Inconsistency, and Counterevidence: Some Informal and Formal Perspectives — online
While the Western tradition often treats the elusive notion of negation as secondary to affirmation, Eastern traditions regard emptiness or non-being as more fundamental. This talk examines negation, denial, consistency, inconsistency, evidence, and counterevidence through contemporary systems such as intuitionistic, paraconsistent, and modal logics, as well as logics of evidence and truth, trying to illuminate the structure of negation and its broader role in reasoning.
19:15–19:45 — Discussion
➰ ВК
👍2🔥2
#матлог #учёба #спецсеминар
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
The season will resume this monday 8 september, 18:30 MSK.
VC dimension of neural nets (Alexander Kozachinskiy)
Consider a neural network with W parameters and with sign as the activation function. How large can its VC dimension be? I will explain a folklore upper bound of O(W log W), and will give an example of Maass 1994, establishing that this bound is tight even for constant-depth neural networks.
➰ ВК
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
The season will resume this monday 8 september, 18:30 MSK.
VC dimension of neural nets (Alexander Kozachinskiy)
Consider a neural network with W parameters and with sign as the activation function. How large can its VC dimension be? I will explain a folklore upper bound of O(W log W), and will give an example of Maass 1994, establishing that this bound is tight even for constant-depth neural networks.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #спецсеминар
Kolmogorov seminar on complexity (for receive the zoom link, plea... Смотрите полностью ВКонтакте.
Kolmogorov seminar on complexity (for receive the zoom link, plea... Смотрите полностью ВКонтакте.
❤1👍1