|
|
Алгебраическая топология и её приложения. Семинар им. М. М. Постникова
1 октября 2013 г. 16:45–18:20, г. Москва, ГЗ МГУ, ауд. 16-08
|
 |
|
 |
|
|
|
О топологии решения задач
С. А. Мелихов
Математический институт им. В. А. Стеклова РАН
|
| Количество просмотров: |
| Эта страница: | 245 |
|
Аннотация:
Будет дано краткое введение в круг идей, известных
как гомотопическая теория типов или унивалентные основания
математики. Предполагается обсудить точку зрения, происходящую из
24-й проблемы Гильберта, а также задачу Колмогорова о соединении
предложенного им исчисления задач с классической логикой
высказываний. Некоторые подробности и ссылки на литературу можно
найти здесь: http://at.yorku.ca/cgi-bin/abstract/cbhq-29
|
|
Обратная связь: