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

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





Для просмотра файлов Вам могут потребоваться






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


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

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

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

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


Видео не загружается в Ваш браузер:
  1. Установите Adobe Flash Player    

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

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

Знание слушателями основ логики не предполагается (но и не возбраняется).

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

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