In this series we develop an understanding of the modern foundations of pure mathematics, starting from first principles. We start with intuitive ideas about set theory, and introduce notions from category theory, logic and type theory, until we are in a position to understand dependent type theory, and in particular, homotopy type theory, which promises to replace set theory as the foundation of modern mathematics. We also take an interest in computer science, and how to write computer programming languages to formalize mathematics.
In this video we introduce classical logic, using functional representations of and or, not and implies, and then we consider posets of subsets, introduce Boolean algebras, and eventually discuss Heyting Algebras as bicartesian closed categories, and discuss how our universal constructions of categorical products and coproducts give us ideas like AND and OR in intuitionistic logic. In this way we start to understand computational trinitarianism (which relates to the Curry-Howard-Lambek correspondence, and the Brouwer-Heyting-Kolmogorov interpretation).
1 view
432
111
3 weeks ago 00:06:55 1
Faye Dunaway Makeup Look: Movie - Bonnie and Clyde 1967
3 weeks ago 00:06:26 1
How To Do A Marlene Dietrich 1930s Makeup Look
3 weeks ago 00:16:13 1
Как наносить макияж для начинающих ШАГ ЗА ШАГОМ
3 weeks ago 00:00:18 1
Use Beeswax To Artificially Build The Honeycomb Base Via A Pressing Tool Device !
3 weeks ago 00:26:17 1
Shocking Truth Behind Russia’s Weapons Industry COLLAPSE
3 weeks ago 01:30:25 1
El fin de la era de la locura nuclear — Reunión #70 de la Coalición Internacional por la Paz (CIP)
3 weeks ago 00:00:17 1
Banded Face Pull - Warm-Up
3 weeks ago 01:56:51 1
The Dimming, Full Length Climate Engineering Documentary ( Geoengineering Watch )
3 weeks ago 00:03:18 1
Filter Bubbles and Echo Chambers
3 weeks ago 00:25:17 1
Why the Explosive Rush To Build Data Centers? - Peak Prosperity
3 weeks ago 00:05:26 1
Samadhi Part 4 “Sadhana“ - Trailer (Film Coming in 2025)
3 weeks ago 00:00:11 1
Two hours of attempts and countless drops. Life is the foundation of struggle.