Computable analysis | Computability theory | Effective descriptive set theory

Effective Polish space

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).

Video thumbnail

Topology: Metric Spaces

This video is about metric spaces and some of their basic properties.

From playlist Basics: Topology

Video thumbnail

Metric spaces -- Proofs

This lecture is on Introduction to Higher Mathematics (Proofs). For more see http://calculus123.com.

From playlist Proofs

Video thumbnail

What is a metric space ?

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

Video thumbnail

Introduction to Metric Spaces

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

Video thumbnail

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

Video thumbnail

What is space?

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

Video thumbnail

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

Video thumbnail

What is a Vector Space?

This video explains the definition of a vector space and provides examples of vector spaces.

From playlist Vector Spaces

Video thumbnail

Open and closed sets -- Proofs

This lecture is on Introduction to Higher Mathematics (Proofs). For more see http://calculus123.com.

From playlist Proofs

Video thumbnail

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.

Video thumbnail

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

Video thumbnail

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

Video thumbnail

Geopolitics of Poland

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

Optimal Transport (according to Gaspard Monge)

A brief introduction to the Optimal Transport problem of Gaspard Monge.

From playlist Optimal Transport

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Related pages

Polish space | Metric space | Constructive analysis | Mathematical logic | Separable space | Effective descriptive set theory | Complete metric space | Cantor set | Baire space (set theory)