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


Курс Л. Д. Беклемишева и С. Л. Кузнецова "Вычислительная теория доказательств и лямбда-исчисление"
10 февраля–25 мая 2020 г., МИАН, комн. 530 (ул. Губкина, 8), г. Москва

Курс весеннего семестра продолжает курс осеннего семестра 2019 г. с тем же названием. Во второй части курса планируется рассказать о семантике Скотта для бестипового лямбда-исчисления, гёделевской системе T и и её связи с классами доказуемо тотальных вычислимых функций в арифметике 1-го порядка. Примерный список тем второго семестра:

  1. Семантика бестипового лямбда-исчисления, модели Скотта и Плоткина, полные частично упорядоченные множества.
  2. Интуиционистская и классическая арифметика. Гёделевский перевод. Перевод Фридмана‒Драгалина. Доказуемо тотальные вычислимые функции.
  3. Функционалы конечных типов. Гёделевская система T. Функциональная интерпретация. Характеризация доказуемо тотальных вычислимых функций в арифметике PA как функций, представимых в системе T.

Регистрационная форма участников.

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


Программа

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

Беклемишев Лев Дмитриевич
Кузнецов Степан Львович

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

 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020