Тёмный

Univalent Foundations Seminar - Steve Awodey 

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

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

 

5 окт 2024

Поделиться:

Ссылка:

Скачать:

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

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 5   
@brendawilliams8062
@brendawilliams8062 4 года назад
I use univalence. I am self taught. I’m glad I can relate and not go nuts trying to understand classical physics. Very happy. Thankyou.
@marceloet3019
@marceloet3019 7 лет назад
Very clear and interesting exposition of a new foundations program (or philosophy) of mathematics.
@brendawilliams8062
@brendawilliams8062 4 года назад
I now will absolutely enjoy my accomplishments on their own merits.
@ShawnThuris
@ShawnThuris 7 лет назад
Excellent lecture.
@brendawilliams8062
@brendawilliams8062 4 года назад
Thankyou
Далее
A Non-Commutative Analog of the Metric for which the... Gradient Flow for the Entropy - Eric Carlen
1:00:45
A Non-Commutative Analog of the Metric for which the... Gradient Flow for the Entropy - Eric Carlen
Просмотров 366
Constructive Type Theory and Homotopy - Steve Awodey
41:00
Constructive Type Theory and Homotopy - Steve Awodey
Просмотров 7 тыс.
Толстая девчонка не заметила котенка🤷‍♀️​⁠@titwow
00:28
Толстая девчонка не заметила котенка🤷‍♀️​⁠@titwow
Просмотров 253 тыс.
Cool Parenting Gadget Against Mosquitos! 🦟👶 #parentinghacks #funny #DIY
00:21
Cool Parenting Gadget Against Mosquitos! 🦟👶 #parentinghacks #funny #DIY
Просмотров 12 млн
НЕ БУДИТЕ КОТЯТ#cat
00:21
НЕ БУДИТЕ КОТЯТ#cat
Просмотров 1 млн
0ЧНАЯ SТАВКА, ПР0БЛЕМН0ГО 0ФИЦЕРА РАZВЕДКИ АЛТАЯ & ХИЩНИКА @VolodymyrZolkin
1:46:52
0ЧНАЯ SТАВКА, ПР0БЛЕМН0ГО 0ФИЦЕРА РАZВЕДКИ АЛТАЯ & ХИЩНИКА @VolodymyrZolkin
Просмотров 567 тыс.
Overview of Univalent Foundations - Vladimir Voevodsky
57:55
Overview of Univalent Foundations - Vladimir Voevodsky
Просмотров 4,7 тыс.
Intensionality, Invariance, and Univalence, Steve Awodey
56:52
Intensionality, Invariance, and Univalence, Steve Awodey
Просмотров 3,8 тыс.
Steve Awodey: Mac Lane and Carnap's Logical Syntax of Language
1:09:55
Steve Awodey: Mac Lane and Carnap's Logical Syntax of Language
Просмотров 8 тыс.
Univalent Foundations of Mathematics - Vladimir Voevodsky
1:07:33
Univalent Foundations of Mathematics - Vladimir Voevodsky
Просмотров 10 тыс.
Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky
50:13
Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky
Просмотров 15 тыс.
The mathematical work of Vladimir Voevodsky - Dan Grayson
55:54
The mathematical work of Vladimir Voevodsky - Dan Grayson
Просмотров 16 тыс.
How I became seduced by univalent foundations
1:04:53
How I became seduced by univalent foundations
Просмотров 6 тыс.
Does HoTT Provide a Foundation for Mathematics? by James Ladyman (University of Bristol, UK)
1:10:23
Does HoTT Provide a Foundation for Mathematics? by James Ladyman (University of Bristol, UK)
Просмотров 5 тыс.
The meta-theory of dependent type theories - Vladimir Voevodsky
1:00:10
The meta-theory of dependent type theories - Vladimir Voevodsky
Просмотров 5 тыс.
David Jaz Myers: Homotopy type theory for doing category theory
1:04:01
David Jaz Myers: Homotopy type theory for doing category theory
Просмотров 6 тыс.
Толстая девчонка не заметила котенка🤷‍♀️​⁠@titwow
00:28
Толстая девчонка не заметила котенка🤷‍♀️​⁠@titwow
Просмотров 253 тыс.