#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 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
Кафедра математической логики МГУ. Пост со стены.
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар... Смотрите полностью ВКонтакте.
Уважаемые коллеги, приглашаем вас на логический семинар... Смотрите полностью ВКонтакте.
#матлог #учёба #просеминар
💥В четверг 3 апреля на просеминаре по математической логике и информатике будет тема "Наследственно конечные множества" (А.А.Оноприенко).
✅Просеминар проходит по четвергам в 16:45-18:20 в аудитории 436 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме:
https://vk.com/away.php?to=https%3A%2F%2Ft.me%2F%2B8lzSUf8ghLAzMjRi&utf=1
✅Можно заранее порешать задачи (прикреплены к посту).
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
📝 HF_ZFC2025.pdf
➰ ВК
💥В четверг 3 апреля на просеминаре по математической логике и информатике будет тема "Наследственно конечные множества" (А.А.Оноприенко).
✅Просеминар проходит по четвергам в 16:45-18:20 в аудитории 436 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме:
https://vk.com/away.php?to=https%3A%2F%2Ft.me%2F%2B8lzSUf8ghLAzMjRi&utf=1
✅Можно заранее порешать задачи (прикреплены к посту).
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
📝 HF_ZFC2025.pdf
➰ ВК
🔥3
#матлог #наука
Представляем вашему вниманию презентацию профессора нашей кафедры Шехтмана Валентина Борисовича, которая демонстрировалась сегодня на встрече кафедры со студентами второго курса!
В этой короткой презентации сформулированы целых две интереснейшие открытые проблемы 😱
📝 present25n.pdf
➰ ВК
Представляем вашему вниманию презентацию профессора нашей кафедры Шехтмана Валентина Борисовича, которая демонстрировалась сегодня на встрече кафедры со студентами второго курса!
В этой короткой презентации сформулированы целых две интереснейшие открытые проблемы 😱
📝 present25n.pdf
➰ ВК
🔥7
#матлог #конференция
FPMW-ESPM Conference 2025
Joint Seventeenth French Philosophy of Mathematics Workshop and Second Conference of the European Society for the Philosophy of Mathematics
https://fpmwespm2025.sciencesconf.org/
The seventeenth edition of the French Philosophy of Mathematics Workshop (FPMW 17) and the second conference of the European Society for the Philosophy of Mathematics will be held from the 15th to the 17th of October 2025 in Paris, at Université Paris Cité and Université Paris 1 Panthéon-Sorbonne.
The workshop program consists of five talks by invited speakers and five contributed talks (see the programs of previous editions of the workshop at the following address: https://philmath.hypotheses.org/fpmw).
The invited speakers are:
• Timothy Gowers (Collège de France)
• Elaine Landry (UC Davis)
• Georg Schiemer (University of Vienna)
• David Rabouin (CNRS, SPHERE, Paris)
• Andrea Sereni (IUSS Pavia)
For the five contributed talks, all topics and approaches in the philosophy of mathematics are welcome.
The workshop is also open to philosophical talks about mathematics which do not fall under the philosophy of mathematics in a strict sense.
Submission window: April 15th, 2025 - May 15th, 2025.
Notification of acceptance (by email): July 1st, 2025.
Length of talks: 1-hour talk followed by 30 minutes of discussion.
The languages of the workshop will be French and English. Talks in French should be supported by slides in English.
Proposals (between 10,000 and 15,000 characters), prepared for anonymous review, should be sent in PDF format to fpmw-espm2025@sciencesconf.org copying in Brice Halimi brice.halimi@u-paris.fr in an email ennoscriptd “FPMW-ESPM2025”.
The workshop is supported financially by the Research Network PHILMATH, the European Society for the Philosophy of Mathematics, and the CNRS research units SPHERE (Université Paris Cité & CNRS) and IHPST (Université Paris 1 Panthéon-Sorbonne & CNRS).
Scientific committee:
• Andrew Arana (Université de Lorraine)
• Silvia De Toffoli (IUSS Pavia)
• Mirna Džamonja (Université Paris Cité)
• Emmylou Haffner (CNRS, ENS)
• Brice Halimi (Université Paris Cité)
• Mary Leng (University of York)
• Øystein Linnebo (University of Oslo)
• Jean-Pierre Marquis (Université de Montréal)
• Carlo Nicolai (King's College London)
• Alexander Paseau (University of Oxford)
• Frédéric Patras (CNRS, Université Côte d’Azur)
• Jean-Jacques Szczeciniarz (Université Paris Cité)
➰ ВК
FPMW-ESPM Conference 2025
Joint Seventeenth French Philosophy of Mathematics Workshop and Second Conference of the European Society for the Philosophy of Mathematics
https://fpmwespm2025.sciencesconf.org/
The seventeenth edition of the French Philosophy of Mathematics Workshop (FPMW 17) and the second conference of the European Society for the Philosophy of Mathematics will be held from the 15th to the 17th of October 2025 in Paris, at Université Paris Cité and Université Paris 1 Panthéon-Sorbonne.
The workshop program consists of five talks by invited speakers and five contributed talks (see the programs of previous editions of the workshop at the following address: https://philmath.hypotheses.org/fpmw).
The invited speakers are:
• Timothy Gowers (Collège de France)
• Elaine Landry (UC Davis)
• Georg Schiemer (University of Vienna)
• David Rabouin (CNRS, SPHERE, Paris)
• Andrea Sereni (IUSS Pavia)
For the five contributed talks, all topics and approaches in the philosophy of mathematics are welcome.
The workshop is also open to philosophical talks about mathematics which do not fall under the philosophy of mathematics in a strict sense.
Submission window: April 15th, 2025 - May 15th, 2025.
Notification of acceptance (by email): July 1st, 2025.
Length of talks: 1-hour talk followed by 30 minutes of discussion.
The languages of the workshop will be French and English. Talks in French should be supported by slides in English.
Proposals (between 10,000 and 15,000 characters), prepared for anonymous review, should be sent in PDF format to fpmw-espm2025@sciencesconf.org copying in Brice Halimi brice.halimi@u-paris.fr in an email ennoscriptd “FPMW-ESPM2025”.
The workshop is supported financially by the Research Network PHILMATH, the European Society for the Philosophy of Mathematics, and the CNRS research units SPHERE (Université Paris Cité & CNRS) and IHPST (Université Paris 1 Panthéon-Sorbonne & CNRS).
Scientific committee:
• Andrew Arana (Université de Lorraine)
• Silvia De Toffoli (IUSS Pavia)
• Mirna Džamonja (Université Paris Cité)
• Emmylou Haffner (CNRS, ENS)
• Brice Halimi (Université Paris Cité)
• Mary Leng (University of York)
• Øystein Linnebo (University of Oslo)
• Jean-Pierre Marquis (Université de Montréal)
• Carlo Nicolai (King's College London)
• Alexander Paseau (University of Oxford)
• Frédéric Patras (CNRS, Université Côte d’Azur)
• Jean-Jacques Szczeciniarz (Université Paris Cité)
➰ ВК
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 04.04.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Павел Разумный
Название: Об алгоритмической сложности множества теорем логики QGL, расширенной нефундированными выводами
Аннотация.
Будет рассмотрена модальная логика предикатов QGL (предикатный аналог логики Гёделя-Лёба), расширенная нефундированными выводами. Нефундированный вывод - это дерево формул, построенное по правилам вывода (в нашем случае MP, Nec и правила Бернайса), в корне которого стоит выводимая формула, листья помечены аксиомами и гипотезами, а все бесконечные ветви содержат бесконечно много применений правила Nec. Эта система корректна и слабо полна относительно топологической семантики.
В докладе будет доказан результат о сложности множества теорем данной логической системы: множество теорем QGL, расширенной нефундированными выводами, является полным в классе Sigma^1_1 аналитической иерархии.
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 04.04.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Павел Разумный
Название: Об алгоритмической сложности множества теорем логики QGL, расширенной нефундированными выводами
Аннотация.
Будет рассмотрена модальная логика предикатов QGL (предикатный аналог логики Гёделя-Лёба), расширенная нефундированными выводами. Нефундированный вывод - это дерево формул, построенное по правилам вывода (в нашем случае MP, Nec и правила Бернайса), в корне которого стоит выводимая формула, листья помечены аксиомами и гипотезами, а все бесконечные ветви содержат бесконечно много применений правила Nec. Эта система корректна и слабо полна относительно топологической семантики.
В докладе будет доказан результат о сложности множества теорем данной логической системы: множество теорем QGL, расширенной нефундированными выводами, является полным в классе Sigma^1_1 аналитической иерархии.
➰ ВК
YouTube
Логика в Москве
Share your videos with friends, family, and the world
#матлог #учёба #спецсеминар
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
3 April 2025, 16.30 CET = 18.30 Moscow time
Speaker: Matthew Cook
Title: The Understanding Machine
Abstract:
One of the still-distant goals of AI is to generate understanding out of raw data. After all, a brain is a machine that can do this. Inspired by how the visual cortex appears to operate, combined with a simple algebra for manipulating an abstraction of the structures that arise, we look at what happens when we apply this to trying to understand the one-dimensional world of binary addition problems. Starting with raw data, and then mechanically applying the simplifying rules of the algebra, we indeed reach a new understanding, yielding a new binary addition algorithm.
➰ ВК
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
3 April 2025, 16.30 CET = 18.30 Moscow time
Speaker: Matthew Cook
Title: The Understanding Machine
Abstract:
One of the still-distant goals of AI is to generate understanding out of raw data. After all, a brain is a machine that can do this. Inspired by how the visual cortex appears to operate, combined with a simple algebra for manipulating an abstraction of the structures that arise, we look at what happens when we apply this to trying to understand the one-dimensional world of binary addition problems. Starting with raw data, and then mechanically applying the simplifying rules of the algebra, we indeed reach a new understanding, yielding a new binary addition algorithm.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #спецсеминар
Kolmogorov seminar on complexity (for receive the zoom link, plea... Смотрите полностью ВКонтакте.
Kolmogorov seminar on complexity (for receive the zoom link, plea... Смотрите полностью ВКонтакте.
#матлог #конференция
Journées sur les Arithmétiques Faibles
Weak Arithmetics Days 44
https://workshop.math.cas.cz/JAF44/
8-10 September 2025, Prague, Czech Republic
Aim. Weak arithmetics play a fundamental role in several areas of philosophy, mathematics, and computer science, by studying the nature and properties of natural numbers from a logical point of view. The aim of the conference is to provide a forum for researchers to present their results to members of communities who study or apply weak arithmetics in various fields and formalisms. Previous JAFs.
Topics. Proofs in arithmetic with restricted system of axioms; non-standard models of such systems; decidability, undecidability, and complexity of arithmetical theories; definability in arithmetic structures; machines, automata and words, related to arithmetic; finite model theory, word structures.
Location. Institute of Mathematics, Czech Academy of Sciences. The institute is in the centre of Prague, a few minutes walk from Wenceslas Square.
Programme. TBA; confirmed speakers
Albert Atserias, Technical University of Catalonia
Leszek Kołodziejczyk, University of Warsaw
Jan Krajíček, Charles University
Contributed papers. Authors are invited to send an abstract not exceeding three pages as an electronic submission in the form of a pdf file, to be sent both to cegielski@u-pec.fr and to thapen@math.cas.cz. Submissions are to be received before 2 June 2025. Authors will be notified of acceptance before 5 July 2025.
Registration. To register, send your details (full name, affiliation, planned dates of arrival and departure) to thapen@math.cas.cz. There is no conference fee.
Financial support. We have some funds to support students coming to Prague to attend the conference. Please contact Neil Thapen, thapen@math.cas.cz, to apply.
Contact. For any enquires contact Patrick Cégielski, cegielski@u-pec.fr or Neil Thapen, thapen@math.cas.cz.
JAF steering committee. Patrick Cégielski (Paris XII), Julien Cervelle (Paris XII), Andrés Córdon-Franco (Seville), Ali Enayat (Göteborg), Costas Dimitracopoulos (Athens), Alex Esbelin (Clermont-Ferrand), Neil Thapen (CAS)
Local organizing committee. Neil Thapen (CAS), Pavel Hrubeš (CAS), Ondřej Ježil (Charles University)
➰ ВК
Journées sur les Arithmétiques Faibles
Weak Arithmetics Days 44
https://workshop.math.cas.cz/JAF44/
8-10 September 2025, Prague, Czech Republic
Aim. Weak arithmetics play a fundamental role in several areas of philosophy, mathematics, and computer science, by studying the nature and properties of natural numbers from a logical point of view. The aim of the conference is to provide a forum for researchers to present their results to members of communities who study or apply weak arithmetics in various fields and formalisms. Previous JAFs.
Topics. Proofs in arithmetic with restricted system of axioms; non-standard models of such systems; decidability, undecidability, and complexity of arithmetical theories; definability in arithmetic structures; machines, automata and words, related to arithmetic; finite model theory, word structures.
Location. Institute of Mathematics, Czech Academy of Sciences. The institute is in the centre of Prague, a few minutes walk from Wenceslas Square.
Programme. TBA; confirmed speakers
Albert Atserias, Technical University of Catalonia
Leszek Kołodziejczyk, University of Warsaw
Jan Krajíček, Charles University
Contributed papers. Authors are invited to send an abstract not exceeding three pages as an electronic submission in the form of a pdf file, to be sent both to cegielski@u-pec.fr and to thapen@math.cas.cz. Submissions are to be received before 2 June 2025. Authors will be notified of acceptance before 5 July 2025.
Registration. To register, send your details (full name, affiliation, planned dates of arrival and departure) to thapen@math.cas.cz. There is no conference fee.
Financial support. We have some funds to support students coming to Prague to attend the conference. Please contact Neil Thapen, thapen@math.cas.cz, to apply.
Contact. For any enquires contact Patrick Cégielski, cegielski@u-pec.fr or Neil Thapen, thapen@math.cas.cz.
JAF steering committee. Patrick Cégielski (Paris XII), Julien Cervelle (Paris XII), Andrés Córdon-Franco (Seville), Ali Enayat (Göteborg), Costas Dimitracopoulos (Athens), Alex Esbelin (Clermont-Ferrand), Neil Thapen (CAS)
Local organizing committee. Neil Thapen (CAS), Pavel Hrubeš (CAS), Ondřej Ježil (Charles University)
➰ ВК
#матлог #наука #конференция
В среду 16 апреля 2025 г. в 18:30 в аудитории 1402 состоится научная конференция студентов, аспирантов и молодых ученых "Ломоносов - 2025".
Будут представлены доклады:
18:30-18:50 Аллеманд Аллан Олегович
"Топологическая теория разрешимости некоторых уравнений в элементарных функциях методом Арнольда"
Тезисы: https://lomonosov-msu.ru/file/uploaded/10000/report/request_1476634/181905/uid494087_report.pdf
18:50-19:10 Вишникин Максим Евгеньевич
"Базовые категориальные грамматики с ограничением на количество присваиваемых категорий"
Тезисы: https://lomonosov-msu.ru/file/uploaded/10000/report/request_1485934/186601/uid563464_report.pdf
19:10-19:30 Хайруллин Артур Миннахматович
"Вычисления с частичным оракулом"
Тезисы: https://lomonosov-msu.ru/file/uploaded/10000/report/request_1486507/186915/uid567073_report.pdf
19:30-19:50 Холодилов Филипп Дмитриевич
"О множествах натуральных чисел, замощающих натуральный ряд"
Тезисы: https://lomonosov-msu.ru/file/uploaded/10000/report/request_1476552/181859/uid683528_report.pdf
19:50-20:10 Deng Zhibo
"On the equivalence checking problem for deterministic top-down tree automata"
Тезисы: https://lomonosov-msu.ru/file/uploaded/10000/report/request_1476139/181592/uid952894_report.pdf
➰ ВК
В среду 16 апреля 2025 г. в 18:30 в аудитории 1402 состоится научная конференция студентов, аспирантов и молодых ученых "Ломоносов - 2025".
Будут представлены доклады:
18:30-18:50 Аллеманд Аллан Олегович
"Топологическая теория разрешимости некоторых уравнений в элементарных функциях методом Арнольда"
Тезисы: https://lomonosov-msu.ru/file/uploaded/10000/report/request_1476634/181905/uid494087_report.pdf
18:50-19:10 Вишникин Максим Евгеньевич
"Базовые категориальные грамматики с ограничением на количество присваиваемых категорий"
Тезисы: https://lomonosov-msu.ru/file/uploaded/10000/report/request_1485934/186601/uid563464_report.pdf
19:10-19:30 Хайруллин Артур Миннахматович
"Вычисления с частичным оракулом"
Тезисы: https://lomonosov-msu.ru/file/uploaded/10000/report/request_1486507/186915/uid567073_report.pdf
19:30-19:50 Холодилов Филипп Дмитриевич
"О множествах натуральных чисел, замощающих натуральный ряд"
Тезисы: https://lomonosov-msu.ru/file/uploaded/10000/report/request_1476552/181859/uid683528_report.pdf
19:50-20:10 Deng Zhibo
"On the equivalence checking problem for deterministic top-down tree automata"
Тезисы: https://lomonosov-msu.ru/file/uploaded/10000/report/request_1476139/181592/uid952894_report.pdf
➰ ВК
👍2🔥2
#матлог #учёба #спецсеминар
Семинар «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (homepage.mi-ras.ru/~sk/) и С.О. Сперанского (homepage.mi-ras.ru/~speranski/)
Время: 8 апреля 2025, начало — в 16:00
Место: МИАН, ком. 303 + Контур.Толк
К.А. Ковалёв (МФТИ)
Об интерпретациях полей в о-минимальных расширения вещественно замкнутых полей — 2
На предыдущем докладе мы сделали небольшой обзор результатов, связанных с понятием о-минимальности, и начали доказывать основной результат об интерпретируемости областей целостности в о-минимальных обогащениях вещественно замкнутых полей. Настоящий доклад начнётся с повторения схемы доказательства результатов, которые обсуждались ранее, в том числе мы остановимся подробнее на местах, которые «заметались под ковёр». Далее, мы завершим доказательство основного результата, идея которого кратко обсуждалась в конце предыдущего доклада. Кроме того, мы обсудим схему доказательства результатов, на которые мы ссылались (в частности, о введении структуры определимого многообразия на определимых группах).
Ссылка на предыдущий доклад: https://www.mathnet.ru/rus/present45786
➰ ВК
Семинар «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (homepage.mi-ras.ru/~sk/) и С.О. Сперанского (homepage.mi-ras.ru/~speranski/)
Время: 8 апреля 2025, начало — в 16:00
Место: МИАН, ком. 303 + Контур.Толк
К.А. Ковалёв (МФТИ)
Об интерпретациях полей в о-минимальных расширения вещественно замкнутых полей — 2
На предыдущем докладе мы сделали небольшой обзор результатов, связанных с понятием о-минимальности, и начали доказывать основной результат об интерпретируемости областей целостности в о-минимальных обогащениях вещественно замкнутых полей. Настоящий доклад начнётся с повторения схемы доказательства результатов, которые обсуждались ранее, в том числе мы остановимся подробнее на местах, которые «заметались под ковёр». Далее, мы завершим доказательство основного результата, идея которого кратко обсуждалась в конце предыдущего доклада. Кроме того, мы обсудим схему доказательства результатов, на которые мы ссылались (в частности, о введении структуры определимого многообразия на определимых группах).
Ссылка на предыдущий доклад: https://www.mathnet.ru/rus/present45786
➰ ВК
#матлог #новости
С прискорбием сообщаем, что 4 апреля 2025 года на 82-м году жизни скончалась Лариса Львовна Максимова — выдающийся математик, доктор физико-математических наук, главный научный сотрудник Института математики им. С. Л. Соболева СО РАН, ученица выдающегося алгебраиста и логика Анатолия Ивановича Мальцева.
Лариса Львовна вошла в историю как один из ведущих специалистов по неклассическим логикам. Её работы по модальным и суперинтуиционистским логикам стали классикой математической логики и получили международное признание. В 2018 году была награждена медалью института математики СО РАН «За выдающийся вклад в математику».
До последних дней Лариса Львовна сохраняла ясность мысли — её последняя статья увидела свет в начале 2024 года.
Для многих поколений математиков Лариса Львовна навсегда останется в памяти как соавтор легендарного задачника (Лавров, Максимова, "Задачи по теории множеств, математической логике и теории алгоритмов"; первое издание вышло в 1975 году), по которому и сегодня учатся студенты.
Светлая память.
➰ ВК
С прискорбием сообщаем, что 4 апреля 2025 года на 82-м году жизни скончалась Лариса Львовна Максимова — выдающийся математик, доктор физико-математических наук, главный научный сотрудник Института математики им. С. Л. Соболева СО РАН, ученица выдающегося алгебраиста и логика Анатолия Ивановича Мальцева.
Лариса Львовна вошла в историю как один из ведущих специалистов по неклассическим логикам. Её работы по модальным и суперинтуиционистским логикам стали классикой математической логики и получили международное признание. В 2018 году была награждена медалью института математики СО РАН «За выдающийся вклад в математику».
До последних дней Лариса Львовна сохраняла ясность мысли — её последняя статья увидела свет в начале 2024 года.
Для многих поколений математиков Лариса Львовна навсегда останется в памяти как соавтор легендарного задачника (Лавров, Максимова, "Задачи по теории множеств, математической логике и теории алгоритмов"; первое издание вышло в 1975 году), по которому и сегодня учатся студенты.
Светлая память.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #новости
С прискорбием сообщаем, что 4 апреля 2025 года на 82-м году жизни скончалась... Смотрите полностью ВКонтакте.
С прискорбием сообщаем, что 4 апреля 2025 года на 82-м году жизни скончалась... Смотрите полностью ВКонтакте.
😭9❤1
#матлог #учёба #спецсеминар
На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ
"Модальная и алгебраическая логика" и "Логические методы в информатике"
в ближайший вторник 8 апреля, начало в 18:30, состоится доклад
Докладчик:
Слюсарев Владислав Владимирович
Тема:
Критерии локальной табличности произведений модальных логик
Аннотация:
Для заданной модальной логики L формулы φ и ψ называются L-эквивалентными, если φ-ψ∈L. Модальная логика L называется локально табличной, если для любого n∈ω число классов L-эквивалентности модальных формул на n пропозициональных переменных конечно.
Критерий Сегерберга-Максимовой утверждает, что для одномодальных логик, расширяющих K4, локальная табличность эквивалентна конечной высоте. В общем случае этот критерий не выполнен, а аналоги неизвестны.
В этом докладе будут рассмотрены новые критерии, характеризующие локальную табличность произведений модальных логик. Произведение шкал Крипке F=(X,R) и G=(Y,S) определяется как шкала F*G=(X*Y,Rh,Rv), где
(a,b) Rh (c,d) ⟺ aRc и b=d;
(a,b) Rv (c,d) ⟺ a=c и bSd.
Произведением двух модальных логик называется логика класса шкал, состоящего из произведений шкал этих логик. Легко видеть, что локальная табличность обеих логик необходима, но не достаточна для локальной табличности их произведения. Для получения критерия мы описываем несколько синтаксических и семантических свойств, такие как: равномерная ограниченность сгустков одной из логик; свойство сокращения путей; конечность однопеременного фрагмента одной из логик.
Новые критерии позволяют найти ранее неизвестные семейства локально табличных бимодальных логик.
Доклад основан на совместной работе с И. Б. Шапировским. Препринт доступен по ссылке: http://arxiv.org/abs/2404.01670.
Видеозаписи предыдущих докладов:
https://www.youtube.com/playlist?list=PLEBNQnjHceeVxr2o766qqr993dyaKWRCX
Веб-страница с аннотациями и слайдами:
http://logic.math.msu.ru/sem/ml/
Для получения ссылки Zoom пишите на почту kudinov.andrey@gmail.com.
Убедительно просим всех подключающихся указывать в Zoom свои настоящие имя и фамилию!
➰ ВК
На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ
"Модальная и алгебраическая логика" и "Логические методы в информатике"
в ближайший вторник 8 апреля, начало в 18:30, состоится доклад
Докладчик:
Слюсарев Владислав Владимирович
Тема:
Критерии локальной табличности произведений модальных логик
Аннотация:
Для заданной модальной логики L формулы φ и ψ называются L-эквивалентными, если φ-ψ∈L. Модальная логика L называется локально табличной, если для любого n∈ω число классов L-эквивалентности модальных формул на n пропозициональных переменных конечно.
Критерий Сегерберга-Максимовой утверждает, что для одномодальных логик, расширяющих K4, локальная табличность эквивалентна конечной высоте. В общем случае этот критерий не выполнен, а аналоги неизвестны.
В этом докладе будут рассмотрены новые критерии, характеризующие локальную табличность произведений модальных логик. Произведение шкал Крипке F=(X,R) и G=(Y,S) определяется как шкала F*G=(X*Y,Rh,Rv), где
(a,b) Rh (c,d) ⟺ aRc и b=d;
(a,b) Rv (c,d) ⟺ a=c и bSd.
Произведением двух модальных логик называется логика класса шкал, состоящего из произведений шкал этих логик. Легко видеть, что локальная табличность обеих логик необходима, но не достаточна для локальной табличности их произведения. Для получения критерия мы описываем несколько синтаксических и семантических свойств, такие как: равномерная ограниченность сгустков одной из логик; свойство сокращения путей; конечность однопеременного фрагмента одной из логик.
Новые критерии позволяют найти ранее неизвестные семейства локально табличных бимодальных логик.
Доклад основан на совместной работе с И. Б. Шапировским. Препринт доступен по ссылке: http://arxiv.org/abs/2404.01670.
Видеозаписи предыдущих докладов:
https://www.youtube.com/playlist?list=PLEBNQnjHceeVxr2o766qqr993dyaKWRCX
Веб-страница с аннотациями и слайдами:
http://logic.math.msu.ru/sem/ml/
Для получения ссылки Zoom пишите на почту kudinov.andrey@gmail.com.
Убедительно просим всех подключающихся указывать в Zoom свои настоящие имя и фамилию!
➰ ВК
arXiv.org
Locally tabular products of modal logics
In the product $L_1\times L_2$ of two Kripke complete consistent logics, local tabularity of $L_1$ and $L_2$ is necessary for local tabularity of $L_1\times L_2$. However, it is not sufficient:...
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 9 апреля.
Время проведения семинара 14:00.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Докладчик: Иван Смирнов
Тема: Фрагменты арифметики и циклические выводы.
Аннотация:
Циклический вывод отличается от классического возможностью наличия циклов в "графе вывода", который для классического вывода является деревом. А. Симпсон [1] (и независимо С. Берарди и М. Татсута) доказал эквивалентность некоторой формальной системы арифметики 1-го порядка, основанной на циклических выводах, и арифметики Пеано.
В докладе мы расскажем о новой системе циклических выводов для арифметики 1-го порядка, предложенной в работе [2]. Глобальные ограничения корректности на выводы в этой системе выглядят проще, чем в предшествующих: задача проверки корректности вывода в ней лежит в классе P, а не только в PSPACE. Мы также определим некоторые фрагменты этой системы, основанные на ограничении сложности формул, входящих в вывод, эквивалентные известным фрагментам арифметики Пеано: $I \Sigma_n$ и $I \Sigma_n^R$.
Список литературы:
[1] A. Simpson. “Cyclic arithmetic is equivalent to Peano arithmetic”. In: FOSSACS 2017, Proceedings. pp. 283--300.
[2] L. Beklemishev, D. Shamkanov and I. Smirnov. "Fragments of arithmetic and cyclic proofs". arxiv.org/abs/2502.06639
➰ ВК
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 9 апреля.
Время проведения семинара 14:00.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Докладчик: Иван Смирнов
Тема: Фрагменты арифметики и циклические выводы.
Аннотация:
Циклический вывод отличается от классического возможностью наличия циклов в "графе вывода", который для классического вывода является деревом. А. Симпсон [1] (и независимо С. Берарди и М. Татсута) доказал эквивалентность некоторой формальной системы арифметики 1-го порядка, основанной на циклических выводах, и арифметики Пеано.
В докладе мы расскажем о новой системе циклических выводов для арифметики 1-го порядка, предложенной в работе [2]. Глобальные ограничения корректности на выводы в этой системе выглядят проще, чем в предшествующих: задача проверки корректности вывода в ней лежит в классе P, а не только в PSPACE. Мы также определим некоторые фрагменты этой системы, основанные на ограничении сложности формул, входящих в вывод, эквивалентные известным фрагментам арифметики Пеано: $I \Sigma_n$ и $I \Sigma_n^R$.
Список литературы:
[1] A. Simpson. “Cyclic arithmetic is equivalent to Peano arithmetic”. In: FOSSACS 2017, Proceedings. pp. 283--300.
[2] L. Beklemishev, D. Shamkanov and I. Smirnov. "Fragments of arithmetic and cyclic proofs". arxiv.org/abs/2502.06639
➰ ВК
arXiv.org
Fragments of arithmetic and cyclic proofs
We present an alternative cyclic proof system for Peano arithmetic that could be simpler than the existing ones and well-adapted both for proof analysis and for automatizing inductive proof...
#матлог #не_мехмат
В ближайшие две среды, 9 и 16 апреля 2025 г., С.Л. Кузнецов прочитает две лекции в рамках курса «Coq» в Центральном университете.
Первая лекция будет посвящена вычислительным возможностям различных версий лямбда-исчисления. Будет рассказано, что в бестиповом лямбда-исчислении представимы все вычислимые функции, а также охарактеризованы подклассы всюду определённых вычислимых функций, представимых в простом типовом лямбда-исчислении и лямбда-исчислении второго порядка (система F).
На второй лекции будет рассказано о доказательстве непротиворечивости исчисления индуктивных конструкций (CIC — базовое исчисление системы Coq) в рамках теории множеств ZFC со счётным набором недостижимых кардиналов, а также обратное кодирование соответствующих расширений ZFC в Coq, по статье Б. Вернера 1997 г.
Место: учебный корпус Центрального университета, Москва, ул. Гашека, д. 7, аудитория F304 (3 этаж, из лифтов перейти по мосту и прямо)
Время: 9 и 16 апреля, 19:30
Для посещения нужно получить пропуск. Для этого нужно написать в телеграм Владу Пимкину @delamelicon, что идёте на лекцию С.Л.Кузнецова в среду. Желательно сделать это не позднее вторника.
➰ ВК
В ближайшие две среды, 9 и 16 апреля 2025 г., С.Л. Кузнецов прочитает две лекции в рамках курса «Coq» в Центральном университете.
Первая лекция будет посвящена вычислительным возможностям различных версий лямбда-исчисления. Будет рассказано, что в бестиповом лямбда-исчислении представимы все вычислимые функции, а также охарактеризованы подклассы всюду определённых вычислимых функций, представимых в простом типовом лямбда-исчислении и лямбда-исчислении второго порядка (система F).
На второй лекции будет рассказано о доказательстве непротиворечивости исчисления индуктивных конструкций (CIC — базовое исчисление системы Coq) в рамках теории множеств ZFC со счётным набором недостижимых кардиналов, а также обратное кодирование соответствующих расширений ZFC в Coq, по статье Б. Вернера 1997 г.
Место: учебный корпус Центрального университета, Москва, ул. Гашека, д. 7, аудитория F304 (3 этаж, из лифтов перейти по мосту и прямо)
Время: 9 и 16 апреля, 19:30
Для посещения нужно получить пропуск. Для этого нужно написать в телеграм Владу Пимкину @delamelicon, что идёте на лекцию С.Л.Кузнецова в среду. Желательно сделать это не позднее вторника.
➰ ВК
🔥5👍2
#матлог #учёба #просеминар
💥В четверг 10 апреля на просеминаре по математической логике и информатике будет продолжение темы "Наследственно конечные множества" (А.А.Оноприенко).
✅Просеминар проходит по четвергам в 16:45-18:20 в аудитории 436 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме:
https://news.1rj.ru/str/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
➰ ВК
💥В четверг 10 апреля на просеминаре по математической логике и информатике будет продолжение темы "Наследственно конечные множества" (А.А.Оноприенко).
✅Просеминар проходит по четвергам в 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.
#матлог #новости #спецсеминар
🔥Возобновляет работу семинар "Некоторые применения математических методов в языкознании"! Это старейший семинар по математической лингвистике в России, одним из первых организаторов которого был Владимир Андреевич Успенский, в котором принимали участие Алексей Всеволодович Гладкий, Игорь Александрович Мельчук, Елена Викторовна Падучева и другие известные ученые. С 2025 года семинар проводится совместно Московским государственным университетом им. М.В. Ломоносова и Российской академией наук — Математическим институтом и Институтом языкознания.
Заседания будут проходить поочередно в ИЯз РАН и МИАН.
Когда: 11 апреля 2025 года, 14:30
Где: Институт языкознания РАН (Большой Кисловский пер., д. 1, стр. 1), конференц-зал + онлайн (ссылка отправляется зарегистрированным участникам)
Кто: Сергей Георгиевич Татевосов, Петр Олегович Россяйкин
Название: "Новое в семантике: о двух явлениях и всем остальном"
Аннотация:
В этом докладе мы рассмотрим несколько сюжетов, которые вписываются в две аналитические тенденции современной формальной семантики: (i) модальный анализ языковых выражений и явлений, традиционно не относимых к модальным; (ii) семантический анализ явлений, традиционно относимых к прагматике. А именно, преимущественно на материале русского языка, мы обсудим некоторые аргументы в пользу синтаксического представления речевых актов и модальный анализ перфектива (и, по возможности, некоторых других грамматических сущностей).
Для оформления пропуска в Институт языкознания или для получения ссылки для подключения онлайн необходимо заполнить форму до 23:59 10 апреля: https://forms.gle/jFsZcNFbbx15GskT7
Страница семинара: http://tipl.philol.msu.ru/index.php/science/seminars/npmmvia
➰ ВК
🔥Возобновляет работу семинар "Некоторые применения математических методов в языкознании"! Это старейший семинар по математической лингвистике в России, одним из первых организаторов которого был Владимир Андреевич Успенский, в котором принимали участие Алексей Всеволодович Гладкий, Игорь Александрович Мельчук, Елена Викторовна Падучева и другие известные ученые. С 2025 года семинар проводится совместно Московским государственным университетом им. М.В. Ломоносова и Российской академией наук — Математическим институтом и Институтом языкознания.
Заседания будут проходить поочередно в ИЯз РАН и МИАН.
Когда: 11 апреля 2025 года, 14:30
Где: Институт языкознания РАН (Большой Кисловский пер., д. 1, стр. 1), конференц-зал + онлайн (ссылка отправляется зарегистрированным участникам)
Кто: Сергей Георгиевич Татевосов, Петр Олегович Россяйкин
Название: "Новое в семантике: о двух явлениях и всем остальном"
Аннотация:
В этом докладе мы рассмотрим несколько сюжетов, которые вписываются в две аналитические тенденции современной формальной семантики: (i) модальный анализ языковых выражений и явлений, традиционно не относимых к модальным; (ii) семантический анализ явлений, традиционно относимых к прагматике. А именно, преимущественно на материале русского языка, мы обсудим некоторые аргументы в пользу синтаксического представления речевых актов и модальный анализ перфектива (и, по возможности, некоторых других грамматических сущностей).
Для оформления пропуска в Институт языкознания или для получения ссылки для подключения онлайн необходимо заполнить форму до 23:59 10 апреля: https://forms.gle/jFsZcNFbbx15GskT7
Страница семинара: http://tipl.philol.msu.ru/index.php/science/seminars/npmmvia
➰ ВК
Google Docs
НПММвЯ 23.05.2025
Заседание пройдет в пятницу 23 мая в 14:30 очно в Институте языкознания РАН с возможностью онлайн-подключения. Ссылка на зум будет разослана всем зарегистрировавшимся вне зависимости от формата участия.
🔥4👍2🤔1
#матлог #учёба #спецсеминар
Семинар «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (homepage.mi-ras.ru/~sk/) и С.О. Сперанского (homepage.mi-ras.ru/~speranski/)
Время: 15 апреля 2025, начало — в 16:00
Место: МИАН, ком. 303 + Контур.Толк
Сергей Славнов (НИУ ВШЭ, https://www.hse.ru/org/persons/61709453/)
Индексированное исчисление Ламбека с передвижением
Исчисление Ламбека обычно интерпретируют как логику строк и конкатенации строк; именно в таком качестве оно используется в лингвистических приложениях. Однако давно замечено, что с точки зрения лингвистических приложений такой простой структуры обычно оказывается недостаточно, и требуется рассматривать более сложные объекты и операции.
Мы определяем специфическую алгебру термов, которые обозначают упорядоченные последовательности строк и могут комбинироваться между собой более сложными способами, чем простая конкатенация. Далее мы вводим систему типов для таких термов. Эта система представляет собой неассоциативное, но частично коммутативное расширение исчисления Ламбека, которое нам кажется с одной стороны достаточно простым и интересным, а с другой стороны достаточно выразительным.
➰ ВК
Семинар «Вероятностные и субструктурные логические системы» (www.mathnet.ru/conf2533) под руководством С.Л. Кузнецова (homepage.mi-ras.ru/~sk/) и С.О. Сперанского (homepage.mi-ras.ru/~speranski/)
Время: 15 апреля 2025, начало — в 16:00
Место: МИАН, ком. 303 + Контур.Толк
Сергей Славнов (НИУ ВШЭ, https://www.hse.ru/org/persons/61709453/)
Индексированное исчисление Ламбека с передвижением
Исчисление Ламбека обычно интерпретируют как логику строк и конкатенации строк; именно в таком качестве оно используется в лингвистических приложениях. Однако давно замечено, что с точки зрения лингвистических приложений такой простой структуры обычно оказывается недостаточно, и требуется рассматривать более сложные объекты и операции.
Мы определяем специфическую алгебру термов, которые обозначают упорядоченные последовательности строк и могут комбинироваться между собой более сложными способами, чем простая конкатенация. Далее мы вводим систему типов для таких термов. Эта система представляет собой неассоциативное, но частично коммутативное расширение исчисления Ламбека, которое нам кажется с одной стороны достаточно простым и интересным, а с другой стороны достаточно выразительным.
➰ ВК
👍2🔥1🤔1
#матлог
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
11 апреля (пятница) в 18.30 состоится очередное заседание исследовательского семинара "Формальная философия".
Тема доклада: Black Boxes: The Semantics and Logic of Obliterative Modalities.
Докладчик: Элиа Дзардини.
Аннотация: If we wish to analyse knowability (and similar notions) in terms of some kind of possibility of knowledge, troubles quickly arise if the possibility in question is supposed to obey some very basic modal principles (like law 4 or the law of distribution). In this paper, I first provide an informal explanation of the notion of possibility in question. I then proceed to show how this informal explanation can be turned into a natural formal possible-world semantics with a multiplicity of accessibility relations, which gives rise to a nonregular modal logic that avoids the above-mentioned troubles. After introducing a sound and complete axiomatization of the logic, I close by mentioning some philosophically interesting directions in which the basic system can be extended or modified.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1033740295.html
➰ ВК
--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
11 апреля (пятница) в 18.30 состоится очередное заседание исследовательского семинара "Формальная философия".
Тема доклада: Black Boxes: The Semantics and Logic of Obliterative Modalities.
Докладчик: Элиа Дзардини.
Аннотация: If we wish to analyse knowability (and similar notions) in terms of some kind of possibility of knowledge, troubles quickly arise if the possibility in question is supposed to obey some very basic modal principles (like law 4 or the law of distribution). In this paper, I first provide an informal explanation of the notion of possibility in question. I then proceed to show how this informal explanation can be turned into a natural formal possible-world semantics with a multiplicity of accessibility relations, which gives rise to a nonregular modal logic that avoids the above-mentioned troubles. After introducing a sound and complete axiomatization of the logic, I close by mentioning some philosophically interesting directions in which the basic system can be extended or modified.
Ждём вас в кабинете А-117 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1033740295.html
➰ ВК
ВКонтакте
Логика, лингвистика и формальная философия
Неофициальная страница Международной лаборатории логики, лингвистики и формальной философии (МЛ ЛогЛинФФ). Мы на YouTube: https://www.youtube.com/channel/UC7CqNTt_I2dE6Nr4kAEGpgQ Мы в Телеграмме: https://news.1rj.ru/str/form_phil Наша рассылка: https://llfp.hse.ru/…
❤1
#матлог #учёба #семинар #не_мехмат #ВШЭ
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 11.04.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Никита Лукашов
Название: Алгебраическая унификация в модальных логиках
Аннотация:
Проблема символической унификации для логики L — это достаточно естественный вопрос, имеет ли данная формула \phi унификатор в логике L. Другими словами, существует ли такая подстановка \sigma для формулы \phi, что постановочный пример \sigma(\phi) является теоремой логики L. Несмотря на простоту формулировки, проблема унификации является довольно сложной, и ещё многое предстоит сделать в этой области.
В своём докладе я предоставлю алгебраический взгляд на проблему унификации в нормальных модальных логиках. Точнее, мы посмотрим на проблему унификации в этих логиках с точки зрения алгебраической семантики. По ходу доклада мы определим модальные алгебры для произвольных нормальных модальных логик и докажем их универсальные свойства. Затем мы подробно поговорим про проективные алгебры и их эквивалентные определения (в частности, покажем их связь с проективными формулами). После чего мы определим алгебраический тип унификации через эти проективные алгебры и докажем фундаментальную теорему, утверждающую, что два типа унификации — алгебраический и символический — для произвольных нормальных модальных логик совпадают.
В заключение мы поговорим про точные формулы в нормальных модальных логиках, об условии, которое они задают для модальных алгебр, и получим новое алгебраическое доказательство известного факта, что проективные формулы всегда являются точными. Наконец, с помощью результатов С. Гильярди мы покажем, что в некоторых модальных логиках, таких как K4, S4, GL и др., верно обратное, т.е. точные и проективные формулы в этих логиках совпадают.
➰ ВК
Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.
Дата и время: 11.04.2025 в 16:20
Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog
Докладчик: Никита Лукашов
Название: Алгебраическая унификация в модальных логиках
Аннотация:
Проблема символической унификации для логики L — это достаточно естественный вопрос, имеет ли данная формула \phi унификатор в логике L. Другими словами, существует ли такая подстановка \sigma для формулы \phi, что постановочный пример \sigma(\phi) является теоремой логики L. Несмотря на простоту формулировки, проблема унификации является довольно сложной, и ещё многое предстоит сделать в этой области.
В своём докладе я предоставлю алгебраический взгляд на проблему унификации в нормальных модальных логиках. Точнее, мы посмотрим на проблему унификации в этих логиках с точки зрения алгебраической семантики. По ходу доклада мы определим модальные алгебры для произвольных нормальных модальных логик и докажем их универсальные свойства. Затем мы подробно поговорим про проективные алгебры и их эквивалентные определения (в частности, покажем их связь с проективными формулами). После чего мы определим алгебраический тип унификации через эти проективные алгебры и докажем фундаментальную теорему, утверждающую, что два типа унификации — алгебраический и символический — для произвольных нормальных модальных логик совпадают.
В заключение мы поговорим про точные формулы в нормальных модальных логиках, об условии, которое они задают для модальных алгебр, и получим новое алгебраическое доказательство известного факта, что проективные формулы всегда являются точными. Наконец, с помощью результатов С. Гильярди мы покажем, что в некоторых модальных логиках, таких как K4, S4, GL и др., верно обратное, т.е. точные и проективные формулы в этих логиках совпадают.
➰ ВК
YouTube
Логика в Москве
Share your videos with friends, family, and the world
#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД
Logic Online Seminar, Monday 16:00 MSK (UTC+3), Room 313 MIAN + Kontur Talk (www.mathnet.ru/eng/conf876)
14.04.2025 L. D. Beklemishev: Fragments of arithmetic and cyclic proofs (onsite, https://homepage.mi-ras.ru/~bekl/)
(jww with Daniyar Shamkanov and Ivan Smirnov)
We present an alternative cyclic proof system for Peano arithmetic that could be simpler than the existing ones and well-adapted both for proof analysis and for automatizing inductive proof search. In addition, we show how various traditional subsystems of Peano arithmetic defined by restricted forms of induction can be represented as fragments of the proposed system.
➰ ВК
Logic Online Seminar, Monday 16:00 MSK (UTC+3), Room 313 MIAN + Kontur Talk (www.mathnet.ru/eng/conf876)
14.04.2025 L. D. Beklemishev: Fragments of arithmetic and cyclic proofs (onsite, https://homepage.mi-ras.ru/~bekl/)
(jww with Daniyar Shamkanov and Ivan Smirnov)
We present an alternative cyclic proof system for Peano arithmetic that could be simpler than the existing ones and well-adapted both for proof analysis and for automatizing inductive proof search. In addition, we show how various traditional subsystems of Peano arithmetic defined by restricted forms of induction can be represented as fragments of the proposed system.
➰ ВК
#матлог #учёба #спецсеминар
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
21 April 2025, 17.30 CET = 18.30 Moscow time
Speaker: Ivan Baburin
Title: Universality in Asynchronous Cellular Automata
Abstract:
A cellular automaton is a dynamical system consisting of an infinite array of cells, such that each cell uses a local neighborhood to perform a transition. An asynchronous cellular automaton (ACA) is a modification of cellular automata where every cell can update at is own tempo, without the need for global synchronization. In this talk we survey computational abilities of asynchronous cellular automata and show that—despite their fundamental differences—most asynchronous automata can invariantly “simulate” their synchronous counterparts [1]. To achieve that, we present two characterizations of invariance in asynchronous automata: – An algebraic approach using the notion of commutativity, as introduced by G´acs [2]. – A novel computational approach using flip automata networks, which additionally allows for simpler simulations and can be used to construct some of the smallest universal ACAs [3]. Finally, we discuss the limits of asynchronous computation by demonstrating that for certain automata neither universality nor reliable simulation can be achieved. Further Reading More details can be found in the corresponding paper [3].
References
1. T. Worsch, “Towards intrinsically universal asynchronous ca,” Natural Computing, vol. 12, no. 4, pp. 539–550, 2013.
2. P. Gacs, “Deterministic computations whose history is independent of the order of asynchronous updating,” 2001.
3. I. Baburin, M. Cook, F. Gr¨otschla, A. Plesner, and R. Wattenhofer, “Universality frontier for asynchronous cellular automata,” 2025.
➰ ВК
Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)
21 April 2025, 17.30 CET = 18.30 Moscow time
Speaker: Ivan Baburin
Title: Universality in Asynchronous Cellular Automata
Abstract:
A cellular automaton is a dynamical system consisting of an infinite array of cells, such that each cell uses a local neighborhood to perform a transition. An asynchronous cellular automaton (ACA) is a modification of cellular automata where every cell can update at is own tempo, without the need for global synchronization. In this talk we survey computational abilities of asynchronous cellular automata and show that—despite their fundamental differences—most asynchronous automata can invariantly “simulate” their synchronous counterparts [1]. To achieve that, we present two characterizations of invariance in asynchronous automata: – An algebraic approach using the notion of commutativity, as introduced by G´acs [2]. – A novel computational approach using flip automata networks, which additionally allows for simpler simulations and can be used to construct some of the smallest universal ACAs [3]. Finally, we discuss the limits of asynchronous computation by demonstrating that for certain automata neither universality nor reliable simulation can be achieved. Further Reading More details can be found in the corresponding paper [3].
References
1. T. Worsch, “Towards intrinsically universal asynchronous ca,” Natural Computing, vol. 12, no. 4, pp. 539–550, 2013.
2. P. Gacs, “Deterministic computations whose history is independent of the order of asynchronous updating,” 2001.
3. I. Baburin, M. Cook, F. Gr¨otschla, A. Plesner, and R. Wattenhofer, “Universality frontier for asynchronous cellular automata,” 2025.
➰ ВК
VK
Кафедра математической логики МГУ. Пост со стены.
#матлог #учёба #спецсеминар
Kolmogorov seminar on complexity (for receive the zoom link, plea... Смотрите полностью ВКонтакте.
Kolmogorov seminar on complexity (for receive the zoom link, plea... Смотрите полностью ВКонтакте.