Андрей Микрюков и Латыпова Юлия

86 Просмотры

  • Спасибо! Поделитесь с друзьями!

    Вам не понравилось видео. Спасибо за то что поделились своим мнением!

admin
Издатель
"Современные проблемы математической логики" в ВШЭ

Доклад 1:
Докладчик: Андрей Микрюков
Название: Логика негёделевой доказуемости

Аннотация:
Будет рассмотрен пример Карла Нибергалля теории, которая является непротиворечивой, но при этом для неё не выполняется аналог второй теоремы Гёделя. Также будет явно построен предикат доказуемости для неё и показаны некоторые его свойства.

Сначала будут напомнены формулировки основных действующих лиц (арифметика Пеано, вторая теорема Гёделя о неполноте, доказуемость как модальность), после будет построен пример негёделевой теории и проверены условия Лёба для предиката доказуемости этой теории. Так как доклад планируется коротким (40 минут), основные доказательства будут рассказаны только идейно.



Доклад 2.
Докладчик: Латыпова Юлия

Название: Полнота логик конечной ширины.

Аннотация:
Разберем доказательство полноты логик конечной ширины, приведенное Файном в 1974 году.
Категория
Ведение Блога на YouTube
Комментариев нет.

Следующее