In mathematics and logic, Ackermann set theory (AST) is an axiomatic set theory proposed by Wilhelm Ackermann in 1956. (Wikipedia).
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
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
The Most Famous Book on Set Theory
In this video I will show you what is considered to be perhaps the most influential book ever written on Set Theory. The book is called Set Theory and it was written by Felix Hausdorff. Another wonderful book is Naive Set Theory by Paul Halmos. We will look at both books and I will explain
From playlist Book Reviews
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
Introduction to sets || Set theory Overview - Part 1
A set is the mathematical model for a collection of different things; a set contains elements or members, which can be mathematical objects of any kind: numbers, symbols, points in space, lines, other geometrical shapes, variables, or even other #sets. The #set with no element is the empty
From playlist Set Theory
What is the complement of a set? Sets in mathematics are very cool, and one of my favorite thins in set theory is the complement and the universal set. In this video we will define complement in set theory, and in order to do so you will also need to know the meaning of universal set. I go
From playlist Set Theory
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
Strong and Weak Epsilon Nets and Their Applications - Noga Alon
Noga Alon Tel Aviv University; Institute for Advanced Study November 7, 2011 I will describe the notions of strong and weak epsilon nets in range spaces, and explain briefly some of their many applications in Discrete Geometry and Combinatorics, focusing on several recent results in the in
From playlist Mathematics
Introduction to sets || Set theory Overview - Part 2
A set is the mathematical model for a collection of different things; a set contains elements or members, which can be mathematical objects of any kind: numbers, symbols, points in space, lines, other geometrical shapes, variables, or even other #sets. The #set with no element is the empty
From playlist Set Theory
Regularity Lemmas and Other Extremal Results - Guy Moshkovitz
Short talks by postdoctoral members Topic: Regularity Lemmas and Other Extremal Results Speaker: Guy Moshkovitz Affiliation: Member, School of Mathematics Date: Oct 1, 2018 For more video please visit http://video.ias.edu
From playlist Mathematics
The Big (mathematical) Bang | Axiomatic Set Theory, Section 0
The introductory video for a course on the axiomatic theory of ZFC set theory. My Twitter: https://twitter.com/KristapsBalodi3 Intro: (0:00) Russel's Paradox: (2:13)
From playlist Axiomatic Set Theory
NOTACON 9: Numbers, From Merely Big to Unimaginable (EN) | enh. audio
Still bad quality! Speaker: Brian Makin Have you every multiplied 2 by itself over and over to see how big it could get? Ever wonder about really big numbers? Starting from common "large" numbers like 2^56(DES) and 2^128(ipv6) through really big numbers such as the Ackermann numbers and
From playlist Notacon 9
Programming Loops vs Recursion - Computerphile
Programming loops are great, but there's a point where they aren't enough. Professor Brailsford explains. EXTRA BITS: https://youtu.be/DVG5G1V8Zx0 The Most Difficult Program to Compute?: https://youtu.be/i7sm9dzFtEI What on Earth is Recursion?: https://youtu.be/Mv9NEXX1VHc Reverse Poli
From playlist Subtitled Films
Calculating linguistic entropy
The complexity of linguistic patterns can be quantified and compared using two concepts from information theory. Using data from Greek, we find that paradigms' entropy — a measure of abstract inflectional complexity — can be quite high, but their conditional entropy — which reflects gramma
From playlist Summer of Math Exposition Youtube Videos
Title: Differential Kernels and Bounds for the Consistency of Differential Equations
From playlist Differential Algebra and Related Topics VII (2016)
Busy Beaver Turing Machines - Computerphile
The Busy Beaver game, pointless? Or a lesson in the problems of computability? - How do you decide if something can be computed or not? Professor Brailsford's code and further reading: http://bit.ly/busybeaver Turing Machine Primer: http://youtu.be/DILF8usqp7M Busy Beaver Code: http://
From playlist Alan Turing and Enigma
The sequence that grows remarkably large, then drops to zero!
Goodstein sequences can get larger than Graham's number and the growth rate can be faster than Ackermann’s function. In fact, these sequences grow at such an incredible rate, that the theorem literally cannot be proven using first order arithmetic and can only be proven using a stronger sy
From playlist Summer of Math Exposition 2 videos
NOTACON 9: Numbers, From Merely Big to Unimaginable (EN)
Speaker: Brian Makin Have you every multiplied 2 by itself over and over to see how big it could get? Ever wonder about really big numbers? Starting from common "large" numbers like 2^56(DES) and 2^128(ipv6) through really big numbers such as the Ackermann numbers and Grahm's number we wi
From playlist Notacon 9
Introduction to Set Theory (Discrete Mathematics)
Introduction to Set Theory (Discrete Mathematics) This is a basic introduction to set theory starting from the very beginning. This is typically found near the beginning of a discrete mathematics course in college or at the beginning of other advanced mathematics courses. ***************
From playlist Set Theory
Jonathan Sprinkle: "Cyber-Physical Systems Challenges: Vehicle Automation & Data Acqu..." (Part 1/2)
Watch part 2/2 here: https://youtu.be/cnaOwly368U Mathematical Challenges and Opportunities for Autonomous Vehicles Tutorials 2020 "Cyber-Physical Systems Challenges: Vehicle Automation and Data Acquisition" (Part 1/2) Jonathan Sprinkle - University of Arizona Institute for Pure and App
From playlist Mathematical Challenges and Opportunities for Autonomous Vehicles 2020