Modern Physics Formalized in Modal Homotopy Type Theory by Urs Schreiber

  Рет қаралды 4,903

FOMUS 2016

FOMUS 2016

Күн бұрын

Пікірлер: 4
@mkaeterna9161
@mkaeterna9161 5 ай бұрын
Lawvere and Hegel would be proud of this most shocking application of dialectical philosophy.
@NoNTr1v1aL
@NoNTr1v1aL 2 жыл бұрын
Absolutely amazing video!
@janee4826
@janee4826 5 жыл бұрын
Hey Urs, ich versteh kein Wort- kannste mir das nochmal erklären?
@GeorgWilde
@GeorgWilde 5 жыл бұрын
Sie konnen click subtitles - automatic translation.
​Formalising a FOL Set Theory in Isabelle in a Textbook Fashion by I. Dimitriou (University of Bonn)
54:01
​Formalising a FOL Set Theory in Isabelle in a Textbook Fashion by I. Dimitriou (University of Bonn)
FOMUS 2016
Рет қаралды 1,1 М.
​Proof Theory of Homotopy Type Theories by Ulrik Buchholtz (Carnegie Mellon University, USA)
1:03:37
​Proof Theory of Homotopy Type Theories by Ulrik Buchholtz (Carnegie Mellon University, USA)
FOMUS 2016
Рет қаралды 1 М.
The evil clown plays a prank on the angel
00:39
The evil clown plays a prank on the angel
超人夫妇
Рет қаралды 51 МЛН
Mom Hack for Cooking Solo with a Little One! 🍳👶
00:15
Mom Hack for Cooking Solo with a Little One! 🍳👶
5-Minute Crafts HOUSE
Рет қаралды 22 МЛН
It’s all not real
00:15
It’s all not real
V.A. show / Магика
Рет қаралды 19 МЛН
Try this prank with your friends 😂 @karina-kola
00:18
Try this prank with your friends 😂 @karina-kola
Andrey Grechka
Рет қаралды 7 МЛН
Urs SCHREIBER - Synthetic prequantum field theory in a cohesive homotopy topos
1:16:13
Urs SCHREIBER - Synthetic prequantum field theory in a cohesive homotopy topos
Institut des Hautes Etudes Scientifiques (IHES)
Рет қаралды 7 М.
On Proofs of Equality as Paths by Andrew Pitts (University of Cambridge, UK)
51:07
On Proofs of Equality as Paths by Andrew Pitts (University of Cambridge, UK)
FOMUS 2016
Рет қаралды 816
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)
FOMUS 2016
Рет қаралды 5 М.
Mark van Atten: Brouwer and the Mathematics of the Continuum
1:25:08
Mark van Atten: Brouwer and the Mathematics of the Continuum
Logic and Foundations of Mathematics
Рет қаралды 7 М.
3 01 A Functional Programmer's Guide to Homotopy Type Theory
1:00:35
3 01 A Functional Programmer's Guide to Homotopy Type Theory
ICFP Video
Рет қаралды 24 М.
Math's Fundamental Flaw
34:00
Math's Fundamental Flaw
Veritasium
Рет қаралды 28 МЛН
[Intro to HoTT - OLD] Martin-Löf Type Theory: Speaking the Language
20:17
[Intro to HoTT - OLD] Martin-Löf Type Theory: Speaking the Language
jacobneu
Рет қаралды 7 М.
The Hardest Problem in Type Theory - Computerphile
23:40
The Hardest Problem in Type Theory - Computerphile
Computerphile
Рет қаралды 131 М.
Computer Science and Homotopy Theory - Vladimir Voevodsky
28:58
Computer Science and Homotopy Theory - Vladimir Voevodsky
Institute for Advanced Study
Рет қаралды 21 М.
Alain Connes: Quanta of Geometry
1:38:02
Alain Connes: Quanta of Geometry
Erwin Schrödinger International Institute for Mathematics and Physics (ESI)
Рет қаралды 3,3 М.
The evil clown plays a prank on the angel
00:39
The evil clown plays a prank on the angel
超人夫妇
Рет қаралды 51 МЛН