Mathematical objects | Set theory | Constructivism (mathematics) | Basic concepts in set theory
In constructive mathematics, a set is inhabited if there exists an element In classical mathematics, this is the same as the set being nonempty; however, this equivalence is not valid in intuitionistic logic (or constructive logic). (Wikipedia).
Are we alone—and if not, what might the inhabitants of far-flung worlds look like? Aired January 8, 2014 on PBS
From playlist Previews
I do not own this video nor the music this video was merely put here for convenience becaat the time i couldn't find the original and figured it had been taken down
From playlist 'Sleeping Sun' videos.
From playlist Music.
From playlist Open Q&A
From playlist 'Sleeping Sun' videos.
What to do with all those old PCBs from stuff you've taken apart...
From playlist Projects & Installations
One of my 3D Labyrinths. I love this architecture. It is completely randomly generated. I just choose the best ones. But as it turns out, I almost always keep them. They are all so good.
From playlist Labyrinth
The Blue-Eyes Logic Puzzle comes from xkcd.com, who got it from a guy named Joel. (NB: The inhabitants know all the rules of the puzzle.) ... [I wrote a book! https://amzn.to/3tI332x] Contents: 0:00 Preamble 0:20 Puzzle set up 1:52 Admonition 2:13 Solution 4:54 Bob's Yer Uncle
From playlist Famous Math Problems
Ancient Aliens: Intergalactic Energy Grid (Season 12, Episode 4) | History
Is it possible that ancient structures were designed to function together as part of an energy grid not just here on Earth but as part of a larger one that spans through the universe? #AncientAliens Subscribe for more from Ancient Aliens and other great HISTORY shows: http://histv.co/Subsc
From playlist Ancient Aliens: Official Series Playlist | New Episodes Fridays at 9/8c | History
Why should you learn Type Theory?
This video tries to be a brief introduction to Type Theory. I am sorry for the inaccuracies or potential errors. Feel free to tell me in the comments, I just started learning about this topic but I found it too amazing not to share. As you probably already can tell, this is my first video
From playlist Summer of Math Exposition Youtube Videos
From playlist 'Sleeping Sun' videos.
The First Emperor's Home Base: Archaeological Perspectives on Ethnicity... - Lothar von Falkenhausen
The First Emperor's Home Base: Archaeological Perspectives on Ethnicity in Ancient China Lothar von Falkenhausen Professor of the History of Art University of California, Los Angeles October 22, 2010 Archaeologists working in China often correlate archaeological finds with ancient ethnic g
From playlist Historical Studies
Martin Hötzel Escardó: Constructive Mathematics in Univalent Type Theory (Lecture II)
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"
Schubfachprinzip – Kombinatorische Überlegungen | Kaleidoskop der Mathematik
Wer hätte gedacht, dass es in Berlin mindestens zwei Menschen geben muss, die gleich viele Haare auf dem Kopf haben? Das Schubfachprinzip, auch „Pigeonhole principle“ genannt, ist ein wichtiges Werkzeug der Kombinatorik. Es besagt Folgendes: Wenn m Gegenstände auf n Schubfächer verteilt we
From playlist Kaleidoskop der Mathematik - Kurzvorlesungen für Schüler*innen der Oberstufe
Benedikt Ahrens - Univalent Foundations and the UniMath library - IPAM at UCLA
Recorded 13 February 2023. Benedikt Ahrens of Delft University of Technology presents "Univalent Foundations and the UniMath library" at IPAM's Machine Assisted Proofs Workshop. Abstract: Univalent Foundations (UF) were designed by Voevodsky as a foundation of mathematics that is "invarian
From playlist 2023 Machine Assisted Proofs Workshop
Ibn Hayyān - The Viking Attack on Seville (844) Arabic Primary Source
Ibn Hayyan, was a Muslim historian from Al-Andalus. Born at Córdoba, he was an important official at the court of the Andalusian ruler al-Mansur and published several works on history which have only survived in part. His books constitute one of the most important sources for the study of
From playlist Vikings
LambdaConf 2015 - Parametricity The Essence of Information Hiding Kris Nuttycombe
This introductory talk is designed to help students new to functional programming understand how type parameters enable us to more easily reason about the behavior of functions and create APIs that enforce their invariants with type-level constraints. We will cover the principles of univer
From playlist LambdaConf 2015
Astrobiology and the Search for Extraterrestrial Life - with Ian Crawford
What can modern results in astrobiology tell us about the prospects for finding intelligent life elsewhere in the Universe? Subscribe for regular science videos: http://bit.ly/RiSubscRibe The famous Drake equation, which provides a rough estimate of the number of civilisations in our gala
From playlist Ri Talks
Karen VOGTMANN - Spaces of Graphs, Tori and Other Flat Gamma-complexes
Spaces of finite graphs play a key role in perturbative quantum field theory, but also in many other areas of science and mathematics. Among these is geometric group theory, where they are used to model groups of automorphism of free groups. Graphs can be thought of as 1-dimensional flat m
From playlist Algebraic Structures in Perturbative Quantum Field Theory: a conference in honour of Dirk Kreimer's 60th birthday
Ant Nest Made Entirely Out of ANTS! | Natural World: Ant Attack | BBC Earth
The driver ants march day and night, anticipating the arrival of their new Queen. She is brought to her new palace - a nest made entirely out of live ants. Subscribe: http://bit.ly/BBCEarthSub Watch more: Planet Earth http://bit.ly/PlanetEarthPlaylist Blue Planet http://bit.ly/BluePla
From playlist New On Earth: Wildlife, Nature and Science Documentaries