Мир сегодня с "Юрий Подоляка"

Труха⚡️Україна

Паглядзець

Николаевский Ванёк

Паглядзець

Мир сегодня с "Юрий Подоляка"

Паглядзець

Труха⚡️Україна

Паглядзець

Николаевский Ванёк

Паглядзець

Кафедра математической логики и теории алгоритмов мехмата МГУ

Учёный секретарь кафедры @ansidiana

Рэйтынг TGlist

ТыпПублічны

Вертыфікацыя

Не вертыфікаваны

Надзейнасць

Не надзейны

Размяшчэнне

МоваІншая

Дата стварэння каналаSep 05, 2024

Дадана ў TGlist

Apr 01, 2025

Я ўладальнік канала

Гісторыя змяненняў

Прыкрепленая група

Кафедра математической логики и теории алгоритмов мехмата МГУ Chat

Статыстыка Тэлеграм-канала Кафедра математической логики и теории алгоритмов мехмата МГУ

Падрабязней

Падпісчыкаў

185

24 гадз.0-0.1%Тыдзень

1-0.5%Месяц

1-0.5%

Індэкс цытавання

0

Згадкі0Рэпостаў на каналах0Згадкі на каналах0

Сярэдняе ахоп 1 паста

128

12 гадз.1280%24 гадз.128

37.6%48 гадз.93

31.1%

Узаемадзеянне (ER)

9.68%

Рэпостаў1Каментары0Рэакцыі7

Узаемадзеянне па ахопу (ERR)

50.27%

24 гадз.0%Тыдзень0%Месяц0%

Ахоп 1 рэкламнага паста

128

1 гадз.00%1 – 4 гадз.00%4 - 24 гадз.00%

Падрабязней

Падключыце нашага бота да канала і даведайцеся пол аўдыторыі гэтага канала.

Усяго пастоў за 24 гадзіны

0

Дынаміка

Апошнія публікацыі ў групе "Кафедра математической логики и теории алгоритмов мехмата МГУ"

Усе пасты

03.04.202518:15

#матлог #конференция

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)

➰ ВК

01.04.202520:51

#матлог #наука

Представляем вашему вниманию презентацию профессора нашей кафедры Шехтмана Валентина Борисовича, которая демонстрировалась сегодня на встрече кафедры со студентами второго курса!

В этой короткой презентации сформулированы целых две интереснейшие открытые проблемы 😱

📝 present25n.pdf

➰ ВК

01.04.202519:58

#матлог #учёба #просеминар

💥В четверг 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

➰ ВК

01.04.202508:20

#матлог #спецсеминар #не_мехмат #МФТИ

Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 2 апреля.
Время проведения семинара 14:00.

‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.

Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.

К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.

Докладчик: Антон Кащенко

Тема: Топологический квадрат логики S4.1

Аннотация.

Существует много способов комбинирования модальных логик. Помимо соединений и произведений, основанных на семантике Крипке, рассматриваются также и топологические произведения. Они были впервые введены Й. ван Бентемом с соавторами в 2006 году и представляют собой естественный способ комбинирования логик, основанный на топологической интерпретации модальностей. Известно, что топологическое произведение двух модальных логик находится между их соединением и произведением. В работе А.В. Кудинова приводится пример топологического произведения (а именно произведение логик S4 и S4.1), находящегося строго между соединением и расширяющимся произведением. Топологический квадрат логики S4.1 (это логика S4 с аксиомой Маккинси) также оказался нетривиальным произведением. Кроме того, эти топологические произведения оказались финитно аппроксимируемыми и разрешимыми, в отличии от Крипке-произведений этих логик, которые являются неразрешимыми. В этом докладе будут рассмотрены оба этих произведения.

➰ ВК

31.03.202519:13

#матлог

--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия

4 апреля (пятница) в 18.30 состоится очередное заседание исследовательского семинара "From the Logical Point of View".

Тема доклада: Эпистемология математики между прагматизмом и эмпиризмом.

Докладчик: Арсен Вольский.

Аннотация: Традиционные исследования в области эпистемологии математики часто предполагают, что математические утверждения обладают априорной природой и абсолютной достоверностью, доказательства в математике не вызывают сомнений, а их критерии остаются неизменными, исторический контекст математических практик при этом игнорируется как не имеющий отношения к, собственно, эпистемологическому анализу. В своём докладе я предлагаю альтернативный взгляд на эпистемологию математики, который сближает её с эпистемологией естественных наук, представляющий собой промежуточную позицию между эмпиризмом и прагматизмом.

