Тёмный

How I became seduced by univalent foundations 

Fields Institute
Подписаться 14 тыс.
Просмотров 6 тыс.
50% 1
ВидеоПоделитьсяСкачатьДобавить в

Speaker: Emily Riehl, Johns Hopkins University
Date: October 18th, 2022
Abstract: www.fields.utor...
Part of the "2022 Fields Medal Symposium: Akshay Venkatesh": www.fields.utor...

Опубликовано:

 

6 сен 2024

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии    
Далее
Varieties of Mathematical Understanding
54:56
Varieties of Mathematical Understanding
Просмотров 1,9 тыс.
Math Talk! Dr. Emily Riehl, to infinity categories and beyond.
49:45
Math Talk! Dr. Emily Riehl, to infinity categories and beyond.
Просмотров 9 тыс.
Прием в первый класс (1969) #ссср #школа
00:59
Прием в первый класс (1969) #ссср #школа
Просмотров 2,2 млн
ОДИН ИЗ СИЛЬНЕЙШИХ СЕКРЕТНЫХ ЗОМБИ В PVZ!
00:45
ОДИН ИЗ СИЛЬНЕЙШИХ СЕКРЕТНЫХ ЗОМБИ В PVZ!
Просмотров 598 тыс.
Битва котиков: кто кого?! Помоги своей команде! 💪 #симбочка #симба #тигра
00:49
Битва котиков: кто кого?! Помоги своей команде! 💪 #симбочка #симба #тигра
Просмотров 682 тыс.
Какой же крутой матч! Они приехали за 3 Интом! Nix смотрит Team Spirit vs Team Liquid
52:37
Какой же крутой матч! Они приехали за 3 Интом! Nix смотрит Team Spirit vs Team Liquid
Просмотров 262 тыс.
Was soll HoTT? [Intro to HoTT, No. 0]
25:48
Was soll HoTT? [Intro to HoTT, No. 0]
Просмотров 9 тыс.
Five Stages of Accepting Constructive Mathematics - Andrej Bauer
57:32
Five Stages of Accepting Constructive Mathematics - Andrej Bauer
Просмотров 24 тыс.
Fields Medal Symposium 2021: Jared Weinstein introduces Perfectoid Spaces
17:58
Fields Medal Symposium 2021: Jared Weinstein introduces Perfectoid Spaces
Просмотров 10 тыс.
Anders Mortberg: "Cubical Methods in Homotopy Type Theory and Univalent Foundations"
1:04:40
Anders Mortberg: "Cubical Methods in Homotopy Type Theory and Univalent Foundations"
Просмотров 2,2 тыс.
Computer Science ∩ Mathematics (Type Theory) - Computerphile
15:56
Computer Science ∩ Mathematics (Type Theory) - Computerphile
Просмотров 263 тыс.
What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explains
56:34
What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explains
Просмотров 39 тыс.
What is...homotopy type theory?
14:41
What is...homotopy type theory?
Просмотров 5 тыс.
Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky
50:13
Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky
Просмотров 15 тыс.
Contractibility as uniqueness - Emily Riehl
32:33
Contractibility as uniqueness - Emily Riehl
Просмотров 2,7 тыс.
Why should you learn Type Theory?
10:08
Why should you learn Type Theory?
Просмотров 60 тыс.
Прием в первый класс (1969) #ссср #школа
00:59
Прием в первый класс (1969) #ссср #школа
Просмотров 2,2 млн