In proof theory, proof nets are a geometrical method of representing proofs thateliminates two forms of bureaucracy that differentiate proofs: (A) irrelevant syntactical features of regular proof calculi, and (B) the order of rules applied in a derivation. In this way, the formal properties of proof identity correspond more closely to the intuitively desirable properties. Proof nets were introduced by Jean-Yves Girard. This distinguishes proof nets from regular proof calculi such as the natural deduction calculus and the sequent calculus, where these phenomena are present. For instance, these two linear logic proofs are identical: And their corresponding nets will be the same. (Wikipedia).
Inequality Proof: Summing Reciprocals of Squares (Experimental Silent Screencast)
via YouTube Capture
From playlist The Nature of Proof
Proof: What is it, and how does it work?
From playlist The Nature of Proof
Grid Painting Question (1 of 2: Establishing a base case)
More resources available at www.misterwootube.com
From playlist The Nature of Proof
Introduction to Proof Methods!
The first video I've made on proof methods! I discuss what a proof is, give some general tips, show how to prove a conditional statement using the direct proof method, and use the direct proof method to do some very beginner friendly proofs! The goals of this video: 1. Help people underst
From playlist Proofs
Learning to write an algebraic proof
👉 Learn how to write an algebraic proof. Algebraic proofs are used to help students understand how to write formal proofs where we have a statement and a reason. In the case of an algebraic proof the statement will be the operations used to solve an algebraic equation and the reason will
From playlist Parallel Lines and a Transversal
Proof: a³ - a is always divisible by 6 (2 of 2: Proof by exhaustion)
More resources available at www.misterwootube.com
From playlist The Nature of Proof
How to Prove a Function is Injective(one-to-one) Using the Definition
Please Subscribe here, thank you!!! https://goo.gl/JQ8Nys How to prove a function is injective. Injective functions are also called one-to-one functions. This is a short video focusing on the proof.
From playlist Proofs
CCSS What are truth tables and how can we create them for conditional statements
👉 Learn how to determine the truth or false of a conditional statement. A conditional statement is an if-then statement connecting a hypothesis (p) and the conclusion (q). If the hypothesis of a statement is represented by p and the conclusion is represented by q, then the conditional stat
From playlist Conditional Statements
Will Troiani - Proofs as permutations (Geometry of Interaction 0)
In the third of Will's talks on linear logic and proof nets, he introduces cut-elimination for multiplicative proof nets and shows how to associate permutations to a proof-net and its normal form, with the two permutations related by an interesting identity that is the starting point for G
From playlist Computation, Geometry, Logic seminar
Koko Muroya: Program semantics with token passing
HYBRID EVENT Recorded during the meeting Linear Logic Winter School" the January 28, 2022 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual
From playlist Mathematical Aspects of Computer Science
Will Troiani - Introduction to proof nets (Part 1)
In the first of several talks on linear logic and proof nets, building towards the proof of the sequentialisation theorem, Will introduces the sequent calculus of multiplicative linear logic, proof structures and the translation between them. Lecture notes - https://cglseminar.github.io/n
From playlist Computation, Geometry, Logic seminar
Strong and Weak Epsilon Nets and Their Applications - Noga Alon
Noga Alon Tel Aviv University; Institute for Advanced Study November 7, 2011 I will describe the notions of strong and weak epsilon nets in range spaces, and explain briefly some of their many applications in Discrete Geometry and Combinatorics, focusing on several recent results in the in
From playlist Mathematics
How does a statistical PROOF work?
Statistical hypothesis testing may appear to be an arcane procedure from a faraway galaxy… but what do we really do when we perform a hypothesis test? What does all its jargon mean? And once we perform this procedure, how much can we trust in its outcomes? Statistics is an integral part
From playlist Summer of Math Exposition Youtube Videos
H U K is a subspace iff H is contained in K or K is contained in H Proof
Please Subscribe here, thank you!!! https://goo.gl/JQ8Nys H U K is a subspace iff H is contained in K or K is contained in H Proof.
From playlist Proofs
Wolfram Physics Project: Relations to Category Theory
Stephen Wolfram and special guests discuss the Wolfram Physics Project and its relations to Category Theory. Begins at 9:50 Originally livestreamed at: https://twitch.tv/stephen_wolfram Stay up-to-date on this project by visiting our website: http://wolfr.am/physics Check out the announc
From playlist Wolfram Physics Project Livestream Archive
ICM Public Lecture: Geordie Williamson
Geordie Williamson (University of Sydney Mathematical Research Institute) gives a lecture on Machine Learning as a Tool for the Mathematician, as part of the ICM 2022 Public Lecture Series, hosted by the London Mathematical Society.
From playlist ICM 2022 Public Lectures
Abstract Convexity, Weak Epsilon-Nets, and Radon Number - Shay Moran
Computer Science/Discrete Mathematics Seminar II Topic: Abstract Convexity, Weak Epsilon-Nets, and Radon Number Speaker: Shay Moran Affiliation: University of California, San Diego; Member, School of Mathematics Date: March 13, 2018 For more videos, please visit http://video.ias.edu
From playlist Mathematics
Toward theoretical understanding of deep learning (Lecture 2) by Sanjeev Arora
DISTINGUISHED LECTURES THREE LECTURES ON MACHINE LEARNING SPEAKER: Sanjeev Arora (Princeton University and Institute for Advanced Study, USA) DATE: 12 February 2019 to 13 February 2019 VENUE: Ramanujan Lecture Hall, ICTS Bangalore Lecture 1: Mathematics of Machine Learning: An introdu
From playlist DISTINGUISHED LECTURES
Periodic Geodesics and Geodesic Nets on Riemannian Manifolds - Regina Rotman
Workshop on Geometric Functionals: Analysis and Applications Topic: Periodic Geodesics and Geodesic Nets on Riemannian Manifolds Speaker: Regina Rotman Affiliation: University of Toronto; Member, School of Mathematics Date: March 5, 2019 For more video please visit http://video.ias.edu
From playlist Mathematics
My Thoughts on Constructing and Presenting Rigorous Proofs
In this video, I take a look at one of the ways induction proofs are being presented on YouTube. It turns out a lot of them are missing some pretty important details. I discuss what exactly it is they are doing, why I believe it is sloppy and imprecise, and give my general thoughts about r
From playlist Proofs