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

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

Download MP3


Similar Tracks

The Gauge Principle and Local Quantum Field Theory (by Urs Schreiber, November 13th, 2014) ERC PhiloQuantumGravity
Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky Institute for Advanced Study
Computational Type Theory [1/5] - Robert Harper - OPLSS 2018 OPLSS
Steven Carlip, « Why We Need Quantum Gravity and Why We Don’t Have It » ERC PhiloQuantumGravity
Steve Awodey: Mac Lane and Carnap's Logical Syntax of Language Logic and Foundations of Mathematics
3 01 A Functional Programmer's Guide to Homotopy Type Theory ICFP Video
Overview of Univalent Foundations - Vladimir Voevodsky Institute for Advanced Study
Roger Penrose. Twistor theory. ERC PhiloQuantumGravity
Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK) FOMUS 2016
Carlos Simpson. Stacks and the Artin Property. ERC PhiloQuantumGravity
The mathematical work of Vladimir Voevodsky - Dan Grayson Institute for Advanced Study
Think Fast, Talk Smart: Communication Techniques Stanford Graduate School of Business
1. Probability Models and Axioms MIT OpenCourseWare
Ted Jacobson, « What can Black Holes teach us about Quantum Gravity ? » ERC PhiloQuantumGravity
Type Theory Foundations, Lecture 1 p473r
Data Analytics for Beginners | Data Analytics Training | Data Analytics Course | Intellipaat Intellipaat
Ses 1: Introduction and Course Overview MIT OpenCourseWare
What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky Institute for Advanced Study
MAE5790-1 Course introduction and overview Cornell MAE
Alain Connes, « Why Four Dimensions and the Standard Model Coupled to Gravity ... » ERC PhiloQuantumGravity