Andrej Bauer — How to use excluded middle safely

Похожие видео

Fredrik Nordvall Forsberg — Representing type theory in type theory

Peter Dybjer — Are universes open or closed?

Барри Мазур | О гипотезах Берча и Свиннертона-Дайера

S13 E02: Epstein Files & Twitter: 2/22/26: Last Week Tonight with John Oliver

How to lie using visual proofs

Способ увидеть невидимое: как создаются суперлинзы из оптических метаматериалов?

Ulrich Berger — Non-strictly positive induction for breadth-first search

Мир-система бронзового века | Лекция Ивана Семьяна

Межзвёздный полёт через кротовую нору

Dag Normann — Quantifiers in real analysis

Paulo Oliva — Higher-order game theory

Почему работают магниты? Единственный вопрос, на который Фейнман отказался дать ответ.

Nicolai Kraus — From Hedberg's theorem to truncation elimination and two-level type theory

Assimilate Live FX Studio - Виртуальное производство: Рабочий процесс Unreal Engine - Одна машина

Савватеев разоблачает фокусы Земскова

История C# и TypeScript с Андерсом Хейлсбергом | GitHub

Самое жуткое решение парадокса Ферми

Трампу запретили тарифы / Возврат доллара на Мосбиржу / Трансфер из OpenClaw в OpenAI

Alex Simpson — Martín's interval in Scotland

ПУТЕШЕСТВИЕ СКВОЗЬ ГАЛАКТИКИ И ЧЕРНЫЕ ДЫРЫ В 4К. ДОКУМЕНТАЛЬНЫЙ ФИЛЬМ