Systems of set theory

Ackermann set theory

In mathematics and logic, Ackermann set theory (AST) is an axiomatic set theory proposed by Wilhelm Ackermann in 1956. (Wikipedia).

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

What is a Set Complement?

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

Video thumbnail

Zermelo Fraenkel Introduction

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

DART VII Richard Gustavson

Title: Differential Kernels and Bounds for the Consistency of Differential Equations

From playlist Differential Algebra and Related Topics VII (2016)

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Related pages

Axiom of extensionality | Interpretability | Wilhelm Ackermann | Foundations of mathematics | Formal language | Zermelo–Fraenkel set theory | Conservative extension | Binary relation | Axiom of regularity | Mathematics | Category theory | Alternative set theory | Zermelo set theory | Quantifier (logic) | Reflection principle | Von Neumann universe | First-order logic | Constant (mathematics) | Von Neumann–Bernays–Gödel set theory