RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB


Семинар отдела математической логики «Теория доказательств»
online на платформе Zoom, г. Москва

Просьба ко всем участникам, в том числе смотрящим видеозаписи,
зарегистрироваться по ссылке: https://forms.gle/G8eCQuuxVQgmQG4M7.


Семинар проходит по понедельникам в 18:30.

Объявления C 23.03 в связи с эпидемической обстановкой семинар переходит в удаленный режим. Доклады будут происходить в режиме видеоконференции Zoom. В дальнейшем записи докладов будут выкладываться здесь и на YouTube канале МЦМУ МИАН. Присоединиться к очередной конференции можно будет по ссылке в объявлениях на английской странице этого семинара.

Прошедшие доклады

06.04.2020 David Fernandez-Duque (University of Ghent): Goodstein principles of intermediate strength

13.04.2020 Dexter Kozen (Cornell University): On Free ω-Continuous and Regular Ordered Algebras

20.04.2020 Stanislav O. Speranski (St. Petersburg State University & Steklov Mathematical Institute): Negation as a modality in a quantified setting

27.04.2020 Guram Bezhanishvili (New Mexico State University): Existence of measurable cardinals and modal logic

4.05.2020 Johann Makowsky (Technion, Haifa): Specker's work on counting labeled finite graphs (in honour of E. Specker's 100th birthday)

18.05.2020 Gabriel Nivasch (Ariel University, Israel): Fusible numbers and Peano Arithmetic

26-27.05.2020 Everyone is invited to attend S.I. Adian memorial conference.

22.06.2020 Данияр Шамканов (МИАН): О глобальной окрестностной полноте логики доказуемости GLP.

6.07.2020 Andreas Weiermann (University of Ghent): Giant and illusionary giant Goodstein principles

13.07.2020 David Bélanger (University of Ghent): A more uniform Friedberg-Muchnik theorem

12.10.2020 Ali Enayat (University of Gothenburg): Set theory with a proper class of indiscernibles

19.10.2020 Fedor Pakhomov (Steklov Mathematical Institute and University of Ghent): Iterated ω-model reflection and Π¹₂ proof-theoretic analysis.

26.10.2020 Stepan Kuznetsov (Steklov Mathematical Institute): Decidable fragments of the Lambek calculus with subexponentials

27.10.2020 S.I. Adian Seminar, 18:30 MSK (UTC+3), A.A. Razborov (University of Chicago and Steklov Mathematical Institute): SAT Solvers and Ordered Decision Strategies

02.11.2020 Anna Dmitrieva (ILLC, University of Amsterdam): Axiomatizing Origami planes

09.11.2020 Christian Wurm (HHU Düsseldorf): Language-theoretic models for the Full Lambek calculus

17-18.11.2020 Logical Perspectives Open Lectures: Yuri Gurevich, Anil Nerode, Barbara Partee.

23.11.2020 Guram Bezhanishvili (New Mexico State University): Modal operators on rings of continuous functions: A generalization of Gelfand and Jonsson-Tarski dualities

30.11.2020 Tadeusz Litak (Friedrich-Alexander Universität Erlangen-Nürnberg): Describable Nuclei, Negative Translations and Extension Stability

7.12.2020 Tadeusz Litak: Describable Nuclei, Negative Translations and Extension Stability (continuation)

14.12.2020 Albert Visser (Utrecht University): Cyclic Henkin Logic

21.12.2020 Albert Visser: Cyclic Henkin Logic (continuation)

18.01.2021 Rosalie Iemhoff (University of Utrecht): The role of uniform interpolation in structural proof theory

15.02.2021 Wei Chen (Huawei, Edinburgh): Automated Mathematical Theorem Proving

Abstract: Mathematical discovery and reasoning is considered as the most creative activity of human wisdom. Mathematicians have been investigating the nature of human reasoning and problem solving. In particular, Polya published several books on this topic in 1960s, which are still very inspiring for current research. From 1970s, logicians and computer scientists have been investigating and developing so-called theorem provers to produce proofs automatically and to check human proofs using machines. Invented by de Bruijn, Automath is the first machine checkable language for expressing mathematics, and most modern interactive theorem provers are variants of Edinburgh LCF developed by Gordon and Milner. But there is still a gap between human and mechanical reasoning: precious human intelligence is spent on proving tedious and trivial theorems which are indispensable for machines to check the correctness and integrity of a proof.

