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

Автор: ERC PhiloQuantumGravity

Загружено: 2015-01-26

Просмотров: 8060

Описание: We give an overview of the foundational point of view advocated by Voevodsky’s Univalent Foundations program and explain how these ideas are realized by Martin-Lof type theory with identity types. In particular, we focus on the role of the univalence axiom as an invariance principle, embedded in type theory, which is absent from traditional set-theoretic foundations, and explain how this point of view leads to a unification of certain logical and geometric principles.

Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...

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

Доступные форматы для скачивания:

Скачать видео

Информация по загрузке:

Скачать аудио

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

How I became seduced by univalent foundations

How I became seduced by univalent foundations

[Введение в HoTT - СТАРАЯ ВЕРСИЯ] Теория типов Мартина-Лёфа: Говорим на языке

[Введение в HoTT - СТАРАЯ ВЕРСИЯ] Теория типов Мартина-Лёфа: Говорим на языке

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

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

Intensionality, Invariance, and Univalence, Steve Awodey

Intensionality, Invariance, and Univalence, Steve Awodey

Workshop "New Spaces in Mathematics and Physics – Formal & Philosophical Reflections"

An Intuitive Introduction to Motivic Homotopy Theory - Vladimir Voevodsky

An Intuitive Introduction to Motivic Homotopy Theory - Vladimir Voevodsky

Univalence from a computer science point-of-view - Dan Licata

Univalence from a computer science point-of-view - Dan Licata

The mathematical work of Vladimir Voevodsky - Dan Grayson

The mathematical work of Vladimir Voevodsky - Dan Grayson

∞-Category Theory for Undergraduates

∞-Category Theory for Undergraduates

Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky

Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky

How I became interested in foundations of mathematics

How I became interested in foundations of mathematics

Why Does 2 + 2 = 4? What Math Teaches Us About Deep Reality

Why Does 2 + 2 = 4? What Math Teaches Us About Deep Reality

Thorsten Altenkirch - 1/2 Towards a Syntax for Cubical Type Theory

Thorsten Altenkirch - 1/2 Towards a Syntax for Cubical Type Theory

A working (class) introduction to Homotopy Type Theory: The favourite type theory of the proletariat

A working (class) introduction to Homotopy Type Theory: The favourite type theory of the proletariat

Thierry COQUAND - Logic and topology

Thierry COQUAND - Logic and topology

Multiple Concepts of Equality in the New Foundations of Mathematics by Vladimir Voevodsky

Multiple Concepts of Equality in the New Foundations of Mathematics by Vladimir Voevodsky

Homotopy Type Theory: Vladimir Voevodsky - Computerphile

Homotopy Type Theory: Vladimir Voevodsky - Computerphile

Five Stages of Accepting Constructive Mathematics

Five Stages of Accepting Constructive Mathematics

Saunders Mac Lane:

Saunders Mac Lane: "Mysteries and Marvels of Mathematics"

Univalent Foundations Seminar - Steve Awodey

Univalent Foundations Seminar - Steve Awodey