Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Календарь
Поиск
Регистрация семинара

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


Спецкурс «Математическая логика, часть 2»
12 марта 2020 г. 16:45, г. Москва, МГУ, Главное здание, ауд. 13-02 		 

Лекция 5. Гёделева нумерация

С. Л. Кузнецов

Количество просмотров:
Эта страница:186
Youtube:



Аннотация: Гёделева нумерация термов и формул. Предикат доказательства. Предикат доказуемости. Функция подстановки, её примитивно-рекурсивность. 1-е и 2-е условия доказуемости Гильберта – Бернайса – Лёба. Параметрическая версия 2-го условия доказуемости.
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024