In many popular versions of axiomatic set theory, the axiom schema of specification, also known as the axiom schema of separation, subset axiom scheme or axiom schema of restricted comprehension is an axiom schema. Essentially, it says that any definable subclass of a set is a set. Some mathematicians call it the axiom schema of comprehension, although others use that term for unrestricted comprehension, discussed below. Because restricting comprehension avoided Russell's paradox, several mathematicians including Zermelo, Fraenkel, and Gödel considered it the most important axiom of set theory. (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
Relations and Functions | Axiomatic Set Theory, Section 2.1
In this video we define and prove a few basic theorems about relations and functions. My Twitter: https://twitter.com/KristapsBalodi3 Intro:(0:00) Ordered Pairs:(1:43) IMAGE-in that!:(3:33) Composition: (7:57) Functions:(11:05) Special thanks to Alex Stephens
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
Set Theory (Part 5): Functions and the Axiom of Choice
Please feel free to leave comments/questions on the video and practice problems below! In this video, I introduce functions as a special sort of relation, go over some function-related terminology, and also prove two theorems involving left- and right-inverses, with the latter theorem nic
From playlist Set Theory by Mathoma
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
Orders and Ordered Sets | Axiomatic Set Theory, Section 2.3
We discuss order relations on sets, and isomorphisms of ordered sets. My Twitter: https://twitter.com/KristapsBalodi3
From playlist Axiomatic Set Theory
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
How ISPs Violate the Laws of Mathematics
Get a free trial of Audible at https://audible.com/minutephysics or by texting 'minutephysics' to 500500 Support MinutePhysics on Patreon! http://www.patreon.com/minutephysics Link to Patreon Supporters: http://www.minutephysics.com/supporters/ MinutePhysics is on twitter - @minutephysic
From playlist MinutePhysics
Foundations S2 - Seminar 8 - Light discussion of soundness, completeness, first vs second order
A seminar series on the foundations of mathematics, by Will Troiani and Billy Snikkers. In this seminar Billy leads a discussion of soundness, completeness and first vs second-order logic, as a recap of some of what has been discussed over the past few months in the seminar. The webpage f
From playlist Foundations seminar
Live CEOing Ep 374: Language Design in Wolfram Language [AxiomaticTheory]
In this episode of Live CEOing, Stephen Wolfram discusses upcoming improvements of AxiomaticTheory for the Wolfram Language. If you'd like to contribute to the discussion in future episodes, you can participate through this YouTube channel or through the official Twitch channel of Stephen
From playlist Behind the Scenes in Real-Life Software Design
Live CEOing Ep 401: Language Design in Wolfram Language [AxiomaticTheory, Echo, FoldWhile, & More]
In this episode of Live CEOing, Stephen Wolfram reviews the design of upcoming functionality for the Wolfram Language. If you'd like to contribute to the discussion in future episodes, you can participate through this YouTube channel or through the official Twitch channel of Stephen Wolfra
From playlist Behind the Scenes in Real-Life Software Design
This video defines set-builder notation and compares it to interval expressed graphically, using interval notation, and using inequalities. Site: http://mathispower4u.com
From playlist Using Interval Notation
Live CEOing Ep 178: Language Design in Wolfram Language
Watch Stephen Wolfram and teams of developers in a live, working, language design meeting. This episode is about Language Design in the Wolfram Language.
From playlist Behind the Scenes in Real-Life Software Design
Petra Hozzova - Automation of Induction in Saturation - IPAM at UCLA
Recorded 17 February 2023. Petra Hozzova of Technische Universität Wien, Institute of Logic and Computation, presents "Automation of Induction in Saturation" at IPAM's Machine Assisted Proofs Workshop. Abstract: Induction in saturation-based first-order theorem proving is a new exciting di
From playlist 2023 Machine Assisted Proofs Workshop
You should know what Impredicativity is.
In this video I discuss the concept of predicativity, impredicativity and vicious circles. The text for the video is found in https://gist.github.com/Nikolaj-K/aae1f4bd582e60e6b7e5b5431fee054c
From playlist Logic
The Simplest Math No One Can Agree on- A Paradox of Choice
To build our mathematics we need a starting point, rules to dictate what we can do and assumed basic truths to serve as a foundation as we seek understanding of higher level problems. But what happens when we can't agree on what we should start with?
From playlist Summer of Math Exposition Youtube Videos
This video lists an explains propositional, predicate calculus axioms, as well as a set theoretical statement that goes with it, including ZF and beyond. Where possible, the explanations are kept constructive. You can find the list of axioms in the file discussed in this video here: https:
From playlist Logic