#матлог #не_мехмат #ВШЭ
В пятницу 21 марта 2025 г. в 18:10 на Математическом семинаре ФКН ВШЭ состоится доклад Павла Соколова на тему "Теория типов и альтернативные основания математики".
Аннотация:
Теория типов — сравнительно молодая область на стыке математической логики, теории категорий и компьютерных наук. Появившись как один из вариантов разрешения парадоксов наивной теории множеств, системы типов нашли неожиданное применение в языках программирования как средство легковесной верификации как пользовательского кода, так и программных оптимизаций. Кроме этого, системы типов естественным образом обеспечивают конструктивный и, более того, синтетический подход к математике (синтетическая (дифференциальная) геометрия, синтетическая топология, синтетическая теория гомотопий и т.д.) В особенности, гомотопическая теория типов (HoTT) претендует на статус альтернативного основания (конструктивной) математики.
В рамках данного доклада будет изложена история становления теории типов как самостоятельной дисциплины с изложением основных математических результатов, начиная с Principia Mathematica Бертрана Рассела и заканчивая сегодняшними наиболее активными направлениями исследований.
Место проведения: Покровский бульвар 11, аудитория R305.
Объявление и ссылку для регистрации см. на странице семинара:
https://cs.hse.ru/seminatfkn/
➰ ВК
В пятницу 21 марта 2025 г. в 18:10 на Математическом семинаре ФКН ВШЭ состоится доклад Павла Соколова на тему "Теория типов и альтернативные основания математики".
Аннотация:
Теория типов — сравнительно молодая область на стыке математической логики, теории категорий и компьютерных наук. Появившись как один из вариантов разрешения парадоксов наивной теории множеств, системы типов нашли неожиданное применение в языках программирования как средство легковесной верификации как пользовательского кода, так и программных оптимизаций. Кроме этого, системы типов естественным образом обеспечивают конструктивный и, более того, синтетический подход к математике (синтетическая (дифференциальная) геометрия, синтетическая топология, синтетическая теория гомотопий и т.д.) В особенности, гомотопическая теория типов (HoTT) претендует на статус альтернативного основания (конструктивной) математики.
В рамках данного доклада будет изложена история становления теории типов как самостоятельной дисциплины с изложением основных математических результатов, начиная с Principia Mathematica Бертрана Рассела и заканчивая сегодняшними наиболее активными направлениями исследований.
Место проведения: Покровский бульвар 11, аудитория R305.
Объявление и ссылку для регистрации см. на странице семинара:
https://cs.hse.ru/seminatfkn/
➰ ВК
cs.hse.ru
Математический семинар
👍7❤1
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 19 марта.
Время проведения семинара 14:00.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Докладчик: Константин Ковалев
Тема: Аналоги теоремы Шепердсона для языка с экспонентой
Аннотация: В 1964 году Дж. Шепердсон получил результат, который полностью характеризует модели теории IOpen (фрагмент арифметики Пеано с бескванторной индукцией), а именно, дискретно упорядоченное полукольцо M является моделью IOpen тогда и только тогда, когда соответствующее кольцо является целой частью вещественного замыкания R своего поля частных (то есть, для любого r из R найдется m из M, такое что m = r m + 1). На основе этого результата он построил рекурсивную нестандартную модель IOpen и получил явные результаты о недоказуемости некоторых простых утверждений (например, иррациональности корня из 2). Цель нашей работы – получить аналогичные результаты для расширения арифметического языка экспонентой или функцией возведения в степень. Мы получим результаты, устанавливающие аналогичные соответствия между моделями арифметических теорий IOpen(exp) (бескванторная индукция в языке с экспонентой), IOpen(x^y) (бескванторная индукция в языке с функцией возведения в степень) и IOpen + T_{x^y} (T_{x^y} – некоторые естественные арифметические аксиомы для x^y и неравенство Бернулли) и моделями некоторых фрагментов теории Th(\R, exp) (элементарная теория вещественных чисел со стандартной экспонентой). Основываясь на этих результатах, мы явно построим нестандартные модели (к сожалению, не рекурсивные) IOpen(exp) и IOpen(x^y) и получим аналогичные результаты о недоказуемости. В конце доклада, если останется время, сделаем обзор некоторых дальнейших результатов по этой теме.
➰ ВК
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 19 марта.
Время проведения семинара 14:00.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Докладчик: Константин Ковалев
Тема: Аналоги теоремы Шепердсона для языка с экспонентой
Аннотация: В 1964 году Дж. Шепердсон получил результат, который полностью характеризует модели теории IOpen (фрагмент арифметики Пеано с бескванторной индукцией), а именно, дискретно упорядоченное полукольцо M является моделью IOpen тогда и только тогда, когда соответствующее кольцо является целой частью вещественного замыкания R своего поля частных (то есть, для любого r из R найдется m из M, такое что m = r m + 1). На основе этого результата он построил рекурсивную нестандартную модель IOpen и получил явные результаты о недоказуемости некоторых простых утверждений (например, иррациональности корня из 2). Цель нашей работы – получить аналогичные результаты для расширения арифметического языка экспонентой или функцией возведения в степень. Мы получим результаты, устанавливающие аналогичные соответствия между моделями арифметических теорий IOpen(exp) (бескванторная индукция в языке с экспонентой), IOpen(x^y) (бескванторная индукция в языке с функцией возведения в степень) и IOpen + T_{x^y} (T_{x^y} – некоторые естественные арифметические аксиомы для x^y и неравенство Бернулли) и моделями некоторых фрагментов теории Th(\R, exp) (элементарная теория вещественных чисел со стандартной экспонентой). Основываясь на этих результатах, мы явно построим нестандартные модели (к сожалению, не рекурсивные) IOpen(exp) и IOpen(x^y) и получим аналогичные результаты о недоказуемости. В конце доклада, если останется время, сделаем обзор некоторых дальнейших результатов по этой теме.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар... Смотрите полностью ВКонтакте.
Уважаемые коллеги, приглашаем вас на логический семинар... Смотрите полностью ВКонтакте.
#матлог #учёба #просеминар
💥В четверг 20 марта на просеминаре по математической логике и информатике будет тема "Игры Эренфойхта" (А.А.Оноприенко).
✅Просеминар проходит по четвергам в 16:45-18:20 в аудитории 436 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме:
https://news.1rj.ru/str/+8lzSUf8ghLAzMjRi
✅Можно заранее порешать задачи (прикреплены к посту).
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
📝 Ehrenfeucht25.pdf
➰ ВК
💥В четверг 20 марта на просеминаре по математической логике и информатике будет тема "Игры Эренфойхта" (А.А.Оноприенко).
✅Просеминар проходит по четвергам в 16:45-18:20 в аудитории 436 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме:
https://news.1rj.ru/str/+8lzSUf8ghLAzMjRi
✅Можно заранее порешать задачи (прикреплены к посту).
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
📝 Ehrenfeucht25.pdf
➰ ВК
Telegram
Просеминар по математической логике и информатике
Ansi Diana invites you to join this group on Telegram.
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 21.03.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Дудаков С.М. (ТвГУ, ВШЭ)
Название: О теориях алгебр подмножеств и решёток подалгебр
Аннотация.
Одним из способов построения новых алгебр является конструкция алгебры всех или некоторых подмножеств уже имеющейся. Например, для произвольной полугруппы S можно можно построить новую полугруппу exp S, элементами которой будут подмножества S, а операция определена поточечно. В докладе будут рассмотрены теории таких подалгебр exp A, когда исходная алгебра A снабжена бинарной операцией (то есть A — группоид). Будет показано, что при определённых условиях теория exp A позволяет интерпретировать элементарную арифметику (и даже - арифметику второго порядка) или, как минимум, арифметические операции для начального фрагмента натурального ряда. Аналогичный результат будет показан для теории решётки lat A подалгебр алгебры A. Далее, для любого класса K алгебр можно рассмотреть классы exp K и lat K. Первый из них состоит из всех алгебр вида exp A, а второй - из всех решёток вида lat A, когда A берётся из K. Будет показано, что для широко распространённых классов K теории классов exp K и lat K тоже допускают интерпретацию элементарной арифметики. В частности, они неразрешимы и не имеют рекурсивной аксиоматизации.
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 21.03.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Дудаков С.М. (ТвГУ, ВШЭ)
Название: О теориях алгебр подмножеств и решёток подалгебр
Аннотация.
Одним из способов построения новых алгебр является конструкция алгебры всех или некоторых подмножеств уже имеющейся. Например, для произвольной полугруппы S можно можно построить новую полугруппу exp S, элементами которой будут подмножества S, а операция определена поточечно. В докладе будут рассмотрены теории таких подалгебр exp A, когда исходная алгебра A снабжена бинарной операцией (то есть A — группоид). Будет показано, что при определённых условиях теория exp A позволяет интерпретировать элементарную арифметику (и даже - арифметику второго порядка) или, как минимум, арифметические операции для начального фрагмента натурального ряда. Аналогичный результат будет показан для теории решётки lat A подалгебр алгебры A. Далее, для любого класса K алгебр можно рассмотреть классы exp K и lat K. Первый из них состоит из всех алгебр вида exp A, а второй - из всех решёток вида lat A, когда A берётся из K. Будет показано, что для широко распространённых классов K теории классов exp K и lat K тоже допускают интерпретацию элементарной арифметики. В частности, они неразрешимы и не имеют рекурсивной аксиоматизации.
➰ ВК
YouTube
Логика в Москве
Share your videos with friends, family, and the world
#матлог
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
21 марта (пятница) в 18.30 состоится очередное заседание исследовательского семинара "Формальная философия".
Тема доклада: Метафизика в философии математики и эпистемологические последствия для доказательства.
Докладчик: Илья Гущин (УрФУ).
Аннотация: В докладе будут рассмотрены две альтернативные классическому вариации платонизма в философии математики. В качестве аргумента в пользу классического платонизма часто указывается, что принятие его как метафизики обеспечивает уникальный эпистемологический статус для математического доказательства, чем обеспечивает преимущество математики над другими системами знания. В докладе будет показано, что в действительности классический платонизм создаёт серьезные трудности для доказательства, а его альтернативные версии позволяют от этих проблем избавиться.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1025647859.html
➰ ВК
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
21 марта (пятница) в 18.30 состоится очередное заседание исследовательского семинара "Формальная философия".
Тема доклада: Метафизика в философии математики и эпистемологические последствия для доказательства.
Докладчик: Илья Гущин (УрФУ).
Аннотация: В докладе будут рассмотрены две альтернативные классическому вариации платонизма в философии математики. В качестве аргумента в пользу классического платонизма часто указывается, что принятие его как метафизики обеспечивает уникальный эпистемологический статус для математического доказательства, чем обеспечивает преимущество математики над другими системами знания. В докладе будет показано, что в действительности классический платонизм создаёт серьезные трудности для доказательства, а его альтернативные версии позволяют от этих проблем избавиться.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1025647859.html
➰ ВК
ВКонтакте
Логика, лингвистика и формальная философия
Неофициальная страница Международной лаборатории логики, лингвистики и формальной философии (МЛ ЛогЛинФФ). Мы на YouTube: https://www.youtube.com/channel/UC7CqNTt_I2dE6Nr4kAEGpgQ Мы в Телеграмме: https://news.1rj.ru/str/form_phil Наша рассылка: https://llfp.hse.ru/…
👍1
#матлог #наука #конференция
Ломоносовские чтения 2025, кафедра математической логики и теории алгоритмов
Научно-исследовательский семинар по математической логике
под руководством академика РАН Л. Д. Беклемишева и академика РАН А. Л. Семёнова
2 апреля 2025 г., среда, 18:30
Главное здание, сектор "А", ауд. 16-04
✅О теореме Гудман-Штрауса. Доклад профессора Верещагина Н. К.
✅О конструктивном исчислении предикатов. Доклад доцента Плиско В. Е.
✅Предикатные модальные логики ограниченной альтернативы. Доклад профессора Шехтмана В. Б.
➰ ВК
Ломоносовские чтения 2025, кафедра математической логики и теории алгоритмов
Научно-исследовательский семинар по математической логике
под руководством академика РАН Л. Д. Беклемишева и академика РАН А. Л. Семёнова
2 апреля 2025 г., среда, 18:30
Главное здание, сектор "А", ауд. 16-04
✅О теореме Гудман-Штрауса. Доклад профессора Верещагина Н. К.
✅О конструктивном исчислении предикатов. Доклад доцента Плиско В. Е.
✅Предикатные модальные логики ограниченной альтернативы. Доклад профессора Шехтмана В. Б.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #наука #конференция
Ломоносовские чтения 2025, кафедра математической логики и теории... Смотрите полностью ВКонтакте.
Ломоносовские чтения 2025, кафедра математической логики и теории... Смотрите полностью ВКонтакте.
🔥3
#матлог #учёба #спецсеминар
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
24 March 2025, 16.30 CET = 18.30 Moscow time
Andrei Romashchenko
On the reduction of Kolmogorov complexity by relativization
Alexander Shen asked the following question: let us have a tuple of strings x_1,...,x_n and their Kolmogorov complexities v=(C(x_1),...,C(x_n)). For every string y we get the values of conditional complexities w=(C(x_1|y),...,C(x_n|y)). Which values w of conditional complexities can we obtain? Can we, for example, find a y such that each value C(x_i|y) is (approximately) a half of C(x_i)?
We show that the answer to the last question is positive for n=1 (trivial) and for n=2 (can be proven with Muchnik's theorem on condtional denoscriptions or with Shen's topological argument).
For n=3, the answer is negative: there exists a triple (x_1, x_2, x_3) such that C(x_1)=2n, C(x_2)=2n, C(x_3)=3n, and there is no y such that C(x_1|y)=n, C(x_2|y)=n, C(x_3|y)=1.5n. This negative result follows from combinatorial properties of discrete projective planes over prime fields (Bourgain, Katz, Tao).
➰ ВК
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
24 March 2025, 16.30 CET = 18.30 Moscow time
Andrei Romashchenko
On the reduction of Kolmogorov complexity by relativization
Alexander Shen asked the following question: let us have a tuple of strings x_1,...,x_n and their Kolmogorov complexities v=(C(x_1),...,C(x_n)). For every string y we get the values of conditional complexities w=(C(x_1|y),...,C(x_n|y)). Which values w of conditional complexities can we obtain? Can we, for example, find a y such that each value C(x_i|y) is (approximately) a half of C(x_i)?
We show that the answer to the last question is positive for n=1 (trivial) and for n=2 (can be proven with Muchnik's theorem on condtional denoscriptions or with Shen's topological argument).
For n=3, the answer is negative: there exists a triple (x_1, x_2, x_3) such that C(x_1)=2n, C(x_2)=2n, C(x_3)=3n, and there is no y such that C(x_1|y)=n, C(x_2|y)=n, C(x_3|y)=1.5n. This negative result follows from combinatorial properties of discrete projective planes over prime fields (Bourgain, Katz, Tao).
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #спецсеминар
Kolmogorov seminar on complexity (for receive the zoom link, plea... Смотрите полностью ВКонтакте.
Kolmogorov seminar on complexity (for receive the zoom link, plea... Смотрите полностью ВКонтакте.
👍1
#матлог #учёба #спецсеминар
Семинар «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (homepage.mi-ras.ru/~sk/) и С.О. Сперанского (homepage.mi-ras.ru/~speranski/)
Время: 25 марта 2025, начало — в 16:00
Место: МИАН, ком. 303 + Контур.Толк
А.В. Грефенштейн (МИАН)
Инфинитарные исчисления для первопорядковой логики вероятности с распределением на носителе и её фрагментов — 2
На прошлом докладе было представлено инфинитарное исчисление для (односортной версии) первопорядковой логики вероятности с распределением на носителе и изложена схема доказательства соответствующей теоремы о сильной полноте. Настоящий доклад будет посвящён завершению этого доказательства и построению исчислений для естественных фрагментов рассматриваемой логики. В частности, нас будут интересовать линейный и базовый сублинейный фрагменты, а также «чисто вероятностный» фрагмент, в котором всякая классическая формула находится под \mu. В каждом из случаев мы обсудим, как нужно модифицировать исходное исчисление и как при этом меняется конструкция канонической модели и доказательство основной семантической леммы.
➰ ВК
Семинар «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (homepage.mi-ras.ru/~sk/) и С.О. Сперанского (homepage.mi-ras.ru/~speranski/)
Время: 25 марта 2025, начало — в 16:00
Место: МИАН, ком. 303 + Контур.Толк
А.В. Грефенштейн (МИАН)
Инфинитарные исчисления для первопорядковой логики вероятности с распределением на носителе и её фрагментов — 2
На прошлом докладе было представлено инфинитарное исчисление для (односортной версии) первопорядковой логики вероятности с распределением на носителе и изложена схема доказательства соответствующей теоремы о сильной полноте. Настоящий доклад будет посвящён завершению этого доказательства и построению исчислений для естественных фрагментов рассматриваемой логики. В частности, нас будут интересовать линейный и базовый сублинейный фрагменты, а также «чисто вероятностный» фрагмент, в котором всякая классическая формула находится под \mu. В каждом из случаев мы обсудим, как нужно модифицировать исходное исчисление и как при этом меняется конструкция канонической модели и доказательство основной семантической леммы.
➰ ВК
👍2
#матлог #не_мехмат #МИАН
Научный семинар кафедры методов современной математики (базовая кафедра МИАН в МФТИ),
25 марта, вторник, 18.00, только онлайн (для получения ссылки пишите учёному секретарю кафедры Оноприенко А.А.)
К. А. Ковалёв. Об аксиоматизации арифметики Бюхи
Аннотация: Арифметикой Бюхи (с основанием p = 2) называется теория натуральных чисел в языке с нулем, функцией последователя, сложением и специальной функцией, обозначаемой V_p, которая число n отображает в наибольшую степень p, делящую n. Хорошо известно, что данная теория является разрешимой, однако неизвестно никакой явной аксиоматизации этой теории (есть некоторые отрицательные результаты, полученные А. Запрягаевым). Цель данной работы состоит в отыскании такой аксиоматизации. Наша аксиоматизация состоит из некоторого конечного числа простых аксиом (похожих на арифметику Робинсона) и схемы аксиом вида ∃x φ(x) → ∃x ≤ n_φ φ(x), где натуральное число n_φ подбирается так, чтобы данная формула была истинна в стандартной модели. Выбор такого числа n_φ опирается на важное свойство арифметики Бюхи, а именно, что любое определимое в рассматриваемом языке множество A является p-автоматным (т. е., множество p-ичных записей элементов A распознаваемо некоторым конечным автоматом).
➰ ВК
Научный семинар кафедры методов современной математики (базовая кафедра МИАН в МФТИ),
25 марта, вторник, 18.00, только онлайн (для получения ссылки пишите учёному секретарю кафедры Оноприенко А.А.)
К. А. Ковалёв. Об аксиоматизации арифметики Бюхи
Аннотация: Арифметикой Бюхи (с основанием p = 2) называется теория натуральных чисел в языке с нулем, функцией последователя, сложением и специальной функцией, обозначаемой V_p, которая число n отображает в наибольшую степень p, делящую n. Хорошо известно, что данная теория является разрешимой, однако неизвестно никакой явной аксиоматизации этой теории (есть некоторые отрицательные результаты, полученные А. Запрягаевым). Цель данной работы состоит в отыскании такой аксиоматизации. Наша аксиоматизация состоит из некоторого конечного числа простых аксиом (похожих на арифметику Робинсона) и схемы аксиом вида ∃x φ(x) → ∃x ≤ n_φ φ(x), где натуральное число n_φ подбирается так, чтобы данная формула была истинна в стандартной модели. Выбор такого числа n_φ опирается на важное свойство арифметики Бюхи, а именно, что любое определимое в рассматриваемом языке множество A является p-автоматным (т. е., множество p-ичных записей элементов A распознаваемо некоторым конечным автоматом).
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #не_мехмат #МИАН
Научный семинар кафедры методов современной математики (базовая кафе... Смотрите полностью ВКонтакте.
Научный семинар кафедры методов современной математики (базовая кафе... Смотрите полностью ВКонтакте.
#матлог #учёба #просеминар
💥В четверг 27 марта на просеминаре по математической логике и информатике будет продолжение темы "Игры Эренфойхта" (А.А.Оноприенко).
✅Просеминар проходит по четвергам в 16:45-18:20 в аудитории 436 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме:
https://news.1rj.ru/str/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
➰ ВК
💥В четверг 27 марта на просеминаре по математической логике и информатике будет продолжение темы "Игры Эренфойхта" (А.А.Оноприенко).
✅Просеминар проходит по четвергам в 16:45-18:20 в аудитории 436 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме:
https://news.1rj.ru/str/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
➰ ВК
Telegram
Просеминар по математической логике и информатике
Ansi Diana invites you to join this group on Telegram.
❤2🔥1
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 26 марта.
Время проведения семинара 14:00.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Докладчик: Константин Ковалев
Тема: Аналоги теоремы Шепердсона для языка с экспонентой (продолжение доклада предыдущей недели)
➰ ВК
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 26 марта.
Время проведения семинара 14:00.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Докладчик: Константин Ковалев
Тема: Аналоги теоремы Шепердсона для языка с экспонентой (продолжение доклада предыдущей недели)
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар... Смотрите полностью ВКонтакте.
Уважаемые коллеги, приглашаем вас на логический семинар... Смотрите полностью ВКонтакте.
#матлог #новости
⚡Встреча кафедры математической логики и теории алгоритмов со студентами 2 курса состоится 1 апреля в 18:30 в аудитории 1408 (это не шутка, а чистая правда...)
На встрече вы можете больше узнать о научных направлениях кафедры и выбрать своего будущего научного руководителя.
Видеозапись встречи с кафедрой 2022 года можно посмотреть по ссылке vk.com/wall-70743963_1238.
Подробнее о кафедре вы можете узнать по следующим ссылкам.
📎Презентация зав.кафедрой А.Л.Семёнова: https://prezi.com/view/t0oiMzfyh0FkG3UcDz5N/
📎Деятельность кафедры logic.math.msu.ru/about/
📎Направления исследований кафедры logic.math.msu.ru/research/
📎Примеры задач, которые вы можете решать на кафедре logic.math.msu.ru/problems/
⚡Встреча кафедры математической логики и теории алгоритмов со студентами 2 курса состоится 1 апреля в 18:30 в аудитории 1408 (это не шутка, а чистая правда...)
На встрече вы можете больше узнать о научных направлениях кафедры и выбрать своего будущего научного руководителя.
Видеозапись встречи с кафедрой 2022 года можно посмотреть по ссылке vk.com/wall-70743963_1238.
Подробнее о кафедре вы можете узнать по следующим ссылкам.
📎Презентация зав.кафедрой А.Л.Семёнова: https://prezi.com/view/t0oiMzfyh0FkG3UcDz5N/
📎Деятельность кафедры logic.math.msu.ru/about/
📎Направления исследований кафедры logic.math.msu.ru/research/
📎Примеры задач, которые вы можете решать на кафедре logic.math.msu.ru/problems/
👍1
#матлог #новости
⚡Встреча кафедры математической логики и теории алгоритмов со студентами 2 курса состоится 1 апреля в 18:30 в аудитории 1408 (это не шутка, а чистая правда...)
На встрече вы можете больше узнать о научных направлениях кафедры и выбрать своего будущего научного руководителя.
Видеозапись встречи с кафедрой 2022 года можно посмотреть по ссылке vk.com/wall-70743963_1238.
Подробнее о кафедре вы можете узнать по следующим ссылкам.
📎Презентация зав.кафедрой А.Л.Семёнова: https://prezi.com/view/t0oiMzfyh0FkG3UcDz5N/
📎Деятельность кафедры logic.math.msu.ru/about/
📎Направления исследований кафедры logic.math.msu.ru/research/
📎Примеры задач, которые вы можете решать на кафедре logic.math.msu.ru/problems/
➰ ВК
⚡Встреча кафедры математической логики и теории алгоритмов со студентами 2 курса состоится 1 апреля в 18:30 в аудитории 1408 (это не шутка, а чистая правда...)
На встрече вы можете больше узнать о научных направлениях кафедры и выбрать своего будущего научного руководителя.
Видеозапись встречи с кафедрой 2022 года можно посмотреть по ссылке vk.com/wall-70743963_1238.
Подробнее о кафедре вы можете узнать по следующим ссылкам.
📎Презентация зав.кафедрой А.Л.Семёнова: https://prezi.com/view/t0oiMzfyh0FkG3UcDz5N/
📎Деятельность кафедры logic.math.msu.ru/about/
📎Направления исследований кафедры logic.math.msu.ru/research/
📎Примеры задач, которые вы можете решать на кафедре logic.math.msu.ru/problems/
➰ ВК
#матлог #учёба #спецсеминар
Семинар «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (homepage.mi-ras.ru/~sk/) и С.О. Сперанского (homepage.mi-ras.ru/~speranski/)
Время: 1 апреля 2025, начало — в 16:00
Место: МИАН, ком. 303 + Контур.Толк
К.А. Ковалёв (МФТИ)
Об интерпретациях полей в о-минимальных расширениях вещественно замкнутых полей
Напомним, что структура (M, , ...) с линейным порядком называется o-минимальной, если любое определимое с параметрами подмножество M является конечным объединением интервалов и точек (например, любое вещественно замкнутое поле является таковым). Наш доклад будет посвящён интерпретациям полей в о-минимальных структурах, а именно, мы разберём следующий результат, который был получен в [1]: любое поле, интерпретируемое в о-минимальном расширении (обогащении) вещественно замкнутого поля, определимо изоморфно самому этому полю или его алгебраическому замыканию. Планируется провести два семинара. На первом семинаре мы дадим некоторый обзор известных результатов и начнём доказательство основного результата, а именно, мы докажем определимые аналоги теоремы о единственности решений дифференциальных уравнений и вложимости некоторых определимых групп в полную линейную группу.
[1] M. Otero, Y. Peterzil, A. Pillay. On groups and rings definable in o-minimal expansions of real closed fields. Bulletin of the London Mathematical Society 28(1), 7–14, 1996.
➰ ВК
Семинар «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (homepage.mi-ras.ru/~sk/) и С.О. Сперанского (homepage.mi-ras.ru/~speranski/)
Время: 1 апреля 2025, начало — в 16:00
Место: МИАН, ком. 303 + Контур.Толк
К.А. Ковалёв (МФТИ)
Об интерпретациях полей в о-минимальных расширениях вещественно замкнутых полей
Напомним, что структура (M, , ...) с линейным порядком называется o-минимальной, если любое определимое с параметрами подмножество M является конечным объединением интервалов и точек (например, любое вещественно замкнутое поле является таковым). Наш доклад будет посвящён интерпретациям полей в о-минимальных структурах, а именно, мы разберём следующий результат, который был получен в [1]: любое поле, интерпретируемое в о-минимальном расширении (обогащении) вещественно замкнутого поля, определимо изоморфно самому этому полю или его алгебраическому замыканию. Планируется провести два семинара. На первом семинаре мы дадим некоторый обзор известных результатов и начнём доказательство основного результата, а именно, мы докажем определимые аналоги теоремы о единственности решений дифференциальных уравнений и вложимости некоторых определимых групп в полную линейную группу.
[1] M. Otero, Y. Peterzil, A. Pillay. On groups and rings definable in o-minimal expansions of real closed fields. Bulletin of the London Mathematical Society 28(1), 7–14, 1996.
➰ ВК
🔥3
#матлог #конференция
19-21 июня 2025 года в Московском университете состоится международная научная конференция
«Четырнадцатые Смирновские чтения по логике»,
посвященная памяти выдающихся исследователей в области логики, методологии и философии науки Владимира Александровича и Елены Дмитриевны Смирновых.
Организаторы конференции: философский факультет МГУ имени М.В. Ломоносова, Институт философии РАН, Фонд логико-философских исследований.
В рамках конференции планируется проведение двух пленарных заседаний и работа секций:
- Символическая логика,
- Философская логика,
- История логики,
- Логика научного познания.
Основные мероприятия конференции планируется проводить в очном формате, отдельные заседания возможны в формате он-лайн.
Информация о конференции будет размещена на официальном сайте мероприятия http://www.smirnovreadings.ru
Материалы конференции будут опубликованы. Участники конференции предоставляют свои научные результаты в формате небольших статей в размере от 2 до 4 страниц выходного PDF файла (5000-10000 знаков стандартного неформульного текста). Статьи принимаются до 30 апреля 2025 года. Формат принимаемых файлов:
1) Тексты статей, содержащих формульные выражения, должны быть подготовлены только с помощью системы набора текста LaTeX (необходим исходный файл с расширением .tex), с использованием стилевого файла и инструкции для правильного оформления текста, размещенных на сайте конференции в разделе подача тезисов.
2) Текст без формульных выражений можно подготовить в формате MS Word. Авторы могут представить свои работы как на английском языке, так и на русском языке. Русскоязычный текст сопровождается также названием и аннотацией на английском языке (см. инструкцию). Обращаем ваше внимание на особенности в порядке проведения конференции.
Планируется выделение специальной подсекции, в рамках которой все выступающие будут делать доклады на английском языке.
После получения авторских статей вопрос о Вашем участии будет рассмотрен Программным комитетом. Программный комитет оставляет за собой право отклонять заявки, не соответствующие тематике конференции, а также редактировать присланные материалы при их подготовке к публикации. Участникам, чьи заявки прошли отбор, будет выслано официальное приглашение.
Подача статей. Статьи подаются через электронную почту smirnovreadings@philos.msu.ru
Персональные данные. Участники предоставляют в оргкомитет более детальные персональные данные, заполнив анкету участника, форму которой можно скачать на сайте конференции в разделе подача тезисов.
Контактная информация:
Адрес электронной почты Оргкомитета: smirnovreadings@philos.msu.ru
Телефон оргкомитета: +7 (495) 939-18-46
➰ ВК
19-21 июня 2025 года в Московском университете состоится международная научная конференция
«Четырнадцатые Смирновские чтения по логике»,
посвященная памяти выдающихся исследователей в области логики, методологии и философии науки Владимира Александровича и Елены Дмитриевны Смирновых.
Организаторы конференции: философский факультет МГУ имени М.В. Ломоносова, Институт философии РАН, Фонд логико-философских исследований.
В рамках конференции планируется проведение двух пленарных заседаний и работа секций:
- Символическая логика,
- Философская логика,
- История логики,
- Логика научного познания.
Основные мероприятия конференции планируется проводить в очном формате, отдельные заседания возможны в формате он-лайн.
Информация о конференции будет размещена на официальном сайте мероприятия http://www.smirnovreadings.ru
Материалы конференции будут опубликованы. Участники конференции предоставляют свои научные результаты в формате небольших статей в размере от 2 до 4 страниц выходного PDF файла (5000-10000 знаков стандартного неформульного текста). Статьи принимаются до 30 апреля 2025 года. Формат принимаемых файлов:
1) Тексты статей, содержащих формульные выражения, должны быть подготовлены только с помощью системы набора текста LaTeX (необходим исходный файл с расширением .tex), с использованием стилевого файла и инструкции для правильного оформления текста, размещенных на сайте конференции в разделе подача тезисов.
2) Текст без формульных выражений можно подготовить в формате MS Word. Авторы могут представить свои работы как на английском языке, так и на русском языке. Русскоязычный текст сопровождается также названием и аннотацией на английском языке (см. инструкцию). Обращаем ваше внимание на особенности в порядке проведения конференции.
Планируется выделение специальной подсекции, в рамках которой все выступающие будут делать доклады на английском языке.
После получения авторских статей вопрос о Вашем участии будет рассмотрен Программным комитетом. Программный комитет оставляет за собой право отклонять заявки, не соответствующие тематике конференции, а также редактировать присланные материалы при их подготовке к публикации. Участникам, чьи заявки прошли отбор, будет выслано официальное приглашение.
Подача статей. Статьи подаются через электронную почту smirnovreadings@philos.msu.ru
Персональные данные. Участники предоставляют в оргкомитет более детальные персональные данные, заполнив анкету участника, форму которой можно скачать на сайте конференции в разделе подача тезисов.
Контактная информация:
Адрес электронной почты Оргкомитета: smirnovreadings@philos.msu.ru
Телефон оргкомитета: +7 (495) 939-18-46
➰ ВК
🔥3
#матлог #конференция
CCR 2025: CALL FOR ABSTRACTS
========
18th International Conference on Computability, Complexity and Randomness (CCR 2025)
https://ccr2025.sciencesconf.org/
June 16-20, 2025, LaBRI, University of Bordeaux, France
========
TOPICS:
* Algorithmic randomness
* Computability theory
* Kolmogorov complexity
* Computational complexity
* Reverse mathematics and logic
========
SUBMISSION INFORMATION:
Authors are invited to submit an extended abstract of 1-2 pages on the conference website. Submissions can be done at any time and notification of acceptance or rejection will be sent shortly after submission. The deadline for submitting an abstract is April 30, 2025.
========
INVITED SPEAKERS:
* Elvira Mayordomo (Universidad de Zaragoza, Spain)
* Joseph Miller (University of Wisconsin–Madison, USA)
* Kenshi Miyabe (Meiji University, Japan)
* Raul Santhanam (Oxford University, UK)
* Andrea Sorbi (Università degli Studi di Siena, Italy)
========
SCIENTIFIC PROGRAM COMMITTEE:
* Laurent Bienvenu (CNRS & Université de Bordeaux, France), co-chair
* Satyadev Nandakumar (IIT Kanpur, India)
* Takako Nemoto (Tohoku University, Japan)
* Cristobal Rojas (Universidad Católica de Chile, Chile)
* Andrei Romashchenko (CNRS & Université de Montpellier, France)
* Paul Shafer (University of Leeds, UK), co-chair
* Sebastiaan Terwijn (Radboud University, Netherlands)
* Francesca Zaffora-Blando (Carnegie-Mellon University, USA)
========
LOCAL ORGANIZERS:
* Laurent Bienvenu
* Subin Pulari
* Ivan Titov
========
ABOUT THE CONFERENCE:
CCR 2025 is the 18th edition of the International Conference on Computability, Complexity and Randomness, a series of conferences devoted generally to the mathematics of computation and complexity but that tends to primarily focus on algorithmic randomness/algorithmic information theory and its impact on mathematics. Previous editions of the conference have been held at Cordoba (Argentina), Buenos Aires (Argentina), Nanjing (China), Luminy (France), Notre Dame (USA), Cape Town (South Africa), Cambridge (UK), Moscow (Russia), Singapore, Heidelberg (Germany), Honolulu (USA), Mysore (India), Santiago de Chile (Chile), Astana (Kazakhstan), Cambridge (UK), Lake Kochel (Germany) and Nagoya (Japan).
This year's edition will be colocated with the annual meeting of the French community in computability and related topics (`Journées Calculabilités').
========
FUNDING:
Funding opportunities for student members of the Association for Symbolic Logic (ASL) are available. Applications should be directed to the Association for Symbolic Logic three months prior to the meeting, following the instructions here: https://aslonline.org/student-travel-awards/
➰ ВК
CCR 2025: CALL FOR ABSTRACTS
========
18th International Conference on Computability, Complexity and Randomness (CCR 2025)
https://ccr2025.sciencesconf.org/
June 16-20, 2025, LaBRI, University of Bordeaux, France
========
TOPICS:
* Algorithmic randomness
* Computability theory
* Kolmogorov complexity
* Computational complexity
* Reverse mathematics and logic
========
SUBMISSION INFORMATION:
Authors are invited to submit an extended abstract of 1-2 pages on the conference website. Submissions can be done at any time and notification of acceptance or rejection will be sent shortly after submission. The deadline for submitting an abstract is April 30, 2025.
========
INVITED SPEAKERS:
* Elvira Mayordomo (Universidad de Zaragoza, Spain)
* Joseph Miller (University of Wisconsin–Madison, USA)
* Kenshi Miyabe (Meiji University, Japan)
* Raul Santhanam (Oxford University, UK)
* Andrea Sorbi (Università degli Studi di Siena, Italy)
========
SCIENTIFIC PROGRAM COMMITTEE:
* Laurent Bienvenu (CNRS & Université de Bordeaux, France), co-chair
* Satyadev Nandakumar (IIT Kanpur, India)
* Takako Nemoto (Tohoku University, Japan)
* Cristobal Rojas (Universidad Católica de Chile, Chile)
* Andrei Romashchenko (CNRS & Université de Montpellier, France)
* Paul Shafer (University of Leeds, UK), co-chair
* Sebastiaan Terwijn (Radboud University, Netherlands)
* Francesca Zaffora-Blando (Carnegie-Mellon University, USA)
========
LOCAL ORGANIZERS:
* Laurent Bienvenu
* Subin Pulari
* Ivan Titov
========
ABOUT THE CONFERENCE:
CCR 2025 is the 18th edition of the International Conference on Computability, Complexity and Randomness, a series of conferences devoted generally to the mathematics of computation and complexity but that tends to primarily focus on algorithmic randomness/algorithmic information theory and its impact on mathematics. Previous editions of the conference have been held at Cordoba (Argentina), Buenos Aires (Argentina), Nanjing (China), Luminy (France), Notre Dame (USA), Cape Town (South Africa), Cambridge (UK), Moscow (Russia), Singapore, Heidelberg (Germany), Honolulu (USA), Mysore (India), Santiago de Chile (Chile), Astana (Kazakhstan), Cambridge (UK), Lake Kochel (Germany) and Nagoya (Japan).
This year's edition will be colocated with the annual meeting of the French community in computability and related topics (`Journées Calculabilités').
========
FUNDING:
Funding opportunities for student members of the Association for Symbolic Logic (ASL) are available. Applications should be directed to the Association for Symbolic Logic three months prior to the meeting, following the instructions here: https://aslonline.org/student-travel-awards/
➰ ВК
👍1
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Logic Online Seminar, Monday 16:00 MSK (UTC+3), only Kontur Talk (www.mathnet.ru/eng/conf876)
07.04.2025 Yanjing Wang (Peking University, https://wangyanjing.com/): Knowing how to understand intuitionistic logic (and its relatives) (online)
In this talk, we provide an intuitive understanding of intuitionistic logic by interpreting it as a logic of knowing how (to prove). The approach is inspired by scattered but related ideas hidden in the vast literature of math, philosophy, CS, and linguistics about intuitionistic logic, which also echoes Heyting's largely forgotten conception of intuitionistic logic as "a logic of knowing". The key technique is to combine the bundled modality we developed in the past decade with the BHK-style interpretation. If time permits, I will demonstrate the use of this epistemic interpretation with applications in inquisitive logic, dependence logic, and deontic logic.
➰ ВК
Logic Online Seminar, Monday 16:00 MSK (UTC+3), only Kontur Talk (www.mathnet.ru/eng/conf876)
07.04.2025 Yanjing Wang (Peking University, https://wangyanjing.com/): Knowing how to understand intuitionistic logic (and its relatives) (online)
In this talk, we provide an intuitive understanding of intuitionistic logic by interpreting it as a logic of knowing how (to prove). The approach is inspired by scattered but related ideas hidden in the vast literature of math, philosophy, CS, and linguistics about intuitionistic logic, which also echoes Heyting's largely forgotten conception of intuitionistic logic as "a logic of knowing". The key technique is to combine the bundled modality we developed in the past decade with the BHK-style interpretation. If time permits, I will demonstrate the use of this epistemic interpretation with applications in inquisitive logic, dependence logic, and deontic logic.
➰ ВК
#матлог
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
4 апреля (пятница) в 18.30 состоится очередное заседание исследовательского семинара "From the Logical Point of View".
Тема доклада: Эпистемология математики между прагматизмом и эмпиризмом.
Докладчик: Арсен Вольский.
Аннотация: Традиционные исследования в области эпистемологии математики часто предполагают, что математические утверждения обладают априорной природой и абсолютной достоверностью, доказательства в математике не вызывают сомнений, а их критерии остаются неизменными, исторический контекст математических практик при этом игнорируется как не имеющий отношения к, собственно, эпистемологическому анализу. В своём докладе я предлагаю альтернативный взгляд на эпистемологию математики, который сближает её с эпистемологией естественных наук, представляющий собой промежуточную позицию между эмпиризмом и прагматизмом.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1030074442.h
➰ ВК
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
4 апреля (пятница) в 18.30 состоится очередное заседание исследовательского семинара "From the Logical Point of View".
Тема доклада: Эпистемология математики между прагматизмом и эмпиризмом.
Докладчик: Арсен Вольский.
Аннотация: Традиционные исследования в области эпистемологии математики часто предполагают, что математические утверждения обладают априорной природой и абсолютной достоверностью, доказательства в математике не вызывают сомнений, а их критерии остаются неизменными, исторический контекст математических практик при этом игнорируется как не имеющий отношения к, собственно, эпистемологическому анализу. В своём докладе я предлагаю альтернативный взгляд на эпистемологию математики, который сближает её с эпистемологией естественных наук, представляющий собой промежуточную позицию между эмпиризмом и прагматизмом.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1030074442.h
➰ ВК
ВКонтакте
Логика, лингвистика и формальная философия
Неофициальная страница Международной лаборатории логики, лингвистики и формальной философии (МЛ ЛогЛинФФ). Мы на YouTube: https://www.youtube.com/channel/UC7CqNTt_I2dE6Nr4kAEGpgQ Мы в Телеграмме: https://news.1rj.ru/str/form_phil Наша рассылка: https://llfp.hse.ru/…
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 2 апреля.
Время проведения семинара 14:00.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Докладчик: Антон Кащенко
Тема: Топологический квадрат логики S4.1
Аннотация.
Существует много способов комбинирования модальных логик. Помимо соединений и произведений, основанных на семантике Крипке, рассматриваются также и топологические произведения. Они были впервые введены Й. ван Бентемом с соавторами в 2006 году и представляют собой естественный способ комбинирования логик, основанный на топологической интерпретации модальностей. Известно, что топологическое произведение двух модальных логик находится между их соединением и произведением. В работе А.В. Кудинова приводится пример топологического произведения (а именно произведение логик S4 и S4.1), находящегося строго между соединением и расширяющимся произведением. Топологический квадрат логики S4.1 (это логика S4 с аксиомой Маккинси) также оказался нетривиальным произведением. Кроме того, эти топологические произведения оказались финитно аппроксимируемыми и разрешимыми, в отличии от Крипке-произведений этих логик, которые являются неразрешимыми. В этом докладе будут рассмотрены оба этих произведения.
➰ ВК
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 2 апреля.
Время проведения семинара 14:00.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Докладчик: Антон Кащенко
Тема: Топологический квадрат логики S4.1
Аннотация.
Существует много способов комбинирования модальных логик. Помимо соединений и произведений, основанных на семантике Крипке, рассматриваются также и топологические произведения. Они были впервые введены Й. ван Бентемом с соавторами в 2006 году и представляют собой естественный способ комбинирования логик, основанный на топологической интерпретации модальностей. Известно, что топологическое произведение двух модальных логик находится между их соединением и произведением. В работе А.В. Кудинова приводится пример топологического произведения (а именно произведение логик S4 и S4.1), находящегося строго между соединением и расширяющимся произведением. Топологический квадрат логики S4.1 (это логика S4 с аксиомой Маккинси) также оказался нетривиальным произведением. Кроме того, эти топологические произведения оказались финитно аппроксимируемыми и разрешимыми, в отличии от Крипке-произведений этих логик, которые являются неразрешимыми. В этом докладе будут рассмотрены оба этих произведения.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар... Смотрите полностью ВКонтакте.
Уважаемые коллеги, приглашаем вас на логический семинар... Смотрите полностью ВКонтакте.