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