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
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
In this video I write down the axioms of Lie algebras and then discuss the defining anti-symmetric bilinear map (the Lie bracket) which is zero on the diagonal and fulfills the Jacobi identity. I'm following the compact book "Introduction to Lie Algebras" by Erdmann and Wildon. https://gi
From playlist Algebra
Implication and Biconditional Statements
The definition of implication and biconditional connectives along with some laws for working with them, plus the definition of tautology and contradiction. (In the part I got hung up on in the video, "p is necessary for q" can be read "p if q" (or "if q, then p"), and "p is sufficient fo
From playlist Linear Algebra
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
[BOURBAKI 2019] Infinité d’hypersurfaces minimales en basses dimensions - Rivière - 15/06/19
Tristan RIVIÈRE Infinité d’hypersurfaces minimales en basses dimensions, d’après Fernando Codá Marques, André Neves et Antoine Song Une conjecture de Shing Tung Yau du début des années 80 pose le problème de l’existence d’une infinité de surfaces minimales (points critiques de la foncti
From playlist BOURBAKI - 2019
Set Theory 1.1 : Axioms of Set Theory
In this video, I introduce the axioms of set theory and Russel's Paradox. Email : fematikaqna@gmail.com Code : https://github.com/Fematika/Animations Notes : http://docdro.id/5ITQHUW
From playlist Set Theory
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...
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
Progress on existence of minimal surfaces - Andre Neves
Workshop on Mean Curvature and Regularity Topic: Progress on existence of minimal surfaces Speaker: Andre Neves Affiliation: Member, School of Mathematics Date: November 7, 2018 For more video please visit http://video.ias.edu
From playlist Workshop on Mean Curvature and Regularity
Lecture 5 | Topics in String Theory
(February 7, 2011) Leonard Susskind gives a lecture on string theory and particle physics that focuses again on black holes and how light behaves around a black hole. He uses his own theories to mathematically explain the behavior of a black hole and the area around it. In the last of cou
From playlist Lecture Collection | Topics in String Theory (Winter 2011)
Abraham Robinson’s legacy in model theory and (...) - L. Van den Dries - Workshop 3 - CEB T1 2018
Lou Van den Dries (University of Illinois, Urbana) / 27.03.2018 Abraham Robinson’s legacy in model theory and its applications ---------------------------------- Vous pouvez nous rejoindre sur les réseaux sociaux pour suivre nos actualités. Facebook : https://www.facebook.com/InstitutHe
From playlist 2018 - T1 - Model Theory, Combinatorics and Valued fields
Dynamics in Dimension 3: Geometry of Birkhoff Sections
Etienne Ghys l'École Normale Supérieure de Lyon October 30, 2013 Birkhoff sections have been invented... by Poincaré in his work on celestial mechanics. Birkhoff made an extensive use of this concept in dynamical systems. Sometimes, one can find surfaces transverse to the trajectories of a
From playlist Mathematics
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
Joel Hass - Lecture 4 - Algorithms and complexity in the theory of knots and manifolds - 21/06/18
School on Low-Dimensional Geometry and Topology: Discrete and Algorithmic Aspects (http://geomschool2018.univ-mlv.fr/) Joel Hass (University of California at Davis, USA) Algorithms and complexity in the theory of knots and manifolds Abstract: These lectures will introduce algorithmic pro
From playlist Joel Hass - School on Low-Dimensional Geometry and Topology: Discrete and Algorithmic Aspects
Ellipses of small eccentricity are determined by their Dirichlet... - Steven Morris Zelditch
Analysis Seminar Topic: Ellipses of small eccentricity are determined by their Dirichlet (or, Neumann) spectra Speaker: Steven Morris Zelditch Affiliation: Northwestern University Date: April 28, 2020 For more video please visit http://video.ias.edu
From playlist Mathematics
Ergodicity of the Weil-Petersson geodesic flow (Lecture - 1) Keith Burns
Geometry, Groups and Dynamics (GGD) - 2017 DATE: 06 November 2017 to 24 November 2017 VENUE: Ramanujan Lecture Hall, ICTS, Bengaluru The program focuses on geometry, dynamical systems and group actions. Topics are chosen to cover the modern aspects of these areas in which research has b
From playlist Geometry, Groups and Dynamics (GGD) - 2017
Definition of an Injective Function and Sample Proof
We define what it means for a function to be injective and do a simple proof where we show a specific function is injective. Injective functions are also called one-to-one functions. Useful Math Supplies https://amzn.to/3Y5TGcv My Recording Gear https://amzn.to/3BFvcxp (these are my affil
From playlist Injective, Surjective, and Bijective Functions
Pierre Dehornoy: Wich geodesic flows are left-handed?
Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b
From playlist Dynamical Systems and Ordinary Differential Equations