We propose to shrink the gap by developing automated theorem provers for human reasoning. Except the automation of logic inference strategies and skills, the main planned innovations are: proving on abstract domains and generalising from cases. We will investigate and implement the mechanism to discover and exploit morphisms between algebraic systems, e.g., duality, quotient sets, Galois connection and insertion, etc., so as to simplify proofs by making use of collapsed structures. We want to equip the theorem prover with the generalisation capability such that they can explore known facts and develop conjectures from cases then prove or refute them automatically. We will adapt the equational proof style as the interface and the LCF style as the internal representation. By doing this, we are able to produce human readable and machine checkable proofs.

These innovations will potentially benefit the development of other research areas, including: search engines, design automation, neural computation, etc. Due to the mechanism of relying and learning from humans in case that the system is stuck, we are able to answer more complex queries, to avoid unnecessary searching, and to accelerate by exploit specific structures. We expect optimistically these benefits brought by techniques developed in this proposed research.

Предстоящие доклады

1.03.2021 Максим Вишникин (МГУ): Базовые категориальные грамматики с однозначным присвоением типов

Аннотация: Понятие базовой категориальной грамматики (БКГ) восходит к работам Айдукевича (1934) и Бар-Хиллела (1953). В БКГ каждая буква алфавита сопоставляется нескольким типам (категориям), а слово принадлежит язы- ку, если хотя бы для одного выбора этих типов выводима соответствующая секвенция. Известно, что для любой контекстно-свободной грамматики су- ществует БКГ, задающая тот же язык (возможно, за вычетом пустого сло- ва). Верно и обратное.

В основной части доклада планируется рассмотреть результаты связан- ные с определением автоматности языка заданного БКГ с однозначным присвоением типов. Будут доказаны необходимые условия автоматности языка. Также планируется рассмотреть связь между графом (который мож- но построить по БКГ) и необходимыми условиями автоматности.

The login information to join the Zoom meetings of Logic Online Seminar is available via the mailing lists above.

Финансовая поддержка. Семинар проводится при финансовой поддержке Минобрнауки России (грант на создание и развитие МЦМУ МИАН, соглашение № 075-15-2019-1614).

Website: https://www.youtube.com/playlist?list=PLUbD59ZHv1GQZzqUyqtjoYp5BxbOQw3d2
RSS: Ближайшие семинары

Руководитель семинара
Беклемишев Лев Дмитриевич

Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН)


Семинар отдела математической логики «Теория доказательств», г. Москва

15 февраля 2021 г. (пн)
1. Automated Mathematical Theorem Proving
Wei Chen
15 февраля 2021 г. 18:30, г. Москва, online ZOOM
Wei Chen
  

18 января 2021 г. (пн)
2. The role of uniform interpolation in structural proof theory
R. Iemhoff
18 января 2021 г. 18:30, г. Москва, online на платформе Zoom
R. Iemhoff
  

21 декабря 2020 г. (пн)
3. Cyclic Henkin Logic (continuation)
A. Visser
21 декабря 2020 г. 18:30, г. Москва, online на платформе Zoom

14 декабря 2020 г. (пн)
4. Cyclic Henkin Logic
A. Visser
14 декабря 2020 г. 18:30, г. Москва, online на платформе Zoom
A. Visser
  

7 декабря 2020 г. (пн)
5. Describable Nuclea, Negative Translations and Extension Stability (continuation)
Tadeusz Litak
7 декабря 2020 г. 18:30, г. Москва, online на платформе Zoom
Tadeusz Litak
  

30 ноября 2020 г. (пн)
6. Describable Nuclea, Negative Translations and Extension Stability
Tadeusz Litak
30 ноября 2020 г. 18:30, г. Москва, online на платформе Zoom
Tadeusz Litak
  

