The history of the separation axioms in general topology has been convoluted, with many meanings competing for the same terms and many terms competing for the same concept. (Wikipedia).
SEPARATION BUT MATHEMATICALLY: What Types of Mathematical Topologies are there? | Nathan Dalaklis
The title of this video is a bit convoluted. What do you mean by "Separation but Mathematically"? Well, in this video I'll be giving a (very diluted) answer to the question "What types of mathematical topologies are there?" by introducing the separation axioms in topology. The separation
From playlist The New CHALKboard
Ex 1: Initial Value Problem - Separation of Variables
This video provides an example of how to solve an initial value problem that requires the technique of separation of variables. Video Library: http://mathispower4u.com Search by Topic: http://mathispower4u.wordpress.com
From playlist First Order Differential Equations: Separation of Variables
Differential Equations: Separation of Variables
This video provides several examples of how to solve a DE using the technique of separation of variables. website: http://mathispower4u.com blog: http://mathispower4u.wordpress.com
From playlist First Order Differential Equations: Separation of Variables
Ex 2: Initial Value Problem - Separation of Variables
This video provides an example of how to solve an initial value problem that requires the technique of separation of variables. Video Library: http://mathispower4u.com Search by Topic: http://mathispower4u.wordpress.com
From playlist First Order Differential Equations: Separation of Variables
B01 An introduction to separable variables
In this first lecture I explain the concept of using the separation of variables to solve a differential equation.
From playlist Differential Equations
Limits and Limit Laws in Calculus
In introducing the concept of differentiation, we investigated the behavior of some parameter in the limit of something else approaching zero or infinity. This concept of limits is how calculus got started. As the field developed, new techniques arose such that we don't have to find limits
From playlist Calculus
Equivalences and Partitions, Axiomatic Set Theory 2 2
Defining equivalences and partitions of sets, and proving some theorems about their relations to each other. My Twitter: https://twitter.com/KristapsBalodi3 Equivalence Relations:(0:00) Partitions:(9:22) Connecting Equivalence and Partitions:(14:09) Representatives:(27:04)
From playlist Axiomatic Set Theory
You should know what Impredicativity is.
In this video I discuss the concept of predicativity, impredicativity and vicious circles. The text for the video is found in https://gist.github.com/Nikolaj-K/aae1f4bd582e60e6b7e5b5431fee054c
From playlist Logic
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
LambdaConf 2015 - The Abstract Method, In General Gershom Bazerman
“Programming is about abstraction.” But what is abstraction about? Surely not just programming. Why do we need it, why do we keep reinventing it? How do we even recognize it when we see it, across so many domains? When something is more abstract, it is not necessarily more useless, even th
From playlist LambdaConf 2015
The story of mathematical proof – with John Stillwell
Discover the surprising history of proof, a mathematically vital concept. In this talk John covers the areas of number theory, non-Euclidean geometry, topology, and logic, and peer into the deep chasm between natural number arithmetic and the real numbers. Buy John's book here: https://g
From playlist Livestreams
Wolfram Physics Project: Working Session Aug 18, 2020 [Physicalization of Empirical Metamathematics]
This is a Wolfram Physics Project working session on empirical metamathematics and its physicalization. Begins at 3:00 Originally livestreamed at: https://twitch.tv/stephen_wolfram Stay up-to-date on this project by visiting our website: http://wolfr.am/physics Check out the announcement
From playlist Wolfram Physics Project Livestream Archive
Wolfram Physics Project: Philosophical Implications & Q&A
Stephen Wolfram & Jonathan Gorard continue answering questions about the new Wolfram Physics Project, this time specifically for Philosophy implications. Begins at 3:45 Originally livestreamed at: https://twitch.tv/stephen_wolfram Stay up-to-date on this project by visiting our website:
From playlist Wolfram Physics Project Livestream Archive
Wolfram Physics Project: Working Session Tuesday, July 28, 2020 [Metamathematics | Part 3]
This is a Wolfram Physics Project progress update at the Wolfram Summer School. This is a continuation of part two found here: https://youtu.be/ndtLa0BhEdg Originally livestreamed at: https://twitch.tv/stephen_wolfram Stay up-to-date on this project by visiting our website: http://wolfr.
From playlist Wolfram Physics Project Livestream Archive
Is Mathematics Invented or Discovered? | Episode 409 | Closer To Truth
Mathematics describes the real world of atoms and acorns, stars and stairs, with remarkable precision. So is mathematics invented by humans-like chisels and hammers and pieces of music? Or is mathematics discovered-always out there, somewhere, like mysterious islands waiting to be found? F
From playlist Closer To Truth | Season 4
Live CEOing Ep 28: Proofs in the Wolfram Language
Watch Stephen Wolfram and teams of developers in a live, working, language design meeting. This episode is about Proofs in the Wolfram Language.
From playlist Behind the Scenes in Real-Life Software Design
Ex 2: Differential Equations: Separation of Variables
This video solves a differential equation using separation of variables. Video Library: http://mathispower4u.com Search by Topic: http://mathispower4u.wordress.com
From playlist First Order Differential Equations: Separation of Variables