Mathematical axioms | Foundations of geometry | Elementary geometry
Tarski's axioms, due to Alfred Tarski, are an axiom set for the substantial fragment of Euclidean geometry that is formulable in first-order logic with identity, and requiring no set theory (i.e., that part of Euclidean geometry that is formulable as an elementary theory). Other modern axiomizations of Euclidean geometry are Hilbert's axioms and Birkhoff's axioms. (Wikipedia).
Mark Sapir - The Tarski numbers of groups.
Mark Sapir (Vanderbilt University, USA) The Tarski number of a non-amenable group is the minimal number of pieces in a paradoxical decomposition of the group. It is known that a group has Tarski number 4 if and only if it contains a free non-cyclic subgroup, and the Tarski numbers of tors
From playlist T1-2014 : Random walks and asymptopic geometry of groups.
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...
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 Math Theorem Proves that 1=1+1 | The Banach-Tarskis Paradox
Mathematicians are in nearly universal agreement that the strangest paradox in math is the Banach-Tarski paradox, in which you can split one ball into a finite number of pieces, then rearrange the pieces to get two balls of the same size. Interestingly, only a minority of mathematicians ha
From playlist Math and Statistics
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
Death by infinity puzzles and the Axiom of Choice
In this video the Mathologer sets out to commit the perfect murder using infinitely many assassins and, subsequently, to get them off the hook in court. The story is broken up into three very tricky puzzles. Challenge yourself to figure them out before the Mathologer reveals his own soluti
From playlist Recent videos
How the Axiom of Choice Gives Sizeless Sets | Infinite Series
Viewers like you help make PBS (Thank you 😃) . Support your local PBS Member Station here: https://to.pbs.org/donateinfi Does every set - or collection of numbers - have a size: a length or a width? In other words, is it possible for a set to be sizeless? This in an updated version of our
From playlist An Infinite Playlist
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
Kurt Gödel Centenary - Part III
John W. Dawson, Jr. Pennsylvania State University November 17, 2006 More videos on http://video.ias.edu
From playlist Kurt Gödel Centenary
(PP 1.1) Measure theory: Why measure theory - The Banach-Tarski Paradox
A playlist of the Probability Primer series is available here: http://www.youtube.com/view_play_list?p=17567A1A3F5DB5E4 You can skip the measure theory (Section 1) if you're not interested in the rigorous underpinnings. If you choose to do this, you should start with "(PP 1.S) Measure
From playlist Probability Theory
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
Silvia Steila: An overview over least fixed points in weak set theories
Given a monotone function on a complete lattice the least fixed point is defined as the minimum among the fixed points. Tarski Knaster Theorem states that every monotone function on a complete lattice has a least fixed point. There are two standard proofs of Tarski Knaster Theorem. The f
From playlist Workshop: "Proofs and Computation"
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
Joel David Hamkins : The hierarchy of second-order set theories between GBC and KM and beyond
Abstract: Recent work has clarified how various natural second-order set-theoretic principles, such as those concerned with class forcing or with proper class games, fit into a new robust hierarchy of second-order set theories between Gödel-Bernays GBC set theory and Kelley-Morse KM set th
From playlist Logic and Foundations
The Mathematical Truth | Enrico Bombieri
Enrico Bombieri, Professor Emeritus, School of Mathematics, Institute for Advanced Study http://www.ias.edu/people/faculty-and-emeriti/bombieri October 29, 2010 In this lecture, Professor Enrico Bombieri attempts to give an idea of the numerous different notions of truth in mathematics.
From playlist Mathematics
Measurable equidecompositions – András Máthé – ICM2018
Analysis and Operator Algebras Invited Lecture 8.8 Measurable equidecompositions András Máthé Abstract: The famous Banach–Tarski paradox and Hilbert’s third problem are part of story of paradoxical equidecompositions and invariant finitely additive measures. We review some of the classic
From playlist Analysis & Operator Algebras
Operations on Sets | Axiomatic Set Theory, Section 1.2
We define some basic operations on sets using the axioms of ZFC. My Twitter: https://twitter.com/KristapsBalodi3 Intersection:(0:00) Ordered Tuples/Products:(4:45)
From playlist Axiomatic Set Theory