Тёмный

Overview of Univalent Foundations - Vladimir Voevodsky 

Institute for Advanced Study
Подписаться 139 тыс.
Просмотров 4,7 тыс.
50% 1
ВидеоПоделитьсяСкачатьДобавить в

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

 

5 окт 2024

Поделиться:

Ссылка:

Скачать:

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

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 4   
@marceloet3019
@marceloet3019 7 лет назад
I seems to me that Vladimir Voevodsky is ... "preparing the ground for the next revolution (in Jefferson`s sense rather than Lenin`s) in the foundations of mathematics". J. Hintikka.
@kamilziemian995
@kamilziemian995 3 года назад
I hope so. This looks very promising and is also quite attractive to me personally.
@xxeneize586
@xxeneize586 7 лет назад
Por qué muere a temprana edad un hombre maravilloso y un político vive casi 100 años? Hay que cuidar más a las mentes maravillosas.
@samwinnick4048
@samwinnick4048 2 года назад
What is the author and book mentioned at 1:20?
Далее
Higher Dimensional Syntax - Eric Finster
17:17
Higher Dimensional Syntax - Eric Finster
Просмотров 976
Univalent Foundations Seminar - Steve Awodey
55:41
Univalent Foundations Seminar - Steve Awodey
Просмотров 6 тыс.
Women’s Goalkeepers + Men’s 🤯🧤
00:20
Women’s Goalkeepers + Men’s 🤯🧤
Просмотров 926 тыс.
Боец UFC Арман Царукян про Пухляша из ПОП-ММА #huga #хетагхугаев #хаха3раза
01:00
Боец UFC Арман Царукян про Пухляша из ПОП-ММА #huga #хетагхугаев #хаха3раза
Просмотров 226 тыс.
Cheese grater HACK
00:22
Cheese grater HACK
Просмотров 1 млн
POLI и Маша - Сигма бой
00:20
POLI и Маша - Сигма бой
Просмотров 154 тыс.
The mathematical work of Vladimir Voevodsky - Dan Grayson
55:54
The mathematical work of Vladimir Voevodsky - Dan Grayson
Просмотров 16 тыс.
Category Theory for Neuroscience (pure math to combat scientific stagnation)
32:16
Category Theory for Neuroscience (pure math to combat scientific stagnation)
Просмотров 101 тыс.
Univalent foundations and the equivalence principle - Benedikt Ahrens
1:01:13
Univalent foundations and the equivalence principle - Benedikt Ahrens
Просмотров 1,9 тыс.
The Foundation of Mathematics - Numberphile
15:11
The Foundation of Mathematics - Numberphile
Просмотров 105 тыс.
Five Stages of Accepting Constructive Mathematics - Andrej Bauer
57:32
Five Stages of Accepting Constructive Mathematics - Andrej Bauer
Просмотров 24 тыс.
Multiple Concepts of Equality in the New Foundations of Mathematics by Vladimir Voevodsky
1:33:26
Multiple Concepts of Equality in the New Foundations of Mathematics by Vladimir Voevodsky
Просмотров 7 тыс.
Categorification of Fourier Theory
47:18
Categorification of Fourier Theory
Просмотров 79 тыс.
An Intuitive Introduction to Motivic Homotopy Theory - Vladimir Voevodsky
35:18
An Intuitive Introduction to Motivic Homotopy Theory - Vladimir Voevodsky
Просмотров 23 тыс.
Constructive Type Theory and Homotopy - Steve Awodey
41:00
Constructive Type Theory and Homotopy - Steve Awodey
Просмотров 7 тыс.
Univalent Foundations of Mathematics - Vladimir Voevodsky
1:07:33
Univalent Foundations of Mathematics - Vladimir Voevodsky
Просмотров 10 тыс.
Women’s Goalkeepers + Men’s 🤯🧤
00:20
Women’s Goalkeepers + Men’s 🤯🧤
Просмотров 926 тыс.