Модели и интерпретации. Лекция // Лев Беклемишев

Понятие интерпретации в математической логике является уточнением интуитивного понятия перевода с одного языка на другой. Несмотря на его важность, до него редко доходит дело в стандартных курсах. Наличие интерпретации позволяет свести многие вопросы, касающиеся одного языка, к другому. Мы разберем некоторые примеры наиболее интересных интерпретаций из элементарной геометрии, алгебры, формальной арифметики и теории множеств. Беклемишев Лев Дмитриевич — доктор физико-математических наук, академик РАН Летняя школа «Современная математика», г. Дубна 27, 29 июля 2021 г.