Set theory | Constructivism (mathematics)
In mathematical logic, Diaconescu's theorem, or the Goodman–Myhill theorem, states that the full axiom of choice is sufficient to derive the law of the excluded middle, or restricted forms of it, in constructive set theory. It was discovered in 1975 by Radu Diaconescu and later by Goodman and Myhill. Already in 1967, Errett Bishop posed the theorem as an exercise (Problem 2 on page 58 in Foundations of constructive analysis). (Wikipedia).
Laurent Lafforgue - 3/4 Classifying toposes of geometric theories
Course at the school and conference “Toposes online” (24-30 June 2021): https://aroundtoposes.com/toposesonline/ Slides: https://aroundtoposes.com/wp-content/uploads/2021/07/LafforgueSlidesToposesOnline.pdf The purpose of these lectures will be to present the theory of classifying topose
From playlist Toposes online
Emanuel Diaconescu - Donaldson-Thomas invariants and character varieties
Emanuel DIACONESCU (Univ. of Alberta, Canada)
From playlist Algèbre, Géométrie et Physique : une conférence en l'honneur
Mr LIMA de CARVALHO e SILVA - From Essential Inclusions to Local Geometric Morphisms
It is well known that, given a site of denition, a subtopos of Grothendieck topos can be obtained by strengthening the Grothendieck topology, thus obtaining an inclusion of toposes. An essential inclusion is one where the inverse image functor of this inclusion has a left adjoint. Kelly an
From playlist Topos à l'IHES
[BOURBAKI 2019] HOMFLY polynomials from the Hilbert schemes of a planar curve - Migliorini -30/03/19
Luca MIGLIORINI HOMFLY polynomials from the Hilbert schemes of a planar curve, after D. Maulik, A. Oblomkov, V. Shende... Among the most interesting invariants one can associate with a link L ⊂ S3 is its HOMFLY polynomial P(L, v, s) ∈ Z[v±1, (s – s–1)±1]. A. Oblomkov and V. Shende conjec
From playlist BOURBAKI - 2019
Laurent Lafforgue - 4/4 Classifying toposes of geometric theories
Course at the school and conference “Toposes online” (24-30 June 2021): https://aroundtoposes.com/toposesonline/ Slides: https://aroundtoposes.com/wp-content/uploads/2021/07/LafforgueSlidesToposesOnline.pdf The purpose of these lectures will be to present the theory of classifying topose
From playlist Toposes online
Differential Equations | Convolution: Definition and Examples
We give a definition as well as a few examples of the convolution of two functions. http://www.michael-penn.net http://www.randolphcollege.edu/mathematics/
From playlist Differential Equations
Proof - the Derivative of a Constant Times a Function: d/dx[cf(x)]
This video proves the derivative of a constant times a function equals the constant time the derivative of f(x). http://mathispower4u.com
From playlist Calculus Proofs
Calculus - The Fundamental Theorem, Part 3
The Fundamental Theorem of Calculus. Specific examples of simple functions, and how the antiderivative of these functions relates to the area under the graph.
From playlist Calculus - The Fundamental Theorem of Calculus
Axiom of Choice and Regularity each imply LEM
I recommend you go through all parts, but thee AC-LEM proof starts at 55:30. If you skip stuff, still watch the section at 8:22, because I talk in terms of those semantics later. The Regularity-LEM proof at 1:50:55 requires definitions from the earlier AC-LEM proof. Timestamps: 0:00 Intro
From playlist Summer of Math Exposition 2 videos
Calculus - The Fundamental Theorem, Part 2
The Fundamental Theorem of Calculus. A discussion of the antiderivative function and how it relates to the area under a graph.
From playlist Calculus - The Fundamental Theorem of Calculus
Prove the Derivative of a Constant: d/dx[c]
This video proves the derivative of a constant equals zero. http://mathispower4u.com
From playlist Calculus Proofs
Olivia Caramello - 2/4 Introduction to sheaves, stacks and relative toposes
Course at the school and conference “Toposes online” (24-30 June 2021): https://aroundtoposes.com/toposesonline/ Slides: https://aroundtoposes.com/wp-content/uploads/2021/07/CaramelloSlidesToposesOnline.pdf This course provides a geometric introduction to (relative) topos theory. The fir
From playlist Toposes online
The Antiderivative of a Polynomial Divided by a Monomial
This video explains how to determine an antiderivative of a function that is a polynomial divided by a monomial.
From playlist The Antiderivative
Concavity and Parametric Equations Example
Please Subscribe here, thank you!!! https://goo.gl/JQ8Nys Concavity and Parametric Equations Example. We find the open t-intervals on which the graph of the parametric equations is concave upward and concave downward.
From playlist Calculus
Fundamental Theorem of Calculus
From playlist F. Integration
Calculus 5.3 The Fundamental Theorem of Calculus
My notes are available at http://asherbroberts.com/ (so you can write along with me). Calculus: Early Transcendentals 8th Edition by James Stewart
From playlist Calculus
Calculus 1 (Stewart) Ep 22, Mean Value Theorem (Oct 28, 2021)
This is a recording of a live class for Math 1171, Calculus 1, an undergraduate course for math majors (and others) at Fairfield University, Fall 2021. The textbook is Stewart. PDF of the written notes, and a list of all episodes is at the class website. Class website: http://cstaecker.f
From playlist Math 1171 (Calculus 1) Fall 2021
Equidistribution of Unipotent Random Walks on Homogeneous spaces by Emmanuel Breuillard
PROGRAM : ERGODIC THEORY AND DYNAMICAL SYSTEMS (HYBRID) ORGANIZERS : C. S. Aravinda (TIFR-CAM, Bengaluru), Anish Ghosh (TIFR, Mumbai) and Riddhi Shah (JNU, New Delhi) DATE : 05 December 2022 to 16 December 2022 VENUE : Ramanujan Lecture Hall and Online The programme will have an emphasis
From playlist Ergodic Theory and Dynamical Systems 2022
Paul Shafer:Reverse mathematics of Caristi's fixed point theorem and Ekeland's variational principle
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: Caristi's fixed point theorem is a fixed point theorem for functions that are controlled by continuous functions but are necessarily continuous themselves. Let a 'Caristi
From playlist Workshop: "Proofs and Computation"
What is Green's theorem? Chris Tisdell UNSW
This lecture discusses Green's theorem in the plane. Green's theorem not only gives a relationship between double integrals and line integrals, but it also gives a relationship between "curl" and "circulation". In addition, Gauss' divergence theorem in the plane is also discussed, whic
From playlist Vector Calculus @ UNSW Sydney. Dr Chris Tisdell