Computable analysis | Computability theory | Effective descriptive set theory
In mathematical logic, an effective Polish space is a complete separable metric space that has a . Such spaces are studied in effective descriptive set theory and in constructive analysis. In particular, standard examples of Polish spaces such as the real line, the Cantor set and the Baire space are all effective Polish spaces. (Wikipedia).
This video is about metric spaces and some of their basic properties.
From playlist Basics: Topology
This lecture is on Introduction to Higher Mathematics (Proofs). For more see http://calculus123.com.
From playlist Proofs
Metric space definition and examples. Welcome to the beautiful world of topology and analysis! In this video, I present the important concept of a metric space, and give 10 examples. The idea of a metric space is to generalize the concept of absolute values and distances to sets more gener
From playlist Topology
Introduction to Metric Spaces - Definition of a Metric. - The metric on R - The Euclidean Metric on R^n - A metric on the set of all bounded functions - The discrete metric
From playlist Topology
An introduction to the Gromov-Hausdorff distance
Title: An introduction to the Gromov-Hausdorff distance Abstract: We give a brief introduction to the Hausdorff and Gromov-Hausdorff distances between metric spaces. The Hausdorff distance is defined on two subsets of a common metric space. The Gromov-Hausdorff distance is defined on any
From playlist Tutorials
What exactly is space? Brian Greene explains what the "stuff" around us is. Subscribe to our YouTube Channel for all the latest from World Science U. Visit our Website: http://www.worldscienceu.com/ Like us on Facebook: https://www.facebook.com/worldscienceu Follow us on Twitter: https:
From playlist Science Unplugged: Physics
What is a metric space? An example
This is a basic introduction to the idea of a metric space. I introduce the idea of a metric and a metric space framed within the context of R^n. I show that a particular distance function satisfies the conditions of being a metric.
From playlist Mathematical analysis and applications
This video explains the definition of a vector space and provides examples of vector spaces.
From playlist Vector Spaces
Open and closed sets -- Proofs
This lecture is on Introduction to Higher Mathematics (Proofs). For more see http://calculus123.com.
From playlist Proofs
Norbert Müller : Wrapping in exact real arithmetic
Abstract : A serious problem common to all interval algorithms is that they suffer from wrapping effects, i.e. unnecessary growth of approximations during a computation. This is essentially connected to functional dependencies inside vectors of data computed from the same inputs. Reducing
From playlist SPECIAL 7th European congress of Mathematics Berlin 2016.
A Tale of Two Jousts: Multimedia, Game Feel, and Imagination
From the Interactive Media & Games Seminar Series; Douglas Wilson an Assistant Professor of Game Design at RMIT University and Co-Owner Die Gute Fabrik argues that the term "game feel" is so useful precisely because it speaks to the messy amalgamation of computation, multimedia, and cultur
From playlist Interactive Media & Games Seminars Fall 2016
Making a monolithic telescope Part 3: Figuring & Testing
Use the following links if you want to skip to the next chapter of the video: 00:00 General intro 01:54 Required level of precision 07:12 Measuring surface shapes with interferometry 10:46 Fringe evaluation with DFTfringe 12:12 Optical Pitch polishing 17:19 Making molds using 3D printing
From playlist optics
Why Poland's geography is bad for politics. Support CaspianReport on Patreon: https://www.patreon.com/CaspianReport Bitcoin: 1MwRNXWWqzbmsHova7FMW11zPftVZVUfbU Ether: 0xfE4c310ccb6f52f9D220F25Ce76Dec0493dF9aA0 Bitcoin Cash: 1BKLti4Wq4EK9fsBnYWC91caK7NZfUhNw9 BAKU - Throughout its histor
From playlist Geopolitics
How To Create A Video For Data Science Website Using Fusion | Introduction | #design
Don’t forget to subscribe! In this project series, you will learn to create a video for a data science website using Fusion. This small course has the main goal to teach you how to use a node-based video editor Fusion from the Blackmagic Design team to create abstract video backgrounds
From playlist Create A Video For Data Science Website Using Fusion
Lec 2 | MIT 2.830J Control of Manufacturing Processes, S08
Lecture 2: Semiconductor process variation Instructor: Duane Boning, David Hardt View the complete course at: http://ocw.mit.edu/2-830JS08 License: Creative Commons BY-NC-SA More information at http://ocw.mit.edu/terms More courses at http://ocw.mit.edu
From playlist MIT 2.830J, Control of Manufacturing Processes S08
Optimal Transport (according to Gaspard Monge)
A brief introduction to the Optimal Transport problem of Gaspard Monge.
From playlist Optimal Transport
Why is this Space Telescope so Tiny?
Optical Engineer Rik ter Horst shows us how he makes very small telescopes (at home) which are intended for use in micro-satellites. Contents: 0:00 Intro 1:06 About telescopes and focal length 3:35 The Cassegrain telescope 4:38 The Schmidt-Cassegrain telescope 5:18 The monolithic telesco
From playlist optics
Tu Gu Na Xin: Daoist Breathwork - Contemplation By Design Summit 2018, Stanford University
Daoists directly relate ones quality of breath with their quality of life. Tu Gu Na Xin is a Daoist breathing method that cleans and clears the lungs. This allows for deeper, fuller breaths, contributing to a richer experience of life. Participants will learn to assess their breath capac
From playlist Contemplation By Design
Weird notions of "distance" || Intro to Metric Spaces
Visit https://brilliant.org/TreforBazett/ to get started learning STEM for free, and the first 200 people will get 20% off their annual premium subscription. Check out my MATH MERCH line in collaboration with Beautiful Equations ►https://www.beautifulequation.com/pages/trefor Weird, fun
From playlist Cool Math Series
What is the Speed of Gravity? The Deleted Sun Experiment
In this video I show you what the speed of gravity is and then show you what happens if the sun suddenly disappeared. What would happen to the orbits of the planets? Then I talk about why some people say that gravity is instantaneous and some say it is not. The software I used in the video
From playlist The Action Lab And The Theory of Relativity