Search
Logic seminar
Logic seminar
Вторник 14.04. С.Л. Кузнецов: "Закон дистрибутивности во фрагментах линейной и аффинной логик"
Вторник, 14 апреля, Zoom. Начало в 18:15.
Докладчик: С.Л. Кузнецов (Математический институт им. В.А. Стеклова РАН).
Тема: Закон дистрибутивности во фрагментах линейной и аффинной логик.
Пятница 31.05. М.Р. Старчак: "О совместности систем выражений вида НОД(a,x+b)=d с приложением к проблемам элиминации кванторов"
Пятница, 31 мая, ПОМИ РАН, ауд. 106. Начало в 17:00.
Докладчик: М.Р. Старчак (Санкт-Петербургский государственный университет).
Тема: О совместности систем выражений вида НОД(a,x+b)=d с приложением к проблемам элиминации кванторов.
Среда 29.05. С.Н. Артёмов: "О доказательствах непротиворечивости"
Cреда, 29 мая, ПОМИ РАН, ауд. 106. Начало в 15:00.
Докладчик: С.Н. Артёмов (The Graduate Center of the City University of New York).
Тема: О доказательствах непротиворечивости.
Среда 06.03.2019. Ф.Н. Пахомов: "О границах применимости второй теоремы Гёделя о неполноте"
Cреда, 6 марта, ПОМИ РАН, ауд. 106. Начало в 15:00.
Докладчик: Ф.Н. Пахомов (Математический институт им. В.А. Стеклова РАН).
Тема: О границах применимости второй теоремы Гёделя о неполноте.
Пятница 07.12.2018. С.Л. Кузнецов: "Звёздочка Клини в структурах с делениями"
Пятница, 7 декабря, ПОМИ РАН, ауд. 106. Начало в 14:00.
Докладчик: С.Л. Кузнецов (Математический институт им. В.А. Стеклова РАН).
Тема: Звёздочка Клини в структурах с делениями.
Понедельник 26.11.2018. А.В. Родин: "Конструктивный аксиоматический метод и унивалентные основания математики"
Понедельник, 26 ноября, ПОМИ РАН, ауд. 106. Начало в 14:00.
Докладчик: А.В. Родин (Институт философии РАН).
Тема: Конструктивный аксиоматический метод и унивалентные основания математики.
Четверг 06.09.2018. В. Лифшиц: "Стабильные модели формул исчисления высказываний"
Четверг, 6 сентября, ПОМИ РАН, ауд. 106. Начало в 11:30.
Докладчик: Владимир Лифшиц (University of Texas at Austin).
Тема: Стабильные модели формул исчисления высказываний.
Пятница 25.05.2018. В.П. Оревков: "Структура секвенций в интуиционистских доказательствах в исчислении предикатов"
Пятница, 25 мая, ПОМИ РАН, ауд. 203. Начало в 15:00.
Докладчик: В.П. Оревков.
Тема: Структура секвенций в интуиционистских доказательствах в исчислении предикатов.
Понедельник 15.01.2018. А.С. Герасимов: "Рациональная логика Павелки первого порядка: бесповторное гиперсеквенциальное исчисление и алгоритмы поиска вывода"
Понедельник, 15 января, ПОМИ РАН, ауд. 106. Начало в 14:00.
Докладчик: А.С. Герасимов.
Тема: Рациональная логика Павелки первого порядка: бесповторное гиперсеквенциальное исчисление и алгоритмы поиска вывода.
Четверг 23.11.2017. С.О. Сперанский: "О теории истины по Крипке"
Четверг, 23 ноября, Институт философии СПбГУ (Менделеевская линия, д. 5), ауд. 27 (правая лестница, 2-ой этаж). Начало в 17:20.
Докладчик: С.О. Сперанский.
Тема: О теории истины по Крипке.
