Effective descriptive set theory
Effective descriptive set theory is the branch of descriptive set theory dealing with sets of reals having lightface definitions; that is, definitions that do not require an arbitrary real parameter (Moschovakis 1980). Thus effective descriptive set theory combines descriptive set theory with recursion theory. (Wikipedia).
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
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
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
Formal Definition of a Function using the Cartesian Product
Learning Objectives: In this video we give a formal definition of a function, one of the most foundation concepts in mathematics. We build this definition out of set theory. **************************************************** YOUR TURN! Learning math requires more than just watching vid
From playlist Discrete Math (Full Course: Sets, Logic, Proofs, Probability, Graph Theory, etc)
Listing Subsets Using Tree Diagrams | Set Theory, Subsets, Power Sets
Here is a method for completely listing the subsets of a given set using tree diagrams. It's a handy way to make sure you don't miss any subsets when trying to find them. It's not super efficient, but it is reliable! The process is pretty simple, we begin with the empty set, and then branc
From playlist Set Theory
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
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 3): Ordered Pairs and Cartesian Products
Please feel free to leave comments/questions on the video and practice problems below! In this video, I cover the Kuratowski definition of ordered pairs in terms of sets. This will allow us to speak of relations and functions in terms of sets as the basic mathematical objects and will ser
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
Hydrodynamic attractors and applications (HYATT) by Michal P Heller
PROGRAM : THE MYRIAD COLORFUL WAYS OF UNDERSTANDING EXTREME QCD MATTER ORGANIZERS : Ayan Mukhopadhyay, Sayantan Sharma and Ravindran V DATE & TIME : 01 April 2019 to 17 April 2019 VENUE : Ramanujan Lecture Hall, ICTS Bangalore Strongly interacting phases of QCD matter at extreme tempera
From playlist The Myriad Colorful Ways of Understanding Extreme QCD Matter 2019
Quantum mechanics and the geometry of spacetime: Juan Maldacena
https://strings2015.icts.res.in/talkTitles.php
From playlist Strings 2015 conference
PROGRAM: THE INFORMATION PARADOX, ENTANGLEMENT AND BLACK HOLES LINK: http://www.icts.res.in/discussion_meeting/IPEB2013/ DATES: Sunday 22 Sep, 2013 - Monday 23 Sep, 2013 VENUE: ICTS, Bangalore This meeting which is ICTS-IISc joint program will discuss recent progress on the black-hole i
From playlist The Information Paradox, Entanglement and Black Holes
Seok Kim - 6 dimensional superconformal field theories (1)
PROGRAM: THE 8TH ASIAN WINTER SCHOOL ON STRINGS, PARTICLES AND COSMOLOGY DATES: Thursday 09 Jan, 2014 - Saturday 18 Jan, 2014 VENUE: Blue Lily Hotel, Puri PROGRAM LINK: http://www.icts.res.in/program/asian8 The 8th Asian Winter School on Strings, Particles and Cosmology is part of a seri
From playlist The 8th Asian Winter School on Strings, Particles and Cosmology
A conversation between Andy Strominger and Stephen Wolfram at the Wolfram Summer School 2021
Stephen Wolfram plays the role of Salonnière in this new, on-going series of intellectual explorations with special guests. Watch all of the conversations here: https://wolfr.am/youtube-sw-conversations Follow us on our official social media channels. Twitter: https://twitter.com/Wolfra
From playlist Conversations with Special Guests
Wolfram Physics Project: Axiomatization of the Computational Universe Tuesday, Feb. 16, 2021
This is a Wolfram Physics Project working session about the axiomatization of the Computational Universe. Begins at 1:36 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 announceme
From playlist Wolfram Physics Project Livestream Archive
Quantum entanglement in macroscopic matter (Lecture 1)
T Senthil (Department of Physics, Massachusetts Institute of Technology) URL: https://www.icts.res.in/lecture/2/details/1642/ 13 Jan 2015, 05:00 PM Physics Auditorium, IISc campus, Bangalore Description: A powerful organizing principle to describe and distinguish phases of macroscopic m
From playlist Chandrasekhar Lectures
Surface operators, dual quivers and contours by Sujay Ashok
Program: Quantum Fields, Geometry and Representation Theory ORGANIZERS : Aswin Balasubramanian, Saurav Bhaumik, Indranil Biswas, Abhijit Gadde, Rajesh Gopakumar and Mahan Mj DATE & TIME : 16 July 2018 to 27 July 2018 VENUE : Madhava Lecture Hall, ICTS, Bangalore The power of symmetries
From playlist Quantum Fields, Geometry and Representation Theory
Supersymmetric Gauge Dynamics, Part 2 - Nathan Seiberg
Supersymmetric Gauge Dynamics, Part 2 Nathan Seiberg Institute for Advanced Study July 22, 2010
From playlist PiTP 2010
Tensionless AdS/CFT (Lecture 1) by Matthias Gaberdiel
PROGRAM KAVLI ASIAN WINTER SCHOOL (KAWS) ON STRINGS, PARTICLES AND COSMOLOGY (ONLINE) ORGANIZERS Francesco Benini (SISSA, Italy), Bartek Czech (Tsinghua University, China), Dongmin Gang (Seoul National University, South Korea), Sungjay Lee (Korea Institute for Advanced Study, South Korea
From playlist Kavli Asian Winter School (KAWS) on Strings, Particles and Cosmology (ONLINE) - 2022
Proper Subsets vs Improper Subsets | Set Theory
What is a subset in math? What is the difference between a proper subset and an improper subset? In this video, we will answer those questions so you know exactly what improper and proper subsets are, as well as how to write about them. In the video I describe writing a subset sign as a C,
From playlist Set Theory