| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Алгебраическая топология и её приложения. Семинар им. М. М. Постникова
|
|||
|
|
|||
|
О топологии решения задач С. А. Мелихов Математический институт им. В. А. Стеклова РАН |
|||
|
Аннотация: Будет дано краткое введение в круг идей, известных как гомотопическая теория типов или унивалентные основания математики. Предполагается обсудить точку зрения, происходящую из 24-й проблемы Гильберта, а также задачу Колмогорова о соединении предложенного им исчисления задач с классической логикой высказываний. Некоторые подробности и ссылки на литературу можно найти здесь: http://at.yorku.ca/cgi-bin/abstract/cbhq-29 |
|||