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
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
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's so wrong with the Axiom of Choice ?
One of the Zermelo- Fraenkel axioms, called axiom of choice, is remarkably controversial. It links to linear algebra and several paradoxes- find out what is so strange about it ! (00:22) - Math objects as sets (00:54) - What axioms we use ? (01:30) - Understanding axiom of choice (03:2
From playlist Something you did not know...
USA / TENNIS: USA Regain Wightman Cup (1929)
EMPIRE NEWS NEWSREEL (REUTERS) To license this film, visit https://www.britishpathe.com/video/VLVAAFO26648W207IFAONJCW1UGB6-USA-TENNIS-USA-REGAIN-WIGHTMAN-CUP The US women's tennis team wins back the Wightman tennis trophy (Wightman cup). Full Description: SLATE CARD INFORMATION: USA
From playlist EMPIRE NEWS NEWSREEL (REUTERS)
In this video I write down the axioms of Lie algebras and then discuss the defining anti-symmetric bilinear map (the Lie bracket) which is zero on the diagonal and fulfills the Jacobi identity. I'm following the compact book "Introduction to Lie Algebras" by Erdmann and Wildon. https://gi
From playlist Algebra
Session 1 - Bulk Locality and Quantum Error Correction in AdS/CFT: Daniel Harlow
https://strings2015.icts.res.in/talkTitles.php
From playlist Strings 2015 conference
Zermelo Fraenkel Extensionality
This is part of a series of lectures on the Zermelo-Fraenkel axioms for set theory. In this lecture we discuss the axiom of extensionality, which says that two sets are equal if they have the same elements. For the other lectures in the course see https://www.youtube.com/playlist?list
From playlist Zermelo Fraenkel axioms
An Effective Field Theory of Quantum Black Hole Horizons - Walter Goldberger
High Energy Theory Seminar -- Monday, February 10, 2020 “An Effective Field Theory of Quantum Black Hole Horizons” Location: Bloomberg Lecture Hall (IAS) Time: 2:30 PM Speaker(s): Walter Goldberger, Yale University Description: I develop an effective theory which describes black hole
From playlist Natural Sciences
Divergence in Open QFT by Loganayagam R
ICTS IN-HOUSE 2020 Organizers: Amit Kumar Chatterjee, Divya Jaganathan, Junaid Majeed, Pritha Dolai Date:: 17-18th February 2020 Venue: Ramanujan Lecture Hall, ICTS Bangalore inhouse@icts.res.in An exclusive two-day event to exchange ideas and discuss research amongst member
From playlist ICTS In-house 2020
This is part of a series of lectures on the Zermelo-Fraenkel axioms for set theory. We dicuss the axiom of chice, and sketch why it is independent of the other axioms of set theory. For the other lectures in the course see https://www.youtube.com/playlist?list=PL8yHsr3EFj52EKVgPi-p50f
From playlist Zermelo Fraenkel axioms
Yang-Mills and Mass Gap (Millennium Prize Problem!)
The Yang-Mills and mass gap problem is another one of the elusive millennium prize problems – a set of seven problems given in the year 2000 by the Clay Mathematical Institute, and solving one of them can earn you a million dollars. The Yang-Mills problem is one of them. The mathematical
From playlist Math
GROUPLOVE - Hello (Official Music Video)
Hello by GROUPLOVE from their upcoming album, I Want It All Right Now Listen to Hello: https://glassnote.ffm.to/newgrouplove Pre-save I Want It All Right Now: https://glassnote.ffm.to/iwantitallrightnow Follow GROUPLOVE: https://facebook.com/grouplove https://twitter.com/grouplove https
From playlist 🆕🎧 New Alternative 40 Chart | Updated Weekly
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
A Critique of the Fuzzball Program by Suvrat Raju
ORGANIZERS : Pallab Basu, Avinash Dhar, Rajesh Gopakumar, R. Loganayagam, Gautam Mandal, Shiraz Minwalla, Suvrat Raju, Sandip Trivedi and Spenta Wadia DATE : 21 May 2018 to 02 June 2018 VENUE : Ramanujan Lecture Hall, ICTS Bangalore In the past twenty years, the discovery of the AdS/C
From playlist AdS/CFT at 20 and Beyond
The Campbell-Baker-Hausdorff and Dynkin formula and its finite nature
In this video explain, implement and numerically validate all the nice formulas popping up from math behind the theorem of Campbell, Baker, Hausdorff and Dynkin, usually a.k.a. Baker-Campbell-Hausdorff formula. Here's the TeX and python code: https://gist.github.com/Nikolaj-K/8e9a345e4c932
From playlist Algebra
Foundation Models | On the opportunities and risks of calling pre-trained models “Foundation Models”
Sound the opinionated video alarm! 🚨 We need to talk about “foundation models”: What does the term mean? Is ViT a foundation model? Do we really need AI to “understand”? And what’s the thing with out-of-domain generalization / distribution shift? 😎 Btw, 50,000 ViT models released with the
From playlist Explained AI/ML in your Coffee Break
Rasa Office Hours: Emma Wightman, Developer Community Manager
Our weekly Rasa Office Hours! This week we'll be joined by Emma Wightman, Developer Community Manager to talk about the Rasa Developer Community, the easiest ways to get involved and how you can be a contributor. Want to build your own chatbot? https://rasa.com/docs/ Learn more about Ra
From playlist Rasa Office Hours
Fundamentals of Mathematics - Lecture 13: Strong Induction iff "Weak" Induction
course page: http://www.uvm.edu/~tdupuy/logic/Math52-Fall2017.html videography - Eric Melton, UVM handouts - DZB, Emory
From playlist Fundamentals of Mathematics
Yale School of Architecture: "Scarce Means Alternative Uses"
Yale School of Architecture Public Lecture Series Professors Gray and Organschi explore the intersection of design and building production and consider how architectural ideas are most forcefully expressed. Elizabeth Gray and Alan Organschi Louis I. Kahn Visiting Assistant Professors Sept
From playlist Yale School of Architecture Public Lecture Series