Foundations of geometry | Euclidean plane geometry
In geometry, Pasch's axiom is a statement in plane geometry, used implicitly by Euclid, which cannot be derived from the postulates as Euclid gave them. Its essential role was discovered by Moritz Pasch in 1882. (Wikipedia).
This lecture is part of an online course on the Zermelo Fraenkel axioms of set theory. This lecture gives an overview of the axioms, describes the von Neumann hierarchy, and sketches several approaches to interpreting the axioms (Platonism, von Neumann hierarchy, multiverse, formalism, pra
From playlist Zermelo Fraenkel axioms
What's so wrong with the Axiom of Choice ?
One of the Zermelo- Fraenkel axioms, called axiom of choice, is remarkably controversial. It links to linear algebra and several paradoxes- find out what is so strange about it ! (00:22) - Math objects as sets (00:54) - What axioms we use ? (01:30) - Understanding axiom of choice (03:2
From playlist Something you did not know...
This is part of a series of lectures on the Zermelo-Fraenkel axioms for set theory. We dicuss the axiom of chice, and sketch why it is independent of the other axioms of set theory. For the other lectures in the course see https://www.youtube.com/playlist?list=PL8yHsr3EFj52EKVgPi-p50f
From playlist Zermelo Fraenkel axioms
PotW: Prove Pasch’s Postulate as a Theorem [Geometry]
If this video is confusing be sure to check out our blog for the full solution transcript! https://centerofmathematics.blogspot.com/2018/11/problem-of-week-11-08-18-prove-paschs.html
From playlist Center of Math: Problems of the Week
Set Theory (Part 2): ZFC Axioms
Please feel free to leave comments/questions on the video and practice problems below! In this video, I introduce some common axioms in set theory using the Zermelo-Fraenkel w/ choice (ZFC) system. Five out of nine ZFC axioms are covered and the remaining four will be introduced in their
From playlist Set Theory by Mathoma
This is part of a series of lectures on the Zermelo-Fraenkel axioms for set theory. We discuss the powerset axiom, the strongest of the ZF axioms, and explain why the notion of a powerset is so hard to pin down precisely. For the other lectures in the course see https://www.youtube.com
From playlist Zermelo Fraenkel axioms
The perfect number of axioms | Axiomatic Set Theory, Section 1.1
In this video we introduce 6 of the axioms of ZFC set theory. My Twitter: https://twitter.com/KristapsBalodi3 Intro: (0:00) The Axiom of Existence: (2:39) The Axiom of Extensionality: (4:20) The Axiom Schema of Comprehension: (6:15) The Axiom of Pair (12:16) The Axiom of Union (15:15) T
From playlist Axiomatic Set Theory
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
Set Theory 1.1 : Axioms of Set Theory
In this video, I introduce the axioms of set theory and Russel's Paradox. Email : fematikaqna@gmail.com Code : https://github.com/Fematika/Animations Notes : http://docdro.id/5ITQHUW
From playlist Set Theory
How do you Escape from an Exploding rocket? - Launch Escape Systems
Get Readly with 1 month FREE here: https://gb.readly.com/2020-curiousdroid Ever wondered what might happen if a rocket developed a problem on the launchpad or the launch and how the crew might escape. Well that something which has been used ever since the very first manned mission and con
From playlist Rockets and Space Craft
NASA's Mega Hubble - The Roman Space Telescope
https://brilliant.org/CuriousDroid What do you do when the NRO (National Reconnaissance Office) makes you an offer you can't refuse?. Well in the case of NASA you update an existing design to create a Hubble on steroids that can cover the same amount of sky as one hundred Hubble's, drastic
From playlist Rockets and Space Craft
F-4 Phantom, The Ultimate Cold War Warrior
This video is sponsored by Blinkist, the first 100 people to go to https://www.blinkist.com/curiousdroid will get FREE unlimited access for 1 week to try it out. You will also get 25% off the full membership price. The Macdonell Douglas F-4 was the more widely produced and internationally
From playlist Planes, Trains and Automobiles
What happened to the British aircraft industry?
Considering the UK was at the forefront of aviation, the fall and rise of the British aircraft and defence industry is one of the lesser-known subjects even to us Britians who often see the fall of manufacturing as just one way, though the British government has sometimes made things much
From playlist Planes, Trains and Automobiles
The Real Guide to Imaginary Companions - Episode 2
Ask a child with an imaginary companion if their pretend friend is real, and often they'll tell you, "I just made them up!" Of course, moments later they'll regale you with stories of the latest adventures with their companion with the utmost conviction. In the second episode of The Real G
From playlist The Real Guide to Imaginary Companions
In this video I write down the axioms of Lie algebras and then discuss the defining anti-symmetric bilinear map (the Lie bracket) which is zero on the diagonal and fulfills the Jacobi identity. I'm following the compact book "Introduction to Lie Algebras" by Erdmann and Wildon. https://gi
From playlist Algebra
Nuking the moon - The Secret USAF Project A119
To get 70% off with the NordVPN 3-year deal plus 1 month free and as part of NordVPN's 8th birthday celebrations, customers will get extra free gifts from NordVPN. Use with the coupon code "curiousdroid" deal here: https://nordvpn.com/curiousdroid Coupon code: curiousdroid What if the mo
From playlist Space
What Happened to the Numbers Stations? - Spying by Numbers
https://brilliant.org/CuriousDroid If you've ever listened to a shortwave radio you may have heard the strange creepy numbers stations just calling out numbers in synthesized voices with little tunes introducing and ending them. What is their purpose? and why are they still being used 70+
From playlist Strangeness and Oddities
Is hydrogen the future of flight?
Get MagellanTV here: https://try.magellantv.com/curiousdroid & get an exclusive offer extended to our viewers: an extra month FREE. MagellanTV is a new kind of streaming service run by filmmakers with 3,000+ documentaries! Check out our personal recommendation and MagellanTV’s exclusive pl
From playlist Planes, Trains and Automobiles
Relations and Functions | Axiomatic Set Theory, Section 2.1
In this video we define and prove a few basic theorems about relations and functions. My Twitter: https://twitter.com/KristapsBalodi3 Intro:(0:00) Ordered Pairs:(1:43) IMAGE-in that!:(3:33) Composition: (7:57) Functions:(11:05) Special thanks to Alex Stephens
From playlist Axiomatic Set Theory