Set theory | Equivalence (mathematics)
In logic, extensionality, or extensional equality, refers to principles that judge objects to be equal if they have the same external properties. It stands in contrast to the concept of intensionality, which is concerned with whether the internal definitions of objects are the same. (Wikipedia).
Extended Fundamental Theorem of Calculus
Please Subscribe here, thank you!!! https://goo.gl/JQ8Nys Extended Fundamental Theorem of Calculus. You can use this instead of the First Fundamental Theorem of Calculus and the Second Fundamental Theorem of Calculus. - Formula - Proof sketch of the formula - Six Examples
From playlist Calculus
What is a continuous extension?
Continuous Extension In this video, I define the concept of a continuous extension of a function and show that a function has a continuous extension if and only if it is uniformly continuous. This explains yet again why uniform continuity is so awesome Uniform Continuity: https://youtu.b
From playlist Limits and Continuity
Evaluating Limits Definition of Derivative
I work through 2 example evaluating the limit definition of a derivative. Check out http://www.ProfRobBob.com, there you will find my lessons organized by chapters within each subject. If you'd like to make a donation to support my efforts look for the "Tip the Teacher" button on my chann
From playlist Calculus (New)
12_1_1 Introduction to Taylor Polynomials
An introduction to expand a function into a Taylor polynomial.
From playlist Advanced Calculus / Multivariable Calculus
11_3_6 Continuity and Differentiablility
Prerequisites for continuity. What criteria need to be fulfilled to call a multivariable function continuous.
From playlist Advanced Calculus / Multivariable Calculus
👉 Learn about dilations. Dilation is the transformation of a shape by a scale factor to produce an image that is similar to the original shape but is different in size from the original shape. A dilation that creates a larger image is called an enlargement or a stretch while a dilation tha
From playlist Transformations
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
Coming soon to MASSOLIT – Geography: Divergent Plate Boundaries
MASSOLIT Featured Course of the Month This video is one part of a series of lectures that make up one MASSOLIT course. The full course is freely available for one month and will be removed from YouTube at the end of January 2023. More info is available at https://www.massolit.io/?source=
From playlist Geography
Live CEOing Ep 410: Language Design in Wolfram Language [Combinators]
In this episode of Live CEOing, Stephen Wolfram reviews the design of some upcoming functionality for the Wolfram Language. If you'd like to contribute to the discussion in future episodes, you can participate through this YouTube channel or through the official Twitch channel of Stephen W
From playlist Behind the Scenes in Real-Life Software Design
Introduction to Combinatory Logic – #SoME2
This is Alexander Farrugia's and Giorgio Grigolo's submission to the second 3blue1brown Summer of Math Exposition. #some2 #mathematics #combinators #logic Music: Icelandic Arpeggios – DivKid
From playlist Summer of Math Exposition 2 videos
11_4_1 The Derivative of the Composition of Functions
The composition of a multivariable function and a vector function and calculating its derivative.
From playlist Advanced Calculus / Multivariable Calculus
Tests, Games, and Martin-Lof's Meaning Explanations for Intuitionistic Type Theory - Peter Dybjer
Peter Dybjer November 30, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
Martin Hötzel Escardó: Constructive Mathematics in Univalent Type Theory (Lecture I)
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions
From playlist HIM Lectures: Trimester Program "Types, Sets and Constructions"
Martin Hötzel Escardó: Constructive Mathematics in Univalent Type Theory (Lecture II)
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions
From playlist HIM Lectures: Trimester Program "Types, Sets and Constructions"
What is length contraction? Length contraction gives the second piece (along with time dilation) of the puzzle that allows us to reconcile the fact that the speed of light is constant in all reference frames.
From playlist Relativity
On the Setoid Model of Type Theory - Erik Palmgren
Erik Palmgren University of Stockholm October 18, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
Lecture 14: The Turing Test - Richard Buckland UNSW
Inspirational Scientist Jane Goodall speaks about Jo-Jo and Rick. (sound patchy for first 8 mins - download the full quality 4min audio clip of her lecture from http://www.cse.unsw.edu.au/~richardb/JaneGoodall.wav courtesy of the ABC RN Science Show) More about the great thinker Alan
From playlist CS1: Higher Computing - Richard Buckland UNSW
12_2_1 Taylor Polynomials of Multivariable Functions
Now we expand the creation of a Taylor Polynomial to multivariable functions.
From playlist Advanced Calculus / Multivariable Calculus
Furio Honsell - Tribute to Ennio De Giorgi - 20 September 2016
Honsell, Furio "Implementing Cantor’s paradise in constructive type theory"
From playlist A Mathematical Tribute to Ennio De Giorgi