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

Поиск
RSS
Ближайшие семинары





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








Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова Российской академии наук
19 октября 2006 г. 16:00, г. Москва, конференц-зал МИАН (ул. Губкина, 8)
 


Алгебры доказуемости и фрагменты арифметики

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

Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Видеозаписи:
Windows Media 271.0 Mb
Flash Video 255.9 Mb
MP4 255.9 Mb

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

Л. Д. Беклемишев
Фотогалерея



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

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



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

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