Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  


Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
7 сентября–14 декабря 2020 г., МИАН, конф. зал 9-й этаж (ул. Губкина, 8), г. Москва

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


Со школьной скамьи мы узнаём, что рассуждение, содержащее "логический круг", является некорректным. Чтобы подчеркнуть эту мысль, сами "логические круги" также называют "порочными", а о рассуждении говорят, что оно содержит "порочный круг". В нашем курсе по формальной логике мы познакомимся с дедуктивными системами, в которых удивительным образом можно встретить вполне законные и, при этом, формальные "круговые" (или циклические) доказательства. Более того, мы рассмотрим произвольные доказательства, в которых движение от заключения к посылкам может продолжаться бесконечно долго, не приходя к аксиомам. Мы планируем сосредоточиться на двух примерах дедуктивных систем, в которых можно встретить циклические доказательства: на логике доказуемости Гёделя–Лёба и на логике действий (логике алгебр Клини с делениями). От слушателей ожидается знакомство с классическим исчислением высказываний.

Объявление 16 ноября лекции не будет.

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

Заметки к курсу:
Д.С. Шамканов, Циклические и нефундированные выводы в модальных логиках $GL$ и $GL_\infty$ (21.09.2020)

Программа

RSS: Ближайшие семинары

Лекторы
Кузнецов Степан Львович
Шамканов Данияр Салкарбекович

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


Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства", г. Москва, 7 сентября–14 декабря 2020 г.

14 декабря 2020 г. (пн)
1. Лекция 14. Структура циклических выводов с итерацией Клини
С. Л. Кузнецов, Д. С. Шамканов
14 декабря 2020 г. 16:30, г. Москва, МИАН, конф. зал 9-й этаж (ул. Губкина, 8)
С. Л. Кузнецов, Д. С. Шамканов
  

7 декабря 2020 г. (пн)
2. Лекция 13. Алгоритмическая неразрешимость логик решёток Клини (коммутативный случай)
С. Л. Кузнецов, Д. С. Шамканов
7 декабря 2020 г. 16:30, г. Москва, МИАН, конф. зал 9-й этаж (ул. Губкина, 8)
С. Л. Кузнецов, Д. С. Шамканов
  

30 ноября 2020 г. (пн)
3. Лекция 12. Циклические выводы для алгебр Клини, с делениями и без
С. Л. Кузнецов, Д. С. Шамканов
30 ноября 2020 г. 16:30, г. Москва, МИАН, конф. зал 9-й этаж (ул. Губкина, 8)
С. Л. Кузнецов, Д. С. Шамканов
  

23 ноября 2020 г. (пн)
4. Лекция 11. Алгебры Клини с делениями и их логики
С. Л. Кузнецов, Д. С. Шамканов
23 ноября 2020 г. 16:30, г. Москва, МИАН, конф. зал 9-й этаж (ул. Губкина, 8)
С. Л. Кузнецов, Д. С. Шамканов
  

9 ноября 2020 г. (пн)
5. Лекция 10. Циклические выводы для алгебр Клини (продолжение)
С. Л. Кузнецов, Д. С. Шамканов
9 ноября 2020 г. 16:30, г. Москва, МИАН, конф. зал 9-й этаж (ул. Губкина, 8)
С. Л. Кузнецов, Д. С. Шамканов
  

2 ноября 2020 г. (пн)
6. Лекция 9. Циклические выводы для алгебр Клини
С. Л. Кузнецов, Д. С. Шамканов
2 ноября 2020 г. 16:30, г. Москва, МИАН, конф. зал 9-й этаж (ул. Губкина, 8)
С. Л. Кузнецов, Д. С. Шамканов
  

26 октября 2020 г. (пн)
7. Лекция 8. Инфинитарные исчисления для алгебр Клини
С. Л. Кузнецов, Д. С. Шамканов
26 октября 2020 г. 16:30, г. Москва, МИАН, конф. зал 9-й этаж (ул. Губкина, 8)
С. Л. Кузнецов, Д. С. Шамканов
  

19 октября 2020 г. (пн)
8. Лекция 7. Интерполяционное свойство Линдона и циклические доказательства в исчислении секвенций
С. Л. Кузнецов, Д. С. Шамканов
19 октября 2020 г. 16:30, г. Москва, МИАН, конф. зал 9-й этаж (ул. Губкина, 8)
С. Л. Кузнецов, Д. С. Шамканов
  

12 октября 2020 г. (пн)
9. Лекция 6. Исчисление секвенций для логики GL
С. Л. Кузнецов, Д. С. Шамканов
12 октября 2020 г. 16:30, г. Москва, МИАН, конф. зал 9-й этаж (ул. Губкина, 8)
С. Л. Кузнецов, Д. С. Шамканов
  

5 октября 2020 г. (пн)
10. Лекция 5. Представление бокс-фундированных алгебр Магари
С. Л. Кузнецов, Д. С. Шамканов
5 октября 2020 г. 16:30, г. Москва, МИАН, конф. зал 9-й этаж (ул. Губкина, 8)
С. Л. Кузнецов, Д. С. Шамканов
  

28 сентября 2020 г. (пн)
11. Лекция 4. Окрестностная семантика
С. Л. Кузнецов, Д. С. Шамканов
28 сентября 2020 г. 16:30, г. Москва, МИАН, конф. зал 9-й этаж (ул. Губкина, 8)
С. Л. Кузнецов, Д. С. Шамканов
  

21 сентября 2020 г. (пн)
12. Лекция 3. Нефундированные выводы и алгебраическая семантика
С. Л. Кузнецов, Д. С. Шамканов
21 сентября 2020 г. 16:30, г. Москва, МИАН, конф. зал 9-й этаж (ул. Губкина, 8)
С. Л. Кузнецов, Д. С. Шамканов
  

14 сентября 2020 г. (пн)
13. Лекция 2. Доказуемостная интерпретация логики Гёделя-Лёба
Д. С. Шамканов
14 сентября 2020 г. 16:30, г. Москва, МИАН,конф. зал 9 этаж, (ул. Губкина, 8)
Д. С. Шамканов
  

7 сентября 2020 г. (пн)
14. Лекция 1. Циклические выводы в логике Гёделя-Лёба
Д. С. Шамканов
7 сентября 2020 г. 16:00, г. Москва, МИАН, конф. зал 9-й этаж (ул. Губкина, 8)
Д. С. Шамканов
  
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021