23 ноября 2020 г. (пн)
7. Modal operators on rings of continuous functions: A generalization of Gelfand and Jonsson-Tarski dualities
Guram Bezhanishvili
23 ноября 2020 г. 18:30, г. Москва, online на платформе Zoom
Guram Bezhanishvili
  

9 ноября 2020 г. (пн)
8. Language-theoretic models for the Full Lambek calculus
Christian Wurm
9 ноября 2020 г. 18:30, г. Москва, online на платформе Zoom
Christian Wurm
  

2 ноября 2020 г. (пн)
9. Axiomatizing Origami planes
Anna Dmitrieva
2 ноября 2020 г. 18:30, г. Москва, online на платформе Zoom
Anna Dmitrieva
  

26 октября 2020 г. (пн)
10. Decidable fragments of the Lambek calculus with subexponentials
S. L. Kuznetsov
26 октября 2020 г. 18:30, г. Москва, online на платформе Zoom
S. L. Kuznetsov
  

19 октября 2020 г. (пн)
11. Iterated $\omega$-model reflection and $\Pi^1_2$ proof-theoretic analysis
F. N. Pakhomov
19 октября 2020 г. 18:30, г. Москва, online на платформе Zoom
F. N. Pakhomov
  

12 октября 2020 г. (пн)
12. Set theory with a proper class of indiscernibles
A. Enayat
12 октября 2020 г. 18:30, г. Москва, online на платформе Zoom
A. Enayat
  

13 июля 2020 г. (пн)
13. A more uniform Friedberg-Muchnik theorem
David Belanger
13 июля 2020 г. 18:30, г. Москва, online
David Belanger
  

6 июля 2020 г. (пн)
14. Giant and illusionary giant Goodstein principles
Andreas Weiermann
6 июля 2020 г. 17:30, г. Москва, online на платформе Zoom
Andreas Weiermann
  

22 июня 2020 г. (пн)
15. О глобальной окрестностной полноте логики доказуемости GLP
Д. С. Шамканов
22 июня 2020 г. 17:30, г. Москва, online
  

18 мая 2020 г. (пн)
16. Fusible numbers and Peano Arithmetic
Gabriel Nivasch
18 мая 2020 г. 18:30, г. Москва, online
Gabriel Nivasch
  

4 мая 2020 г. (пн)
17. Specker's work on counting labeled finite graphs (in honour of E. Specker's 100th birthday)
Johann Makowsky
4 мая 2020 г. 18:30, г. Москва, online на платформе Zoom
Johann Makowsky
  

27 апреля 2020 г. (пн)
18. Existence of measurable cardinals and modal logic
Guram Bezhanishvili
27 апреля 2020 г. 17:30, г. Москва, online
Guram Bezhanishvili
  

20 апреля 2020 г. (пн)
19. Negation as a modality in a quantified setting
S. O. Speranski
20 апреля 2020 г. 18:30, г. Москва, online
S. O. Speranski
  

13 апреля 2020 г. (пн)
20. On Free $\omega$-Continuous and Regular Ordered Algebras
Dexter Kozen
13 апреля 2020 г. 18:30, г. Москва, online
Dexter Kozen
  

6 апреля 2020 г. (пн)
21. Goodstein principles of intermediate strength
D. Fernández-Duque
6 апреля 2020 г. 18:30, г. Москва, online
D. Fernández-Duque
  

23 марта 2020 г. (пн)
22. On the logical complexity of cyclic arithmetic
Anupam Das
23 марта 2020 г. 18:30, г. Москва, online
Anupam Das
  

16 марта 2020 г. (пн)
23. Предикатный вариант совместной логики задач и высказываний
А. А. Оноприенко
16 марта 2020 г. 18:30, г. Москва, online на платформе Zoom
А. А. Оноприенко
  

2 марта 2020 г. (пн)
24. О принципах редукции и отделимости в тихоновских пространствах.
Д. И. Савельев
2 марта 2020 г. 18:30, г. Москва, online на платформе Zoom
Д. И. Савельев
  

17 февраля 2020 г. (пн)
25. From forcing to satisfaction in Kripke models of intuitionistic predicate logic
Maryam Abiri
17 февраля 2020 г. 18:30, г. Москва, online на платформе Zoom

