This lecture is part of an online course on the Zermelo Fraenkel axioms of set theory. This lecture gives an overview of the axioms, describes the von Neumann hierarchy, and sketches several approaches to interpreting the axioms (Platonism, von Neumann hierarchy, multiverse, formalism, pra
From playlist Zermelo Fraenkel axioms
What's so wrong with the Axiom of Choice ?
One of the Zermelo- Fraenkel axioms, called axiom of choice, is remarkably controversial. It links to linear algebra and several paradoxes- find out what is so strange about it ! (00:22) - Math objects as sets (00:54) - What axioms we use ? (01:30) - Understanding axiom of choice (03:2
From playlist Something you did not know...
The Big (mathematical) Bang | Axiomatic Set Theory, Section 0
The introductory video for a course on the axiomatic theory of ZFC set theory. My Twitter: https://twitter.com/KristapsBalodi3 Intro: (0:00) Russel's Paradox: (2:13)
From playlist Axiomatic Set Theory
The perfect number of axioms | Axiomatic Set Theory, Section 1.1
In this video we introduce 6 of the axioms of ZFC set theory. My Twitter: https://twitter.com/KristapsBalodi3 Intro: (0:00) The Axiom of Existence: (2:39) The Axiom of Extensionality: (4:20) The Axiom Schema of Comprehension: (6:15) The Axiom of Pair (12:16) The Axiom of Union (15:15) T
From playlist Axiomatic Set Theory
This is part of a series of lectures on the Zermelo-Fraenkel axioms for set theory. We dicuss the axiom of chice, and sketch why it is independent of the other axioms of set theory. For the other lectures in the course see https://www.youtube.com/playlist?list=PL8yHsr3EFj52EKVgPi-p50f
From playlist Zermelo Fraenkel axioms
The Axiom of Choice | Epic Math Time
The axiom of choice states that the cartesian product of nonempty sets is nonempty. This doesn't sound controversial, and it might not even sound interesting, but adopting the axiom of choice has far reaching consequences in mathematics, and applying it in proofs has a very distinctive qua
From playlist Latest Uploads
Set Theory (Part 2): ZFC Axioms
Please feel free to leave comments/questions on the video and practice problems below! In this video, I introduce some common axioms in set theory using the Zermelo-Fraenkel w/ choice (ZFC) system. Five out of nine ZFC axioms are covered and the remaining four will be introduced in their
From playlist Set Theory by Mathoma
This video lists an explains propositional, predicate calculus axioms, as well as a set theoretical statement that goes with it, including ZF and beyond. Where possible, the explanations are kept constructive. You can find the list of axioms in the file discussed in this video here: https:
From playlist Logic
On Voevodsky's univalence principle - André Joyal
Vladimir Voevodsky Memorial Conference Topic: On Voevodsky's univalence principle Speaker: André Joyal Affiliation: Université du Québec á Montréal Date: September 11, 2018 For more video please visit http://video.ias.edu
From playlist Mathematics
Mirna Džamonja: Universal א2-Aronszajn trees
Recorded during the meeting "XVI International Luminy Workshop in Set Theory" the September 14, 2021 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's Au
From playlist Logic and Foundations
Constructive Type Theory and Homotopy - Steve Awodey
Steve Awodey Institute for Advanced Study December 3, 2010 In recent research it has become clear that there are fascinating connections between constructive mathematics, especially as formulated in the type theory of Martin-Löf, and homotopy theory, especially in the modern treatment in
From playlist Mathematics
Andre Nies: Randomness connecting to set theory and to reverse mathematics
Abstract : I will discuss two recent interactions of the field called randomness via algorithmic tests. With Yokoyama and Triplett, I study the reverse mathematical strength of two results of analysis. (1) The Jordan decomposition theorem says that every function of bounded variation is th
From playlist Logic and Foundations
Counting Woodin cardinals in HOD
Distinguished Visitor Lecture Series Counting Woodin cardinals in HOD W. Hugh Woodin Harvard University, USA and University of California, Berkeley, USA
From playlist Distinguished Visitors Lecture Series
Benedikt Ahrens - Univalent Foundations and the UniMath library - IPAM at UCLA
Recorded 13 February 2023. Benedikt Ahrens of Delft University of Technology presents "Univalent Foundations and the UniMath library" at IPAM's Machine Assisted Proofs Workshop. Abstract: Univalent Foundations (UF) were designed by Voevodsky as a foundation of mathematics that is "invarian
From playlist 2023 Machine Assisted Proofs Workshop
Gabriel Goldberg: The Jackson analysis and the strongest hypotheses
HYBRID EVENT Recorded during the meeting "XVI International Luminy Workshop in Set Theory" the September 13, 2021 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematician
From playlist Logic and Foundations
Hugo Herbelin: A constructive proof of dependent choice, compatible with classical logic
The lecture was held within the framework of the Hausdorff Trimester Program: Constructive Mathematics. Abstract: Martin-Löf's type theory has strong existential elimination (dependent sum type) what allows to prove the full axiom of choice. However the theory is intuitionistic. We give
From playlist Workshop: "Constructive Mathematics"
MathZero, The Classification Problem, and Set-Theoretic Type Theory - David McAllester
Seminar on Theoretical Machine Learning Topic: MathZero, The Classification Problem, and Set-Theoretic Type Theory Speaker: David McAllester Affiliation: Toyota Technological Institute at Chicago Date: May 14, 2020 For more video please visit http://video.ias.edu
From playlist Mathematics
The mathematical work of Vladimir Voevodsky - Dan Grayson
Vladimir Voevodsky Memorial Conference Topic: The mathematical work of Vladimir Voevodsky Speaker: Dan Grayson Affiliation: University of Illinois, Urbana-Champaign Date: September 11, 2018 For more video please visit http://video.ias.edu
From playlist Mathematics
Zermelo Fraenkel Extensionality
This is part of a series of lectures on the Zermelo-Fraenkel axioms for set theory. In this lecture we discuss the axiom of extensionality, which says that two sets are equal if they have the same elements. For the other lectures in the course see https://www.youtube.com/playlist?list
From playlist Zermelo Fraenkel axioms
Axioms of Constructive Set Theory Explained
In this video we're going to discuss the various axiom schemes of constructive set theories and how they relate to type theory. I cover BCST, ECST, IKP, KPI, KP, CST, CZF, IZF, Mac Lane, Z and variants equi-consistent to ETCS from category theory, and then of course ZF and ZFC. The text I
From playlist Logic