Mathematical logic | Proof theory
Proof-theoretic semantics is an approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in terms of interpretations, as in Tarskian approaches to semantics, but in the role that the proposition or logical connective plays within the system of inference. (Wikipedia).
Introduction to Common Mathematical Proof Methods
This video introduces the common methods of mathematical proofs and provides a basic example of a direct proof. mathispower4u.com
From playlist Symbolic Logic and Proofs (Discrete Math)
SImple proofs and their variations -- Proofs
This lecture is on Introduction to Higher Mathematics (Proofs). For more see http://calculus123.com.
From playlist Proofs
Examples of Proof by Contradiction -- How to do Mathematical Proofs (PART 7)
This is the fifth video on a series of videos on: How to do mathematical proofs. The course is structured in such a way to make the transition from applied-style problems in mathematics (sometimes referred to as engineering mathematics) to pure mathematics much smoother. The course will
From playlist How to do Mathematical Proofs
Introduction to Predicate Logic
This video introduces predicate logic. mathispower4u.com
From playlist Symbolic Logic and Proofs (Discrete Math)
Advice on learning mathematical proofs -- How to do Mathematical Proofs (PART 10)
Advice on learning mathematical proofs -- This is the final video on a series of videos on: How to do mathematical proofs. The course is structured in such a way to make the transition from applied-style problems in mathematics (sometimes referred to as engineering mathematics) to pure mat
From playlist How to do Mathematical Proofs
Basics of Mathematical Logic -- How to do Mathematical Proofs (PART 3)
This is the first main video on a series of videos: How to do mathematical proofs. This video focuses on the basics of mathematical logic, specifically, the distinction between deductive and inductive reasoning, and examples of premises, propositions, and whatnot. The course is structured
From playlist How to do Mathematical Proofs
Inequality Proof: Summing Reciprocals of Squares (Experimental Silent Screencast)
via YouTube Capture
From playlist The Nature of Proof
Introduction to Direct Proofs: If n is even, then n squared is even
This video introduces the mathematical proof method of direct proof provides an example of a direct proof. mathispower4u.com
From playlist Symbolic Logic and Proofs (Discrete Math)
Absolute notions in model theory - M. Dzamonja - Workshop 1 - CEB T1 2018
Mirna Dzamonja (East Anglia) / 30.01.2018 The wonderful theory of stability and ranks developed for many notions in first order model theory implies that many model theoretic constructions are absolute, since they can be expressed in terms of internal properties measurable by the existenc
From playlist 2018 - T1 - Model Theory, Combinatorics and Valued fields
Paola Cantù : Logic and Interaction:pragmatics and argumentation theory
HYBRID EVENT Recorded during the meeting "Logic and transdisciplinarity" the February 11, 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 Audiov
From playlist Logic and Foundations
Basic Methods of Proof -- How to do mathematical proofs (PART 5)
This is the third video on a series of videos on: How to do mathematical proofs. The course is structured in such a way to make the transition from applied-style problems in mathematics (sometimes referred to as engineering mathematics) to pure mathematics much smoother. In this video, w
From playlist How to do Mathematical Proofs
MathZero, The Classification Problem, and Set-Theoretic Type Theory - David McAllester
Seminar on Theoretical Machine Learning Topic: MathZero, The Classification Problem, and Set-Theoretic Type Theory Speaker: David McAllester Affiliation: Toyota Technological Institute at Chicago Date: May 14, 2020 For more video please visit http://video.ias.edu
From playlist Mathematics
Shadows of Computation - Lecture 1 - Making subtle ideas apparent
Welcome to Shadows of Computation, an online course taught by Will Troiani and Billy Snikkers, covering the foundations of category theory and how it is used by computer scientists to abstract computing systems to reveal their intrinsic mathematical properties. In the first lecture Will in
From playlist Shadows of Computation
A conversation between Jonathan Gorard and Stephen Wolfram at the Wolfram Summer School 2022
Stephen Wolfram plays the role of Salonnière in an on-going series of intellectual explorations with special guests. In this episode, Jonathan Gorard joins Stephen at the 20th annual Wolfram Summer School. Watch all of the conversations here: https://wolfr.am/youtube-sw-conversations Foll
From playlist Conversations with Special Guests
Higher Inductive Types - Peter Lumsdaine
Peter Lumsdaine Dalhousie University; Member, School of Mathematics October 1, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
Proof synthesis and differential linear logic
Linear logic is a refinement of intuitionistic logic which, viewed as a functional programming language in the sense of the Curry-Howard correspondence, has an explicit mechanism for copying and discarding information. It turns out that, due to these mechanisms, linear logic is naturally r
From playlist Talks
PCP and Delegating Computation: A Love Story - Yael Tauman Kalai
Computer Science/Discrete Mathematics Seminar I Topic: PCP and Delegating Computation: A Love Story Speaker: Yael Tauman Kalai Affiliation: Microsoft Research Date: January 28, 2019 For more video please visit http://video.ias.edu
From playlist Mathematics
Equivalence relations -- Proofs
This lecture is on Introduction to Higher Mathematics (Proofs). For more see http://calculus123.com.
From playlist Proofs