16 декабря 2019 г. (пн)
26. Decidable and undecidable problems for modal definability and first-order definability
Philippe Balbiani
16 декабря 2019 г. 18:30, г. Москва, online на платформе Zoom
Philippe Balbiani
  

9 декабря 2019 г. (пн)
27. Об окрестностной семантике логики доказуемости Линдстрёма
D. S. Shamkanov
9 декабря 2019 г. 18:30, г. Москва, online на платформе Zoom
D. S. Shamkanov
  

2 декабря 2019 г. (пн)
28. Интерпретация линейных порядков в арифметике Пресбургера и гипотеза Виссера
А. А. Запрягаев
2 декабря 2019 г. 18:30, г. Москва, online на платформе Zoom
А. А. Запрягаев
  

25 ноября 2019 г. (пн)
29. Интерпретация линейных порядков в арифметике Пресбургера и гипотеза Виссера
А. А. Запрягаев
25 ноября 2019 г. 18:30, г. Москва, online на платформе Zoom
А. А. Запрягаев
  

11 ноября 2019 г. (пн)
30. Determined admissible sets
Juan Aguilera
11 ноября 2019 г. 18:30, г. Москва, online на платформе Zoom
Juan Aguilera
  

28 октября 2019 г. (пн)
31. Бар-индукция для классов в арифметике второго порядка
Ф. Н. Пахомов
28 октября 2019 г. 18:30, г. Москва, online на платформе Zoom
Ф. Н. Пахомов
  

21 октября 2019 г. (пн)
32. Бар-индукция для классов в арифметике второго порядка
Ф. Н. Пахомов
21 октября 2019 г. 18:30, г. Москва, online на платформе Zoom
Ф. Н. Пахомов
  

14 октября 2019 г. (пн)
33. Об открытых вопросах теории доказательств
Л. Д. Беклемишев
14 октября 2019 г., г. Москва, online на платформе Zoom
Л. Д. Беклемишев

7 октября 2019 г. (пн)
34. Локали, ядра и шкалы Драгалина. Лекция 2.
Д. Д. Рогозин
7 октября 2019 г. 18:30, г. Москва, online на платформе Zoom
Д. Д. Рогозин
  

30 сентября 2019 г. (пн)
35. Локали, ядра и шкалы Драгалина
Д. Д. Рогозин
30 сентября 2019 г. 18:30, г. Москва, online на платформе Zoom
Д. Д. Рогозин
  

28 августа 2019 г. (ср)
36. Локально конечные модальные алгебры и фильтрации моделей Крипке
И. Б. Шапировский
28 августа 2019 г. 17:00, г. Москва, online на платформе Zoom

24 июня 2019 г. (пн)
37. О разрешимости ∀∃-теории решётки Σ₁-предложений арифметики Пеано
Е. А. Колмаков
24 июня 2019 г. 18:30, г. Москва, online на платформе Zoom
Е. А. Колмаков
  

20 мая 2019 г. (пн)
38. О разрешимости ∀∃-теории решётки Σ₁-предложений арифметики Пеано
Е. А. Колмаков
20 мая 2019 г. 18:30, г. Москва, online на платформе Zoom
Е. А. Колмаков
  

13 мая 2019 г. (пн)
39. How strong are derivatives of normal functions?
Антон Фройнд
13 мая 2019 г. 18:30, г. Москва, online на платформе Zoom
Антон Фройнд
  

29 апреля 2019 г. (пн)
40. Итерированные определения истинности и исчисление рефлексий
Л. Д. Беклемишев
29 апреля 2019 г. 18:30, г. Москва, online на платформе Zoom
Л. Д. Беклемишев
  

22 апреля 2019 г. (пн)
41. Итерированные определения истинности и исчисление рефлексий
22 апреля 2019 г. 18:30, г. Москва, online на платформе Zoom
  

15 апреля 2019 г. (пн)
42. Итерации $\Pi^1_1$-рефлексии
Ф. Н. Пахомов
15 апреля 2019 г. 18:30, г. Москва, online на платформе Zoom
Ф. Н. Пахомов
  

