Mathematical logic | Logical calculi | Propositional calculus | Systems of formal logic

List of Hilbert systems

This article contains a list of sample Hilbert-style deductive systems for propositional logics. (Wikipedia).

Video thumbnail

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

Video thumbnail

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

Video thumbnail

Hilbert Curve

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

Video thumbnail

Vector spaces and subspaces

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

!!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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

MATH 272 - 02/21/2017 - Fourier Series

Videography - Eric Melton - UVM

From playlist Partial Differential Equations

Video thumbnail

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

Video thumbnail

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

Video thumbnail

Describing Functions (Discrete Math)

This video covered the various ways to describe functions in a discrete math class.

From playlist Functions (Discrete Math)

Related pages

Alfred Tarski | Completeness (logic) | Elliott Mendelson | Implicational propositional calculus | Hilbert system | David Hilbert | Logical connective | Intuitionistic logic | Modus ponens | Rule of inference | Bertrand Russell | Alonzo Church | Gottlob Frege | Classical logic | Peirce's law | Paul Bernays | Minimal logic