Provability logic | Proof theory | Modal logic

Japaridze's polymodal 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).

Video thumbnail

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"

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

Classifying Polygons

http://mathispower4u.wordpress.com/

From playlist Geometry Basics

Video thumbnail

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

Video thumbnail

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!

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

Adding Vectors Geometrically: Dynamic Illustration

Link: https://www.geogebra.org/m/tsBer5An

From playlist Trigonometry: Dynamic Interactives!

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

Related pages

Polytopological space | Modal logic | George Boolos | Second-order arithmetic | PSPACE-complete | Provability logic | Proof theory