8 апреля 2019 г. (пн)
43. Итерации $\Pi^1_1$-рефлексии
Ф. Н. Пахомов
8 апреля 2019 г. 18:30, г. Москва, online на платформе Zoom
Ф. Н. Пахомов
  

1 апреля 2019 г. (пн)
44. О первопорядковой выразимости выполнимости в подмоделях
Д. И. Савельев
1 апреля 2019 г. 18:30, г. Москва, online на платформе Zoom

25 марта 2019 г. (пн)
45. Модальные логики предикатов с одной переменной, полупроизведения и симплициальная семантика
В. Б. Шехтман
25 марта 2019 г. 20:55, г. Москва, online на платформе Zoom
В. Б. Шехтман
  

18 марта 2019 г. (пн)
46. Модальные логики предикатов с одной переменной, полупроизведения и симплициальная семантика
В. Б. Шехтман
18 марта 2019 г. 18:30, г. Москва, online на платформе Zoom
В. Б. Шехтман
  

4 марта 2019 г. (пн)
47. Модели исчисления Ламбека с субэкпоненциалами
Рогозин Даниил Дмитриевич
4 марта 2019 г. 18:30, г. Москва, online на платформе Zoom
Рогозин Даниил Дмитриевич
  

25 февраля 2019 г. (пн)
48. Cимуляции пропозициональных доказательств в конечнозначных логиках Лукасевича
Кожемяченко Даниил Андреевич
25 февраля 2019 г. 18:30, г. Москва, online на платформе Zoom
Кожемяченко Даниил Андреевич
  

18 февраля 2019 г. (пн)
49. Об изоморфизме $\kappa$-плотных множеств вещественных чисел и близких вопросах
Д. И. Савельев
18 февраля 2019 г. 18:30, г. Москва, online на платформе Zoom

11 февраля 2019 г. (пн)
50. О работе Й. Маковского "Can one design a geometry engine?"
Анна Дмитриева
11 февраля 2019 г. 18:30, г. Москва, online на платформе Zoom

17 декабря 2018 г. (пн)
51. Исчисления и поиск вывода для бесконечнозначной логики Лукасевича первого порядка
А. С. Герасимов
17 декабря 2018 г. 18:30, г. Москва, online на платформе Zoom
А. С. Герасимов
  

26 ноября 2018 г. (пн)
52. О новом методе ординального анализа теории множеств Крипке-Платека
Ф. Н. Пахомов
26 ноября 2018 г. 18:30, г. Москва, online на платформе Zoom
Ф. Н. Пахомов
  

12 ноября 2018 г. (пн)
53. О новом методе ординального анализа теории множеств Крипке-Платека
Ф. Н. Пахомов
12 ноября 2018 г. 18:30, г. Москва, online на платформе Zoom
Ф. Н. Пахомов
  

29 октября 2018 г. (пн)
54. Неразрешимость логики решёток Клини с делениями
С. Л. Кузнецов
29 октября 2018 г. 18:30, г. Москва, online на платформе Zoom
С. Л. Кузнецов
  

22 октября 2018 г. (пн)
55. "Paradoxical" sets with no well-ordering of the reals
Ralf Schindler
22 октября 2018 г. 18:30, г. Москва, online на платформе Zoom
Ralf Schindler
  

15 октября 2018 г. (пн)
56. "Paradoxical" sets with no well-ordering of the reals
Ralf Schindler
15 октября 2018 г. 18:30, г. Москва, online на платформе Zoom
Ralf Schindler
  

8 октября 2018 г. (пн)
57. О модальных напарниках K4
М. В. Святловский
8 октября 2018 г. 18:30, г. Москва, online на платформе Zoom

1 октября 2018 г. (пн)
58. Системы инцидентности на декартовых степенях алгебраических кривых
Дмитрий Сустретов
1 октября 2018 г. 18:30, г. Москва, online на платформе Zoom
Дмитрий Сустретов
  

24 сентября 2018 г. (пн)
59. Системы инцидентности на декартовых степенях алгебраических кривых
Дмитрий Сустретов
24 сентября 2018 г. 18:30, г. Москва, online на платформе Zoom
Дмитрий Сустретов
  

