Provability logic | Proof theory | Modal logic
Japaridze's polymodal logic (GLP) is a system of provability logic with infinitely many provability modalities. This system has played an important role in some applications of provability algebras in proof theory, and has been extensively studied since the late 1980s. It is named after Giorgi Japaridze. (Wikipedia).
Rahul Savani: Polymatrix Games Algorithms and Applications
Polymatrix games are multi-player games that capture pairwise interactions between players. They are defined by an underlying interaction graph, where nodes represent players, and every edge corresponds to a two-player strategic form (bimatrix) game. This talk will be a short survey that w
From playlist HIM Lectures: Trimester Program "Combinatorial Optimization"
Calculus with integral polynumbers | Arithmetic and Geometry Math Foundations 70 | N J Wildberger
We introduce calculus in the context of integral polynumbers: first by reviewing Pascal's Array and binomial coefficients, and then explaining why the Taylor bipolynumber of a polynumbers can be obtained by suitably multiplying diagonals of this array by the coefficients. The derivative an
From playlist Math Foundations
Introduction to Polygons - Geometry
Learn the definition of polygon - a very important shape in geometry. When a polygon has a small number of sides, there is a word you use instead of "polygon". We teach you the names of polygons with 3 to 10 sides. Geometer: Louise McCartney Artwork: Kelly Vivanco Written by Michael Ha
From playlist Geometry lessons
The science of spiciness - Rose Eveleth
View full lesson: http://ed.ted.com/lessons/the-science-of-spiciness-rose-eveleth When you take a bite of a hot pepper, your body reacts as if your mouth is on fire -- because that's essentially what you've told your brain! Rose Eveleth details the science and history behind spicy foods,
From playlist Exploring the senses
János Pintz: Polignac numbers and the consecutive gaps between primes
Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b
From playlist Number Theory
Area of a Regular Polygon: 2 Conceptual Approaches
Links: https://www.geogebra.org/m/aHvgEm9v https://www.geogebra.org/m/wxJFqM9P
From playlist Geometry: Dynamic Interactives!
Maths, pandemics and us | The Royal Society
This year, the topic of pandemics needs no introduction. Because of coronavirus, concepts such as the R number and herd immunity are no longer confined to academic discussion. Subscribe to our channel for exciting science videos and live events, many hosted by Brian Cox, our Professor for
From playlist Covid-19
Raman Sanyal: Polyhedral geometry of pivot rules
Geometrically, a linear program gives rise to a polyhedron together with an orientation of its graph. A simplex method selects a path from any given vertex to the sink and thus determines an arborescence. The centerpiece of any simplex method is the pivot rule that selects the outgoing edg
From playlist Workshop: Tropical geometry and the geometry of linear programming
2021 Nobel Laureates Ardem Patapoutian and David Julius in conversation with Brian Greene.
#BrianGreene #nobelprize #nobel Just announced winners of the 2021 Nobel Prize, David Julius and Ardem Patapoutian, discovered how the sensations of temperature and touch are encoded at a molecular level. Blending physics and chemistry, their work has profoundly advanced our understanding
From playlist WSF Latest Releases
Ricing and Scripting i3wm for Fun and Profit - LIVE!
I'm going to do some ricing and some scripting for i3wm. Very chill. 👇 PULL IT DOWN FOR THE GOOD STUFF 👇 Patreon - https://patreon.com/thelinuxcast Liberapay - https://liberapay.com/thelinuxcast/ Youtube - https://www.youtube.com/channel/UCylGUf9BvQooEFjgdNudoQg/join ===== Follow us 🐧🐧 =
From playlist Live Streams
Boole polynumbers and equivalent circuits | Math Foundations 264 | N J Wildberger
We want to explain how to associate algebraic expressions to logic circuits which encode their values on various input values, in other words which encode the Boolean functions of circuits. We first review the idea of a polynumber, as opposed to a polynomial, which allows us to concentrat
From playlist Boole's Logic and Circuit Analysis
More arithmetic with polynumbers | Arithmetic and Geometry Math Foundations 59 | N J Wildberger
Polynumbers are extensions of numbers, but with a richer arithmetic. We will use them to provide a more solid foundation for the study of polynomials. Here we look at multiplying a positive polynumber by a scalar or number, connecting the multiplication of polynumbers with ordinary multip
From playlist Math Foundations
Adding Vectors Geometrically: Dynamic Illustration
Link: https://www.geogebra.org/m/tsBer5An
From playlist Trigonometry: Dynamic Interactives!
Logic: The Structure of Reason
As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be
From playlist Logic & Philosophy of Mathematics
Logic 1 - Overview: Logic Based Models | Stanford CS221: AI (Autumn 2021)
For more information about Stanford's Artificial Intelligence professional and graduate programs visit: https://stanford.io/ai This lecture covers logic-based models: propositional logic, first order logic Applications: theorem proving, verification, reasoning, think in terms of logical f
From playlist Stanford CS221: Artificial Intelligence: Principles and Techniques | Autumn 2021
Excel Statistical Analysis 17: AND, OR, and NOT Logical Tests for COUNTIFS & FILTER Functions
Download Excel File: https://excelisfun.net/files/Ch04-ESA.xlsm pdf notes: https://excelisfun.net/files/Ch04-ESA.pdf Learn about the basics of Logical Tests: AND, OR and NOT. Lean how to count based on logical tests using COUNTIFS, FILTER and ROWS functions. Topics: 1. (00:00) Introduction
From playlist Excel Statistical Analysis for Business Class Playlist of Videos from excelisfun
Inference: A Logical-Philosophical Perspective - Moderated Conversation w/ A.C. Paseau and Gila Sher
Inference: A Logical-Philosophical Perspective. Moderated Conversation with Gila Sher, Department of Philosophy, University of California, San Diego on the talk by Alexander Paseau, Faculty of Philosophy, University of Oxford. The Franke Program in Science and the Humanities Understandi
From playlist Franke Program in Science and the Humanities
What are Non-Classical logics?
Some of the general classes of non-classical logics I touch in this videos are linear logic, relevant logic, modal logic, many-valued logics, minimal logic, paraconsistent logics and so on and so forth. Let me know if I should dive deeping into a certain scene? https://en.wikipedia.org/wi
From playlist Programming
Arithmetic with positive polynumbers | Arithmetic and Geometry Math Foundations 58 | N J Wildberger
Polynumbers are extensions of the positive numbers 0,1,2,3... and have an arithmetic which is the same as that of polynomials. In fact polynumbers present us with a more logical and fundamental approach to polynomial arithmetic. This video presents some basic definitions, such as the degr
From playlist Math Foundations