Proof Theory Courses and Certifications

Centre International de Rencontres Mathématiques

From Axioms to Synthetic Inference Rules via Focusing

Explore the connection between axioms and synthetic inference rules through focusing, as presented by Dale Miller in this mathematical conference talk.

• YouTube
• 47 minutes
• On-Demand
• Free Video

Centre International de Rencontres Mathématiques

Recursive Inequalities in Applied Proof Theory

Explore recursive inequalities in applied proof theory, delving into advanced mathematical concepts and their practical applications.

• YouTube
• 58 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Interpolation and Quantifiers in Ortholattices

Explore quantifiers and interpolation in orthologic, examining proof systems, quantifier elimination, and efficient interpolant computation for verification algorithms.

• YouTube
• 16 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Orthologic with Axioms - Proof Theory and Algorithms

Explore orthologic with axioms, its proof theory, and algorithms. Discover generalized ortholattice reasoning and its applications in verification condition simplification and normalization.

• YouTube
• 20 minutes
• On-Demand
• Free Video

Language, Proof and Logic

3 reviews

Explore formal logic concepts, from basics to advanced theories, using FOL language. Develop skills in truth analysis, proof techniques, and logical reasoning.

• edX
• 15 weeks, 5-10 hours a week
• On-Demand
• Free Online Course (Audit)

Fields Institute

Topics in Pure Model Theory - Lecture 10

Explore advanced concepts in pure model theory, including simple theory, invariant types, and symmetry, with expert insights from Itay Kaplan of The Hebrew University of Jerusalem.

• YouTube
• 1 hour 26 minutes
• On-Demand
• Free Video

Hausdorff Center for Mathematics

An Introduction to Tensorial Logic and Dialogue Categories

An introduction to tensorial logic, exploring its relationship with dialogue games and categories. Refines linear logic and provides insights into dialogical interpretations of proofs and programs.

• YouTube
• 33 minutes
• On-Demand
• Free Video

Hausdorff Center for Mathematics

Proof Theory for Quantified Monotone Modal Logics

Explores proof-theoretic aspects of quantified non-normal modal logics, introducing labelled sequent calculi and examining their properties, completeness, and applications to neighborhood frames.

• YouTube
• 22 minutes
• On-Demand
• Free Video

Hausdorff Center for Mathematics

Ulrich Kohlenbach - Extraction of Information from Proofs

Explore proof theory and its applications in mathematics, focusing on extracting computational content from nonconstructive proofs for practical problem-solving.

• YouTube
• 1 hour 6 minutes
• On-Demand
• Free Video

Strange Loop Conference

Proof Theory Impressionism - Blurring the Curry-Howard Line

Exploring approaches to bridge the gap between proof assistants and production languages, focusing on Rust and its potential for incorporating provable system capabilities.

• YouTube
• 35 minutes
• On-Demand
• Conference Talk

Hausdorff Center for Mathematics

David Cerna: Proof Schema and the Refutational Complexity of Their Cut Structure

Explore proof schemas, refutational complexity, and cut structures in mathematical logic. Gain insights into CERES, ECA, and 1-SMA concepts for advanced theorem proving techniques.

• YouTube
• 39 minutes
• On-Demand
• Free Video

Hausdorff Center for Mathematics

Graham Leigh: On the Computational Content of Classical Sequent Calculus

Explore computational interpretations of classical logic through Herbrand's Theorem, focusing on a language-theoretic representation using higher-order recursion schemes in classical sequent calculus.

• YouTube
• 35 minutes
• On-Demand
• Free Video

Insights into Mathematics

Are All True Mathematical Statements Provable? - Famous Math Problems

Explores the philosophical question of mathematical truth and provability, challenging conventional views with explicit examples of likely true but unprovable mathematical statements.

• YouTube
• 31 minutes
• On-Demand
• Free Video

Hausdorff Center for Mathematics

Inductive Definitions, Predicativity, and the Mahlo Universe

Explore inductive definitions, predicativity, and the Mahlo universe in type theory with Peter Dybjer. Gain insights into advanced mathematical concepts and their applications.

• YouTube
• 49 minutes
• On-Demand
• Free Video

NCCR SwissMAP

An Introduction to Mathematical Logic

Explore fundamental concepts of mathematical logic, including propositional calculus, first-order logic, and formal reasoning techniques.

• YouTube
• 1 hour 2 minutes
• On-Demand
• Free Video