Z notation | Systems of set theory
General set theory (GST) is George Boolos's (1998) name for a fragment of the axiomatic set theory Z. GST is sufficient for all mathematics not requiring infinite sets, and is the weakest known set theory whose theorems include the Peano axioms. (Wikipedia).
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
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
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
Set Theory (Part 2b): The Bogus Universal Set
Please feel free to leave comments/questions on the video below! In this video, I argue against the existence of the set of all sets and show that this claim is provable in ZFC. This theorem is very much tied to the Russell Paradox, besides being one of the problematic ideas in mathematic
From playlist Set Theory by Mathoma
Set Theory (Part 1): Notation and Operations
Please feel free to leave comments/questions on the video and practice problems below! In this video series, we'll explore the basics of set theory. I assume no experience with set theory in the video series and anyone who's "been around town" in math should understand the videos. To make
From playlist Set Theory by Mathoma
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
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
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
Anna Marie Bohmann: Assembly in the Algebraic K-theory of Lawvere Theories
Talk by Anna Marie Bohmann in Global Noncommutative Geometry Seminar (Americas), https://globalncgseminar.org/talks/tba-30/, on April 29, 2022.
From playlist Global Noncommutative Geometry Seminar (Americas)
The abstract chromatic number - Leonardo Nagami Coregliano
Computer Science/Discrete Mathematics Seminar I Topic: The abstract chromatic number Speaker: Leonardo Nagami Coregliano Affiliation: University of Chicago Date: March 22, 2021 For more video please visit http://video.ias.edu
From playlist Mathematics
On the Category of hSets - Bas Spitters
On the Category of hSets - Bas Spitters Bas Spitters Radboud University Nijmegen; Member, School of Mathematics April 3, 2013 For more videos, visit http://video.ias.edu
From playlist Mathematics
Simplifying String Theory by Rajesh Gopakumar, ICTS
Science at ICTS URL: https://www.icts.res.in/science-at-icts Date: 20 June 2015 Venue: ICTS-TIFR Campus DESCRIPTION : - This event marks the inauguration of the Campus of the International Centre for Theoretical Sciences of TIFR. The academic program will consist of lectures in tradit
From playlist Science at ICTS
Wolfram Physics Project: Working Session Tuesday, Nov. 2, 2021 [Topos Theory]
This is a Wolfram Physics Project working session about Topos Theory in the Wolfram Model. Originally livestreamed at: https://twitch.tv/stephen_wolfram Stay up-to-date on this project by visiting our website: http://wolfr.am/physics Check out the announcement post: http://wolfr.am/
From playlist Wolfram Physics Project Livestream Archive
Programming with Math (Exploring Type Theory)
As programs are getting more complex, it's time to go back to basics, to the old well tested approach to complexity called mathematics. Let compilers deal with the intricacies of Turing machines. Our strength is abstract thinking. Let's use it! EVENT: Øredev 2018 SPEAKER: Bartosz Milew
From playlist Software Development
"New Paradigms in Invariant Theory" - Roger Howe, Yale University [2011]
HKUST Institute for Advanced Study Distinguished Lecture New Paradigms in Invariant Theory Speaker: Prof Roger Howe, Yale University Date: 13/6/2011 Video taken from: http://video.ust.hk/Watch.aspx?Video=6A41D5F6B1A790DC
From playlist Mathematics
Entropy Equipartition along almost Geodesics in Negatively Curved Groups by Amos Nevo
PROGRAM : ERGODIC THEORY AND DYNAMICAL SYSTEMS (HYBRID) ORGANIZERS : C. S. Aravinda (TIFR-CAM, Bengaluru), Anish Ghosh (TIFR, Mumbai) and Riddhi Shah (JNU, New Delhi) DATE : 05 December 2022 to 16 December 2022 VENUE : Ramanujan Lecture Hall and Online The programme will have an emphasis
From playlist Ergodic Theory and Dynamical Systems 2022
85 Years of Nielsen Theory: Coincidence Points
Part 3 of a 3 part series of expository talks on Nielsen theory I gave at the conference on Nielsen Theory and Related Topics in Daejeon Korea, June 27, 2013. Part 1- Fixed Points: http://youtu.be/1Ls8mTkRtX0 Part 3- Coincidence Points: http://youtu.be/Wu2Cr3v_I44 Chris Staecker's intern
From playlist Research & conference talks
Review of set theory -- Proofs
This lecture is on Introduction to Higher Mathematics (Proofs). For more see http://calculus123.com.
From playlist Proofs
Recent developments in non-commutative Iwasawa theory I - David Burns
David Burns March 25, 2011 For more videos, visit http://video.ias.edu
From playlist Mathematics
Set Theory Proof: A subset of B and C subset of D then A x C is a subset of B x D
Set Theory Proof: A subset of B and C subset of D then A x C is a subset of B x D This is an example of a rigorous set theory proof with all steps shown.
From playlist Set Theory