Воеводский Владимир - Унивалентные основания математики
Воеводский Владимир Александрович (1966—2017)
Унивалентные основания математики
МИАН (Математический институт им. В.А.Стеклова РАН)
29 декабря 2011 года, 16:00.
Однодневная конференция, посвященная памяти В. А. Исковских.
Эта и другие лекции доступны здесь:
http://www.mathnet.ru/rus/person20935
Видео Воеводский Владимир - Унивалентные основания математики канала Evgeny Zolin
Унивалентные основания математики
МИАН (Математический институт им. В.А.Стеклова РАН)
29 декабря 2011 года, 16:00.
Однодневная конференция, посвященная памяти В. А. Исковских.
Эта и другие лекции доступны здесь:
http://www.mathnet.ru/rus/person20935
Видео Воеводский Владимир - Унивалентные основания математики канала Evgeny Zolin
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
В.А. Воеводский. Категорная вероятность
Gathering in Remembrance of Vladimir Voevodsky
On Voevodsky's univalence principle - André Joyal
The mathematical work of Vladimir Voevodsky - Dan Grayson
Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK)
Множества — Принципы математического мышления — уровень 5 из 5
Группы и теория гомотопий (трэш трейлер)
Propositions as Types - Computerphile
Андрей Окуньков о пути к большой математике
Теория множеств: логика, формализм и кризис
Язык математики — Принципы математического мышления — уровень 1 из 5
Александр Воевуцкий - Он и она (Шанс).flv
Алексей Воронец - Categorized It. Кратко о теории категорий и функциональном программировании
Univalence from a computer science point-of-view - Dan Licata
Homotopy Type Theory Discussed - Computerphile
What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky
Гражданская война в США. США на рубеже веков. Видеоурок по Всеобщей истории 8 класс
Computer Science and Homotopy Theory - Vladimir Voevodsky
#191. Великие советские математики и их достижения
Гомологическая алгебра и теория категорий, Ершов А.В., 14.09.20