Видеотека
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления






Летняя школа «Современная математика» имени Виталия Арнольда, 2021
29 июля 2021 г. 09:30, Московская область, г. Дубна, дом отдыха «Ратмино»
 


Модели и интерпретации. Семинар

Л. Д. Беклемишев
Видеозаписи:
MP4 3,645.3 Mb

Количество просмотров:
Эта страница:340
Видеофайлы:68
Youtube:

Л. Д. Беклемишев



Аннотация: Понятие интерпретации в математической логике является уточнением интуитивного понятия перевода с одного языка на другой. Несмотря на его важность, до него редко доходит дело в стандартных курсах. Наличие интерпретации позволяет свести многие вопросы, касающиеся одного языка, к другому. Мы разберем некоторые примеры наиболее интересных интерпретаций из элементарной геометрии, алгебры, формальной арифметики и теории множеств.

Website: https://mccme.ru/dubna/2021/courses/beklemishev.html
Цикл лекций
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024