Special Relativity A1 The Postulates of Special Relativity
The postulates of special relativity.
From playlist Physics - Special Relativity
19 Defining the types of binary operations
The two types of binary operations discussed in this video are commutative and associative. We saw them in the previous video and here we define them specifically so that we can build on our repertoire to use in proofs. Remember, it is by filling up our toolbox with these definitions that
From playlist Abstract algebra
Programming Ruby 03 -- Basic Types
An overview of the basic types in Ruby -- strings, integers, arrays, and hashes.
From playlist Programming: Ruby
What are the Types of Numbers? Real vs. Imaginary, Rational vs. Irrational
We've mentioned in passing some different ways to classify numbers, like rational, irrational, real, imaginary, integers, fractions, and more. If this is confusing, then take a look at this handy-dandy guide to the taxonomy of numbers! It turns out we can use a hierarchical scheme just lik
From playlist Algebra 1 & 2
Lesson 02_03 Abstract and concrete types
Download the notebook files as they are added at: http://www.juanklopper.com/computer-programming/ All types are either concrete (that is a type right at the bottom of the tree of types) or abstract (basically everything higher up the tree). Concrete types are what we work with. We can c
From playlist The Julia Computer Language
You’re probably familiar with types in programming languages, such as “integer” or “list of integers.” But what if your type system were powerful enough to express types like “non-negative integer” or “list of strings where each string is at least eight characters long”? Welcome to the wor
From playlist Software Development
Description of natural, counting, whole, integer, rational and irrational numbers.
From playlist Arithmetic and Pre-Algebra: Number Sense and Properties
The Different Types of Numbers
In this video, I talk about the different types of numbers. The sets I discuss include the Natural Numbers, Whole Numbers, Integers, Rational Numbers and the Real Numbers. I go into detail on the definitions of each type of number, and spend extra time explaining the difference between a r
From playlist Pre-Calculus
Michio Kaku - What is the Far Far Future of Humans in the Universe?
Consider humanity's astounding progress in science during the past three hundred years. Now take a deep breath and project forward three billion years. Assuming humans survive, can we even conceive of what our progeny might be like? Click here to watch more interviews with Michio Kaku htt
From playlist What is the Far Far Future of Humans in the Universe? - CTT Interview Series
Working Group on Univalent Foundations - Daniel Grayson
Daniel Grayson Member, School of Mathematics, IAS December 7, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
Gluing in Homotopy Type Theory - Michael Shulman
Michael Shulman University of California, San Diego; Member, School of Mathematics March 20, 2013 For more videos, visit http://video.ias.edu
From playlist Mathematics
Jose Lages - World influence from Wikipedia directed networks: ...
Jose Lages - World influence from Wikipedia directed networks: academic rankings, infectious diseases, cancers and drugs https://indico.math.cnrs.fr/event/3475/attachments/2180/2561/Lages_GomaxSlides.pdf
From playlist Google matrix: fundamentals, applications and beyond
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"
Working Group on Univalent Foundations - Michael Shulman
Michael Shulman Institute for Advanced Study December 12, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
5 - Kick-off afternoon : Vladimir Voevodsky, Univalent Foundations
Vladimir Voevodsky (Institute for Advanced Study, Princeton): Univalent Foundations - new type-theoretic foundations of mathematics
From playlist T2-2014 : Semantics of proofs and certified mathematics
On Voevodsky's univalence principle - André Joyal
Vladimir Voevodsky Memorial Conference Topic: On Voevodsky's univalence principle Speaker: André Joyal Affiliation: Université du Québec á Montréal Date: September 11, 2018 For more video please visit http://video.ias.edu
From playlist Mathematics
Egbert Rijke: Daily applications of the univalence axiom - lecture 1
HYBRID EVENT Recorded during the meeting "Logic and Interactions" the February 21, 2022 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual M
From playlist Combinatorics
Understanding Dark Energy With Most Detailed Supernovae Survey | Dr Dillon Brout
Dark Energy will determine how the Universe will die. With the help of Pantheon+, the most detailed survey of Type 1A supernovae, astronomers can understand more details about Dark Energy and the expansion of spacetime. 👉 Dr Dilon Brout https://pweb.cfa.harvard.edu/people/dillon-brout 🦄
From playlist Interviews
This tutorial explains the different types of numbers commonly used in algebra. The number types discussed are counting, whole, integer, rational, irrational, and imaginary. Join this channel to get access to perks: https://www.youtube.com/channel/UCn2SbZWi4yTkmPUj5wnbfoA/join :)
From playlist Basic Math