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

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






Летняя школа «Современная математика», 2014
23 июля 2014 г. 17:00, г. Дубна
 


Элементарная геометрия с точки зрения логики. Лекция 3

Л. Д. Беклемишев
Видеозаписи:
Flash Video 569.4 Mb
MP4 569.4 Mb

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

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


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



Аннотация: Будут обсуждаться:
Разные варианты выбора неопределяемых понятий.
Система аксиом Тарского (по-видимому, самая простая из известных).
Роль аксиом непрерывности с точки зрения различия логики первого и второго порядков.
Модели и синтаксические интерпретации формальных теорий. Несколько классических интерпретаций, в том числе взаимная интерпретируемость гиперболической и евклидовой геометрии, элементарной геометрии Тарского и элементарной теории поля вещественных чисел, интерпретация теории поля вещественных чисел в арифметике натуральных чисел.
Теоремы Тарского о полноте аксиоматики и о существовании алгоритма, распознающего истинность утверждений элементарной геометрии.
Знание слушателями основ логики не предполагается (но и не возбраняется).

Website: http://www.mccme.ru/dubna/2014/courses/beklemishev.htm
Цикл лекций

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