10 сентября 2018 г. (пн)
60. Glivenko's theorem, finite height, and local finiteness
И. Б. Шапировский
10 сентября 2018 г. 18:30, г. Москва, online на платформе Zoom

18 июня 2018 г. (пн)
61. О субквадратичных функциях сложности выводов для односторонних систем Туэ
А. Л. Таламбуца
18 июня 2018 г. 18:30, г. Москва, online на платформе Zoom

14 июня 2018 г. (чт)
62. Subexponentials in non-commutative linear logic
A. Scedrov
14 июня 2018 г. 18:30, г. Москва, online на платформе Zoom

28 апреля 2018 г. (сб)
63. Об устранении сечения для модальной логики транзитивного замыкания
Д. С. Шамканов
28 апреля 2018 г. 18:30, г. Москва, online на платформе Zoom

23 апреля 2018 г. (пн)
64. Нефундированные выводы для логики Go
Ю. В. Саватеев
23 апреля 2018 г. 18:30, г. Москва, online на платформе Zoom

9 апреля 2018 г. (пн)
65. Бесконечные ветви в разрешимых деревьях
С. Ф. Сопрунов
9 апреля 2018 г. 18:30, г. Москва, online на платформе Zoom

26 марта 2018 г. (пн)
66. Об аксиоме ограниченности в слабых теориях множеств
Ф. Н. Пахомов
26 марта 2018 г. 18:30, г. Москва, online на платформе Zoom

5 марта 2018 г. (пн)
67. Определимые элементы определимых множеств
В. Г. Кановей
5 марта 2018 г. 18:30, г. Москва, online на платформе Zoom

26 февраля 2018 г. (пн)
68. Определимые элементы определимых множеств
В. Г. Кановей
26 февраля 2018 г. 18:30, г. Москва, online на платформе Zoom

12 февраля 2018 г. (пн)
69. О языках геометрии и понимании геометрических фактов
Г. Б. Шабат
12 февраля 2018 г. 18:30, г. Москва, online на платформе Zoom

5 февраля 2018 г. (пн)
70. О языках геометрии и понимании геометрических фактов
Г. Б. Шабат
5 февраля 2018 г. 18:30, г. Москва, online на платформе Zoom

18 декабря 2017 г. (пн)
71. О некоторых результатах о принципах рефлексии в арифметике
Ф. Н. Пахомов
18 декабря 2017 г. 18:30, г. Москва, online на платформе Zoom

30 октября 2017 г. (пн)
72. Аксиоматизация доказуемой 1-доказуемости
Е. А. Колмаков
30 октября 2017 г. 18:30, г. Москва, online на платформе Zoom

9 октября 2017 г. (пн)
73. Об индукции в теориях итерированных определений истины
Ф. Н. Пахомов
9 октября 2017 г. 18:30, г. Москва, online на платформе Zoom

2 октября 2017 г. (пн)
74. Об индукции в теориях итерированных определений истины
Ф. Н. Пахомов
2 октября 2017 г. 18:35, г. Москва, online на платформе Zoom

10 июля 2017 г. (пн)
75. О финитной аппроксимируемости модальных логик конечных степеней натурального ряда
И. Б. Шапировский
10 июля 2017 г. 16:30, г. Москва, online на платформе Zoom

29 мая 2017 г. (пн)
76. Формализм для некоторых свойств из первого курса топологии
М. Р. Гаврилович
29 мая 2017 г. 18:30, г. Москва, online на платформе Zoom

15 мая 2017 г. (пн)
77. О неизоморфизме алгебр Магари для PA и ZF
Колмаков Евгений
15 мая 2017 г. 18:35, г. Москва, online на платформе Zoom

24 апреля 2017 г. (пн)
78. The reverse mathematics of decidability results for monadic second order logic
Leszek Kolodziejczyk
24 апреля 2017 г. 18:45, г. Москва, online на платформе Zoom

10 апреля 2017 г. (пн)
79. О вычислительных аспектах теории истины по Крипке
С. О. Сперанский
10 апреля 2017 г. 18:30, г. Москва, online на платформе Zoom

