Why should you learn Type Theory? Published 2021-08-16 Download video MP4 360p Recommendations 26:20 A Sensible Introduction to Category Theory 17:46 Propositions as Types - Computerphile 29:37 The most misunderstood equation in math (associative property) 19:24 Type Theory for the Working Rustacean - Dan Pittman 25:48 Was soll HoTT? [Intro to HoTT, No. 0] 23:40 The Hardest Problem in Type Theory - Computerphile 12:15 Category Theory is Impossible Without These 6 Things 03:02 Actual Proof 1+1=2 08:50 The Axiom of Choice 04:19 A monad is a monoid in the category of endofunctors. Whats the problem? #SoMe2 15:56 Computer Science ∩ Mathematics (Type Theory) - Computerphile 07:19 Where Does Math Begin? The 9 AXIOMS of Math 12:45 The First Real Application of Category Theory #SoME3 14:15 Russell's Paradox - A Ripple in the Foundations of Mathematics 1:00:08 Categories for AI 1: Why Category Theory? By Bruno Gavranović 09:26 27 Unhelpful Facts About Category Theory 13:31 Homotopy Type Theory Discussed - Computerphile 09:45 The derivative isn't what you think it is. 12:59 The Boundary of Computation Similar videos 14:41 What is...homotopy type theory? 53:50 A Taste of Type Theory • Bartosz Milewski • YOW! 2019 07:47 Homotopy Type Theory - An Introduction to Topology, Formal Logic, and HoTT #SoME3 2:00:11 Learning Number Theory: Where does Number Theory start? 48:27 Notes on Type Theory for beginners 05:53 Homotopy Type Theory: Vladimir Voevodsky - Computerphile 16:36 Homotopy Type Theory: what can logic do for homotopy theory? - Peter Lumsdaine 1:11:31 Lawrence Paulson: "Formalising Contemporary Mathematics in Simple Type Theory" 42:43 "Propositions as Types" by Philip Wadler 1:00:35 3 01 A Functional Programmer's Guide to Homotopy Type Theory 1:00:54 #rC3 Type theory and meaning in linguistics 53:06 Introductory Lectures on Type Theory (1 : Functions) More results