In mathematical logic the theory of pure equality is a first-order theory. It has a signature consisting of only the equality relation symbol, and includes no non-logical axioms at all. This theory is consistent but incomplete, as a non-empty set with the usual equality relation provides an interpretation making certain sentences true. It is an example of a decidable theory and is a fragment of more expressive decidable theories, including monadic class of first-order logic (which also admits unary predicates and is, via Skolem normal form, related to set constraints in program analysis) and monadic second-order theory of a pure set (which additionally permits quantification over predicates and whose signature extends to monadic second-order logic of k successors). (Wikipedia).
The big mathematics divide: between "exact" and "approximate" | Sociology and Pure Maths | NJW
Modern pure mathematics suffers from a major schism that largely goes unacknowledged: that many aspects of the subject are parading as "exact theories" when in fact they are really only "approximate theories". In this sense they can be viewed either as belonging more properly to applied ma
From playlist Sociology and Pure Mathematics
The Scientific Method and the question of "Infinite Sets" | Sociology and Pure Maths| N J Wildberger
Let's get some kind of serious discussion going about the differences in methodology and philosophy between the sciences and mathematics, and how these differences manifest themselves in the attitude towards the logical foundations of mathematics. In particular we look at a bulwark notio
From playlist Sociology and Pure Mathematics
Hugo Herbelin: Investigations into cubical type theory
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstact: We report on a work in progress in building a variant of cubical type theory based on the following principles: - equality is primitively attached to types; - in particu
From playlist Workshop: "Types, Homotopy, Type theory, and Verification"
What are equal sets? Subsets in math is an important concept for understanding the definition of equality in set theory. In this video we define equality in sets, which is fairly simple. One of the properties of equal sets is that if sets A and B are equal, then A is a subset of B and B is
From playlist Set Theory
Introduction to Differential Inequalities
What is a differential inequality and how are they useful? Inequalities are a very practical part of mathematics: They give us an idea of the size of things -- an estimate. They can give us a location for things. It is usually far easier to satisfy assumptions involving inequalities t
From playlist Advanced Studies in Ordinary Differential Equations
Introduction to Homotopy Theory- PART 1: UNIVERSAL CONSTRUCTIONS
The goal of this series is to develop homotopy theory from a categorical perspective, alongside the theory of model categories. We do this with the hope of eventually developing stable homotopy theory, a personal goal a passion of mine. I'm going to follow nLab's notes, but I hope to add t
From playlist Introduction to Homotopy 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
Univalent foundations and the equivalence principle - Benedikt Ahrens
Short Talks by Postdoctoral Members Benedikt Ahrens - September 21, 2015 http://www.math.ias.edu/calendar/event/88134/1442858400/1442859300 More videos on http://video.ias.edu
From playlist Short Talks by Postdoctoral Members
Set Theory (Part 6): Equivalence Relations and Classes
Please feel free to leave comments/questions on the video and practice problems below! In this video, I set up equivalence relations and the canonical mapping. The idea of equivalence relation will return when we construct higher-level number systems, e.g.integers, from the natural number
From playlist Set Theory by Mathoma
Quantum Inequivalence, Evanescent Operators and Gravity Divergences: Zvi Bern
https://strings2015.icts.res.in/talkTitles.php
From playlist Strings 2015 conference
SHM - 16/01/15 - Constructivismes en mathématiques - Thierry Coquand
Thierry Coquand (Université de Gothenburg), « Théorie des types et mathématiques constructives »
From playlist Les constructivismes mathématiques - Séminaire d'Histoire des Mathématiques
Galois theory: Separable extensions
This lecture is part of an online graduate course on Galois theory. We define separable algebraic extensions, and give some examples of separable and non-separable extensions. At the end we briefly discuss purely inseparable extensions.
From playlist Galois theory
Quantum Mechanics -- a Primer for Mathematicians
Juerg Frohlich ETH Zurich; Member, School of Mathematics, IAS December 3, 2012 A general algebraic formalism for the mathematical modeling of physical systems is sketched. This formalism is sufficiently general to encompass classical and quantum-mechanical models. It is then explained in w
From playlist Mathematics
Galois theory: Transcendental extensions
This lecture is part of an online graduate course on Galois theory. We describe transcendental extension of fields and transcendence bases. As applications we classify algebraically closed fields and show hw to define the dimension of an algebraic variety.
From playlist Galois theory
Automated Theorem Proving and Axiomatic Mathematics
Jonathan Gorard
From playlist Wolfram Technology Conference 2019
Some results on thermalization in integrable models by Gautam Mandal
PROGRAM: INTEGRABLE SYSTEMS IN MATHEMATICS, CONDENSED MATTER AND STATISTICAL PHYSICS ORGANIZERS: Alexander Abanov, Rukmini Dey, Fabian Essler, Manas Kulkarni, Joel Moore, Vishal Vasan and Paul Wiegmann DATE : 16 July 2018 to 10 August 2018 VENUE: Ramanujan Lecture Hall, ICTS Bangalore
From playlist Integrable systems in Mathematics, Condensed Matter and Statistical Physics
Konstantin Khanin: Between mathematics and physics
Abstract: Over the past few decades we have witnessed an unparalleled process of unification between mathematics and physics. In this talk we shall discuss some of Sinai's seminal results which hugely contributed to this process. Sinai's contributions were based on outstanding new ideas in
From playlist Abel Lectures
A surprising majorization relation and its applications - N. Datta - Main Conference - CEB T3 2017
Nilanjana Datta (Cambridge) / 11.12.2017 Title: A surprising majorization relation and its applications Abstract: Any two arbitrary quantum states, acting on a given Hilbert space, need not be related by a majorization ordering, even if they are close to each other. Surprisingly, howeve
From playlist 2017 - T3 - Analysis in Quantum Information Theory - CEB Trimester
From Weak to Strong Coupling Without Holography by Paul Romatschke
DISCUSSION MEETING EXTREME NONEQUILIBRIUM QCD (ONLINE) ORGANIZERS: Ayan Mukhopadhyay (IIT Madras) and Sayantan Sharma (IMSc Chennai) DATE & TIME: 05 October 2020 to 09 October 2020 VENUE: Online Understanding quantum gauge theories is one of the remarkable challenges of the millennium
From playlist Extreme Nonequilibrium QCD (Online)
Solving an absolute value inequality by rewriting as a compound inequality
👉 Learn how to solve multi-step absolute value inequalities. The absolute value of a number is the positive value of the number. For instance, the absolute value of 2 is 2 and the absolute value of -2 is also 2. To solve an absolute value inequality where there are more terms apart from th
From playlist Solve Absolute Value Inequalities | Hard