3 апреля 2017 г. (пн)
80. Цепи из утверждений о медленной непротиворечивости
Ф. Н. Пахомов
3 апреля 2017 г. 18:30, г. Москва, online на платформе Zoom

13 марта 2017 г. (пн)
81. Модель Игнатьева как универсальная алгебра для замкнутого фрагмента позитивной логики доказуемости с операторами консервативности
Л. Д. Беклемишев
13 марта 2017 г. 18:30, г. Москва, online на платформе Zoom

6 марта 2017 г. (пн)
82. Семантика металогики. (Часть 2)
С. А. Мелихов
6 марта 2017 г. 18:30, г. Москва, online на платформе Zoom

27 февраля 2017 г. (пн)
83. Семантика металогики. (Часть 1)
С. А. Мелихов
27 февраля 2017 г. 18:30, г. Москва, online на платформе Zoom

20 февраля 2017 г. (пн)
84. Доказуемо тотальные вычислимые функции и связанные с ними структуры степеней. (Часть 2)
Колмаков Е.А.
20 февраля 2017 г., г. Москва, online на платформе Zoom

13 февраля 2017 г. (пн)
85. Доказуемо тотальные вычислимые функции и связанные с ними структуры степеней. (Часть 1)
Колмаков Е.А.
13 февраля 2017 г. 18:30, г. Москва, online на платформе Zoom

26 декабря 2016 г. (пн)
86. Об аксиоматизации строго позитивных фрагментов модальных логик
М. В. Захарьящев, С. П. Кикоть
26 декабря 2016 г. 18:30, г. Москва, online на платформе Zoom

19 декабря 2016 г. (пн)
87. О новом классе теорий, удовлетворяющих второй теореме Гёделя о неполноте
Ф. Н. Пахомов
19 декабря 2016 г. 18:30, г. Москва, online на платформе Zoom

5 декабря 2016 г. (пн)
88. Классификация линейных порядков, интерпретируемых многомерно в арифметике Пресбургера, и многомерная гипотеза Виссера
Запрягаев А. А.
5 декабря 2016 г. 18:30, г. Москва, online на платформе Zoom

28 ноября 2016 г. (пн)
89. О позитивной логике доказуемости с операторами консервативности
Л. Д. Беклемишев
28 ноября 2016 г. 18:30, г. Москва, online на платформе Zoom

21 ноября 2016 г. (пн)
90. О позитивной логике доказуемости с операторами консервативности
Л. Д. Беклемишев
21 ноября 2016 г. 18:30, г. Москва, online на платформе Zoom

7 ноября 2016 г. (пн)
91. Логики теоретико-моде­льных конструкций: ло­гика подмоделей, част­ь 1
Д. И. Савельев
7 ноября 2016 г. 18:30, г. Москва, online на платформе Zoom

31 октября 2016 г. (пн)
92. Логики теоретико-моде­льных конструкций: ло­гика подмоделей, част­ь 1
Д. И. Савельев
31 октября 2016 г. 18:30, г. Москва, online на платформе Zoom

17 октября 2016 г. (пн)
93. Полиномиальный алгоритм распознавания выводимости в строго позитивной логике линейных порядков
Святловский М.
17 октября 2016 г. 18:30, г. Москва, online на платформе Zoom

10 октября 2016 г. (пн)
94. Строго позитивная логика конечных линейных порядков, продолжение
Святловский М.
10 октября 2016 г. 18:30, г. Москва, online на платформе Zoom

3 октября 2016 г. (пн)
95. Строго позитивная логика конечных линейных порядков
Святловский М.
3 октября 2016 г. 18:30, г. Москва, online на платформе Zoom

26 сентября 2016 г. (пн)
96. О новом доказательстве теоремы Соловея
Ф. Н. Пахомов
26 сентября 2016 г. 18:30, г. Москва, online на платформе Zoom

23 мая 2016 г. (пн)
97. Конструктивная модальная логика, похожая на логику доказуемости GL
Д. С. Шамканов
23 мая 2016 г., г. Москва, online на платформе Zoom