Ждём вас в кабинете А-117 или в Zoom!

Анонс: https://llfp.hse.ru/announcements/1030074442.h

➰ ВК

31.03.202519:13

#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

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.

➰ ВК

31.03.202514:53

#матлог #конференция

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/

➰ ВК

30.03.202515:05

#матлог #конференция

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

➰ ВК

28.03.202515:29

#матлог #учёба #спецсеминар

Семинар «Вероятностные и субструктурные логические системы» (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.

➰ ВК

28.03.202515:29

#матлог #новости

⚡Встреча кафедры математической логики и теории алгоритмов со студентами 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/

➰ ВК

27.03.202508:30

24.03.202517:18

18.01.202506:37

#матлог #учёба #семинар #не_мехмат #ВШЭ

Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.

Дата и время: 17.01.2025 в 16:20

Семинар пройдет в формате ZOOM, для получения ссылки пишите на почту kudinov.andrey@gmail.com.

Видео докладов выкладываются на канале: https://www.youtube.com/channel/UC_Aq6N03uRgVkEcvS6lJLog

Докладчик: Тихон Пшеницын

Название: Введение в гиперарифметическую иерархию

Аннотация:

Многим известна арифметическая иерархия, которая классифицирует неразрешимые множества, задаваемые арифметическими формулами первого порядка. Также на слуху аналитическая иерархия, определяемая аналогичным образом с помощью логики второго порядка. Однако менее популярна гиперарифметическая иерархия, которая заполняет пробел между арифметической и аналитической иерархиями. В гиперарифметической иерархии определяются уровни Σ^0_α и Π^0_α не только для натуральных α, но и для всех конструктивных ординалов. Мы начнем с аккуратного введения гиперарифметической иерархии, обсудим ее основные свойства. Будет приведен пример Σ^0_α-полного множества вычислимых инфинитарных формул в простейшем языке (эти формулы строятся из констант "истина" и "ложь" с помощью вычислимых конъюнкций и дизъюнкций). После этого будет приведено несколько примеров логик, задача выводимости в которых имеет гиперарифметический уровень сложности (эти результаты получены в работах С.Л. Кузнецова, С.О. Сперанского и докладчика, в том числе в соавторстве).

🔗 Логика в Москве

➰ ВК

18.01.202506:14

#матлог #конфереция #ВМК

Факультет вычислительной математики и кибернетики Московского государственного университета им. М.В. Ломоносова приглашает Вас принять участие в однодневной научно-практической конференции, посвящённой 100-летию со дня рождения создателя троичных ЭВМ Николая Петровича Брусенцова, которая состоится 7 февраля 2025 года по адресу: Москва, Ленинские горы, МГУ им. М.В. Ломоносова, 2-й учебный корпус, факультет ВМК, аудитория П-8а.

Начало регистрации – 13-30, начало докладов – 14-00.

Основные темы конференции:
• история создания и использования троичных машин, сохранение наследия;
• математические исследования, связанные с троичным представлением чисел и логических отношений;
• перспективы использования троичной вычислительной техники и алгоритмов.

Все необходимые для участия в конференции материалы размещены на интернет-странице по адресу: http://ternarycomp.cs.msu.ru/100.html.

Для регистрации на конференции используйте, пожалуйста, страницу https://conf.msu.ru/rus/event/9380/ или сообщите о намерении участвовать на адрес brusentsov100@cs.msu.ru.

📝 Конференция 100 лет Брусенцову.pdf

➰ ВК

Усе пасты

Нічога не знойдзена 😢

Падрабязней

Рэкорды

01.04.202523:59

186Падпісчыкаў

13.01.202523:59

0Індэкс цытавання

31.01.202523:59

218Ахоп 1 паста

31.01.202523:59

218Ахоп рэкламнага паста

03.04.202520:02

9.68%ER

01.04.202512:20

107.53%ERR

Развіццё

Падрабязней

Падпісчыкаў

Індэкс цытавання

Ахоп 1 паста

Ахоп рэкламнага паста

ERR

Падрабязней

Папулярныя публікацыі Кафедра математической логики и теории алгоритмов мехмата МГУ

Усе пасты

01.04.202520:51

01.04.202508:20

30.03.202515:05

01.04.202519:58

28.03.202515:29

31.03.202514:53

31.03.202519:13

27.03.202508:30

24.03.202517:18

31.03.202519:13

03.04.202518:15

28.03.202515:29

31.03.202519:13

Увайдзіце, каб разблакаваць больш функцый.