Univalent Foundations Seminar - Steve Awodey

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

The mathematical work of Vladimir Voevodsky - Dan Grayson

How I became seduced by univalent foundations

Steve Awodey: Mac Lane and Carnap's Logical Syntax of Language

Intensionality, Invariance, and Univalence, Steve Awodey

Overview of Univalent Foundations - Vladimir Voevodsky

Five Stages of Accepting Constructive Mathematics - Andrej Bauer

Почему Питер Шольце — математик, каких бывает раз в поколение?

Homotopy Type Theory Discussed - Computerphile

01 Course Introduction

Constructive Type Theory and Homotopy - Steve Awodey

Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky

Mark van Atten: Brouwer and the Mathematics of the Continuum

Теренс Тао о том, как Григорий Перельман решил гипотезу Пуанкаре | Лекс Фридман

Per Martin Löf: How did 'judgement' come to be a term of logic ?

An Intuitive Introduction to Motivic Homotopy Theory - Vladimir Voevodsky [2002]

Что такое квантовая теория

∞-Category Theory for Undergraduates

Saunders Mac Lane: "Mysteries and Marvels of Mathematics"

Grigori Perelman documentary

A survey of Univalent Foundations (by Eric Finster, November 13th, 2014)