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

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




Семинар «Глобус» (записи с 2011 года)
16 февраля 2012 г. 15:40, г. Москва, конференц-зал НМУ (Москва, Большой Власьевский пер., 11)
 


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

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

Математический институт им. В. А. Стеклова РАН
Видеозаписи:
Flash Video 466.4 Mb
Flash Video 450.7 Mb
MP4 466.4 Mb
MP4 450.7 Mb

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

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


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