16 мая 2016 г. (пн)
98. Формальная металогика логик первого порядка и её формальная семантика
С. А. Мелихов
16 мая 2016 г., г. Москва, online на платформе Zoom

18 апреля 2016 г. (пн)
99. Об автоматных группах и их обобщениях
А. Л. Таламбуца
18 апреля 2016 г., г. Москва, online на платформе Zoom

4 апреля 2016 г. (пн)
100. On Feferman's second conjecture
Michael Rathjen
4 апреля 2016 г., г. Москва, конференц-зал МИАН (ул. Губкина, 8), г. Москва

28 марта 2016 г. (пн)
101. Оператор, двойственный производной Кантора, и слабые аксиомы отделимости
Д. И. Савельев
28 марта 2016 г., г. Москва, online на платформе Zoom

21 марта 2016 г. (пн)
102. Оператор, двойственный производной Кантора, и слабые аксиомы отделимости
Д. И. Савельев
21 марта 2016 г. 18:30, г. Москва, online на платформе Zoom

14 марта 2016 г. (пн)
103. О недавних результатах по теории WQO, представленных на конференции Well-quasiorders in Computer Science, Dagstuhl, Jan 2016 (продолжение)
Л. Д. Беклемишев
14 марта 2016 г. 18:30, г. Москва, online на платформе Zoom

29 февраля 2016 г. (пн)
104. О недавних результатах по теории WQO, представленных на конференции Well-quasiorders in Computer Science, Dagstuhl, Jan 2016
Л. Д. Беклемишев
29 февраля 2016 г. 18:30, г. Москва, online на платформе Zoom

15 февраля 2016 г. (пн)
105. Биинтерпретируемость для расширений ZF
Ф. Н. Пахомов
15 февраля 2016 г. 18:30, г. Москва, online на платформе Zoom

28 декабря 2015 г. (пн)
106. Multiset Rewriting with Dense Time and the Analysis of Cyber-Physical Security Protocols
A. Scedrov
28 декабря 2015 г. 18:30, г. Москва, online на платформе Zoom

14 декабря 2015 г. (пн)
107. Свойства доказательств в модальных логиках и процесса реализации для логик свидетельств
Ю. В. Саватеев
14 декабря 2015 г. 18:30, г. Москва, online на платформе Zoom

30 ноября 2015 г. (пн)
108. Интерпретируемость для фрагментов арифметики Пресбургера. Часть 2
А. А. Запрягаев
30 ноября 2015 г. 18:30, г. Москва, online на платформе Zoom

23 ноября 2015 г. (пн)
109. Логика интерпретируемости. Часть 2
Л. Д. Беклемишев
23 ноября 2015 г. 18:30, г. Москва, online на платформе Zoom

16 ноября 2015 г. (пн)
110. Логика интерпретируемости. Часть 1
Л. Д. Беклемишев
16 ноября 2015 г. 18:30, г. Москва, online на платформе Zoom

9 ноября 2015 г. (пн)
111. Интерпретируемость для фрагментов арифметики Пресбургера. Часть 1
А. А. Запрягаев
9 ноября 2015 г. 18:30, г. Москва, online на платформе Zoom

26 октября 2015 г. (пн)
112. Итерации медленной непротиворечивости. Часть 2
Ф. Н. Пахомов
26 октября 2015 г. 18:30, г. Москва, online на платформе Zoom

19 октября 2015 г. (пн)
113. Итерации медленной непротиворечивости. Часть 1
Ф. Н. Пахомов
19 октября 2015 г. 18:30, г. Москва, online на платформе Zoom

5 октября 2015 г. (пн)
114. О независимых принципах в совместной логике задач и высказываний. Часть 2
С. А. Мелихов
5 октября 2015 г. 18:30, г. Москва, online на платформе Zoom

28 сентября 2015 г. (пн)
115. О независимых принципах в совместной логике задач и высказываний. Часть 1
С. А. Мелихов
28 сентября 2015 г. 18:30, г. Москва, online на платформе Zoom

7 сентября 2015 г. (пн)
116. Некоторые новые результаты в монадической арифметике второго порядка
С. О. Сперанский
7 сентября 2015 г. 18:30, г. Москва, online на платформе Zoom
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021