Systems of set theory

Alternative set theory

In a general sense, an alternative set theory is any of the alternative mathematical approaches to the concept of set and any alternative to the de facto standard set theory described in axiomatic set theory by the axioms of Zermelo–Fraenkel set theory. More specifically, Alternative Set Theory (or AST) may refer to a particular set theory developed in the 1970s and 1980s by Petr Vopěnka and his students. (Wikipedia).

Video thumbnail

Introduction to Sets

We give some basic definitions and notions associated with sets. In particular, we describe sets via the "roster method", via a verbal description, and with set-builder notation. We also give an example of proving the equality of two sets. Please Subscribe: https://www.youtube.com/michael

From playlist Proof Writing

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

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

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

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

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

Why is the Empty Set a Subset of Every Set? | Set Theory, Subsets, Subset Definition

The empty set is a very cool and important part of set theory in mathematics. The empty set contains no elements and is denoted { } or with the empty set symbol ∅. As a result of the empty set having no elements is that it is a subset of every set. But why is that? We go over that in this

From playlist Set Theory

Video thumbnail

What are Equal Sets?

What are equal sets? Subsets in math is an important concept for understanding the definition of equality in set theory. In this video we define equality in sets, which is fairly simple. One of the properties of equal sets is that if sets A and B are equal, then A is a subset of B and B is

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

Global symmetry from local information: The Graph Isomorphism Problem – László Babai – ICM2018

Combinatorics | Mathematical Aspects of Computer Science Invited Lecture 13.4 | 14.5 Global symmetry from local information: The Graph Isomorphism Problem László Babai Abstract: Graph Isomorphism (GI) is one of a small number of natural algorithmic problems with unsettled complexity stat

From playlist Combinatorics

Video thumbnail

Frans Pretorius - Testing General Relativity with Black Hole Mergers - IPAM at UCLA

Recorded 25 October 2021. Frans Pretorius of Princeton University presents "Testing General Relativity with Black Hole Mergers" at IPAM's Workshop II: Mathematical and Numerical Aspects of Gravitation. Abstract: Testing the predictions of general relativity in the dynamical strong-field re

From playlist Workshop: Mathematical and Numerical Aspects of Gravitation

Video thumbnail

Selmer groups and a Cassels-Tate pairing for finite Galois modules - Alexander Smith

Joint IAS/Princeton University Number Theory Seminar Topic: Selmer groups and a Cassels-Tate pairing for finite Galois modules Speraker: Alexander Smith Affiliation: Massachusetts Institute of Technology Date: February 25, 2021 For more video please visit http://video.ias.edu

From playlist Mathematics

Video thumbnail

5. Concept Selection and Tradespace Exploration

MIT 16.842 Fundamentals of Systems Engineering, Fall 2015 View the complete course: http://ocw.mit.edu/16-842F15 Instructor: Olivier de Weck This lecture covered ground on the phase of conceptual design and preliminary design in a design process. License: Creative Commons BY-NC-SA More i

From playlist MIT 16.842 Fundamentals of Systems Engineering, Fall 2015

Video thumbnail

CMU Discrete Mathematics 5/5

Due to the COVID-19 pandemic, Carnegie Mellon University is protecting the health and safety of its community by holding all large classes online. People from outside Carnegie Mellon University are welcome to tune in to see how the class is taught, but unfortunately Prof. Loh will not be o

From playlist CMU 21-228 Discrete Mathematics

Video thumbnail

23. The Logic of Science

Principles of Evolution, Ecology and Behavior (EEB 122) While there are many differences between modern science and philosophy, there are still a number of lessons in modes of thought that scientists can take from philosophy. Scientists' ideas about the nature of science have evolved ov

From playlist Evolution, Ecology and Behavior with Stephen C. Stearns

Video thumbnail

Colloquium MathAlp 2018 - Patrick Dehornoy

La théorie des ensembles cinquante ans après Cohen : On présentera quelques résultats de théorie des ensembles récents, avec un accent sur l'hypothèse du continu et la possibilité de résoudre la question après les résultats négatifs bien connus de Gödel et Cohen, et sur les tables de Lave

From playlist Colloquiums MathAlp

Video thumbnail

HSC Science Extension Module 1 Falsification

HSC Science Extension Module 1 Foundations of Scientific Thinking Falsification Karl Popper

From playlist Y12 Sci Ex Mod 1 Foundations of Scientific Thinking

Video thumbnail

Quantum Mechanics -- a Primer for Mathematicians

Juerg Frohlich ETH Zurich; Member, School of Mathematics, IAS December 3, 2012 A general algebraic formalism for the mathematical modeling of physical systems is sketched. This formalism is sufficiently general to encompass classical and quantum-mechanical models. It is then explained in w

From playlist Mathematics

Video thumbnail

Empty Set vs Set Containing Empty Set | Set Theory

What's the difference between the empty set and the set containing the empty set? We'll look at {} vs {{}} in today's set theory video lesson, discuss their cardinalities, and look at their power sets. As we'll see, the power set of the empty set is our friend { {} }! The river runs peacef

From playlist Set Theory

Video thumbnail

Regular permutation groups and Cayley graphs

Cheryl Praeger (University of Western Australia). Plenary Lecture from the 1st PRIMA Congress, 2009. Plenary Lecture 11. Abstract: Regular permutation groups are the 'smallest' transitive groups of permutations, and have been studied for more than a century. They occur, in particular, as

From playlist PRIMA2009

Related pages

Non-well-founded set theory | Positive set theory | Constructive set theory | Finite set | S (set theory) | Ackermann set theory | Scott–Potter set theory | Axiom of infinity | New Foundations | Naive set theory | Zermelo–Fraenkel set theory | Tarski–Grothendieck set theory | Set (mathematics) | Internal set theory | Mathematical induction | Semiset | Zermelo set theory | Type theory | General set theory | Kripke–Platek set theory | Morse–Kelley set theory | Von Neumann–Bernays–Gödel set theory