Mathematical logic | Logical calculi | Propositional calculus | Systems of formal logic
This article contains a list of sample Hilbert-style deductive systems for propositional logics. (Wikipedia).
Anthony Licata: Hilbert Schemes Lecture 7
SMRI Seminar Series: 'Hilbert Schemes' Lecture 7 Kleinian singularities 2 Anthony Licata (Australian National University) This series of lectures aims to present parts of Nakajima’s book `Lectures on Hilbert schemes of points on surfaces’ in a way that is accessible to PhD students inter
From playlist SMRI Course: Hilbert Schemes
Joshua Ciappara: Hilbert Schemes Lecture 10
SMRI Seminar Series: 'Hilbert Schemes' Lecture 10 Representations of Heisenberg algebras on homology of Hilbert schemes Joshua Ciappara (University of Sydney) This series of lectures aims to present parts of Nakajima’s book `Lectures on Hilbert schemes of points on surfaces’ in a way tha
From playlist SMRI Course: Hilbert Schemes
This shows a 3d print of a mathematical sculpture I produced using shapeways.com. This model is available at http://shpws.me/2toQ.
From playlist 3D printing
After our introduction to matrices and vectors and our first deeper dive into matrices, it is time for us to start the deeper dive into vectors. Vector spaces can be vectors, matrices, and even function. In this video I talk about vector spaces, subspaces, and the porperties of vector sp
From playlist Introducing linear algebra
Emily Cliff: Hilbert Schemes Lecture 6
SMRI Seminar Series: 'Hilbert Schemes' Lecture 6 GIT stability, quiver representations, & Hilbert schemes Emily Cliff (University of Sydney) This series of lectures aims to present parts of Nakajima’s book `Lectures on Hilbert schemes of points on surfaces’ in a way that is accessible to
From playlist SMRI Course: Hilbert Schemes
Anthony Henderson: Hilbert Schemes Lecture 1
SMRI Seminar Series: 'Hilbert Schemes' Lecture 1 Introduction Anthony Henderson (University of Sydney) This series of lectures aims to present parts of Nakajima’s book `Lectures on Hilbert schemes of points on surfaces’ in a way that is accessible to PhD students interested in representa
From playlist SMRI Course: Hilbert Schemes
Anthony Henderson: Hilbert Schemes Lecture 9
SMRI Seminar Series: 'Hilbert Schemes' Lecture 9 Correspondences in homology Anthony Henderson (University of Sydney) This series of lectures aims to present parts of Nakajima’s book `Lectures on Hilbert schemes of points on surfaces’ in a way that is accessible to PhD students intereste
From playlist SMRI Course: Hilbert Schemes
Thermalization in quantum systems (Lecture - 05) by Subroto Mukerjee
Bangalore School on Statistical Physics - VIII DATE: 28 June 2017 to 14 July 2017 VENUE: Ramanujan Lecture Hall, ICTS, Bengaluru This advanced level school is the eighth in the series. This is a pedagogical school, aimed at bridging the gap between masters-level courses and topics in s
From playlist Bangalore School on Statistical Physics - VIII
!!Con West 2019 - Michael Malis: Generating fractals … with SQL queries!!!
Presented at !!Con West 2019: http://bangbangcon.com/west SQL databases can do a lot. They are fantastic at making it easy to work with large amounts of data. One of the lesser-known capabilities of SQL databases is that they can be used to generate fractals! In this talk, we’ll take a l
From playlist !!Con West 2019
Fast, high fidelity control in spectrally crowded systems - S.Economou - PRACQSYS 2018 - CEB T2 2018
Sophia Economou (Department of Physics, Virginia Tech, Blacksburg, USA) / 03.07.2018 Fast, high fidelity control in spectrally crowded systems Quantum information technologies rely crucially on the ability to control quantum systems with unprecedented accuracy. There are inherent challen
From playlist 2018 - T2 - Measurement and Control of Quantum Systems: Theory and Experiments
Yang-Mills for mathematicians (Lecture - 01) by Sourav Chatterjee
INFOSYS-ICTS RAMANUJAN LECTURES SOME OPEN QUESTIONS ABOUT SCALING LIMITS IN PROBABILITY THEORY SPEAKER Sourav Chatterjee (Stanford University, California, USA) DATE & TIME 14 January 2019 to 18 January 2019 VENUE Madhava Lecture Hall, ICTS campus GALLERY Lecture 1: Yang-Mills for mathemat
From playlist Infosys-ICTS Ramanujan Lectures
MAST30026 Lecture 1: What is space? (Part 1)
I started with three dictionary definitions of "space" and briefly discussed them, before moving on to a survey of the standard abstract notions of space used in mathematics, including metric, topological and Hilbert spaces. In the remainder of the lecture I discussed the connection betwee
From playlist MAST30026 Metric and Hilbert spaces
Thermalization in quantum systems (Lecture - 03) by Subroto Mukerjee
Bangalore School on Statistical Physics - VIII DATE: 28 June 2017 to 14 July 2017 VENUE: Ramanujan Lecture Hall, ICTS, Bengaluru This advanced level school is the eighth in the series. This is a pedagogical school, aimed at bridging the gap between masters-level courses and topics in s
From playlist Bangalore School on Statistical Physics - VIII
Transcendental Functions 3 Examples using Properties of Logarithms.mov
Examples using the properties of logarithms.
From playlist Transcendental Functions
The computational theory of Riemann–Hilbert problems (Lecture 1) by Thomas Trogdon
ORGANIZERS : Alexander Abanov, Rukmini Dey, Fabian Essler, Manas Kulkarni, Joel Moore, Vishal Vasan and Paul Wiegmann DATE & TIME : 16 July 2018 to 10 August 2018 VENUE : Ramanujan Lecture Hall, ICTS Bangalore This program aims to address various aspects of integrability and its role in
From playlist Integrable systems in Mathematics, Condensed Matter and Statistical Physics
MATH 272 - 02/21/2017 - Fourier Series
Videography - Eric Melton - UVM
From playlist Partial Differential Equations
The Riemann-Hilbert Correspondence in Nonarchimedean Geometry - Jacob Lurie
IAS/Princeton Arithmetic Geometry Seminar Topic: The Riemann-Hilbert Correspondence in Nonarchimedean Geometry Speaker: Jacob Lurie Affiliation: Member, School of Mathematics Date: March 13, 2023 Let X be a smooth projective variety over the field of complex numbers. The classical Rieman
From playlist Mathematics
Gödel's Incompleteness Theorems: An Informal Introduction to Formal Logic #SoME2
My entry into SoME2. Also, my first ever video. I hope you enjoy. The Book List: Logic by Paul Tomassi A very good first textbook. Quite slow at first and its treatment of first-order logic leaves a little to be desired in my opinion, but very good on context, i.e. why formal logic is im
From playlist Summer of Math Exposition 2 videos
Describing Functions (Discrete Math)
This video covered the various ways to describe functions in a discrete math class.
From playlist Functions (Discrete Math)