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

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




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


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

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

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

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

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




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