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

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






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


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

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

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

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


Видео не загружается в Ваш браузер:
  1. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  2. Сообщите администратору портала о данной ошибке

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

Website: https://mccme.ru/dubna/2021/courses/beklemishev.html
Цикл лекций

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021