Система геометрических аксиом Тарского (по-видимому, самая простая из известных). Роль аксиом непрерывности. Модели и синтаксические интерпретации формальных теорий. Теория множеств ZFC. Лев Дмитриевич Беклемишев — известный российский математик, доктор физико-математических наук, академик РАН. Доклад на X Открытом семинаре учителей математики в городе Майкопе. 4 мая 2021 г., Майкоп, Адыгейский государственный университет.
Hide player controls
Hide resume playing