Proof Theory Courses and Certifications

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)

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

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 Online Course

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 Online Course

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 Online Course

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 Online Course

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 Online Course

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 Online Course

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 Online Course

Hausdorff Center for Mathematics

First-Order Logic from a Naproche Perspective

Explore first-order logic through the lens of Naproche, a natural language proof checker, in this insightful talk by Peter Koepke at the School on Formal Mathematics.

• YouTube
• 24 minutes
• On-Demand
• Free Online Course

Fields Institute

The Value of Errors in Proofs

Explore the significance of errors in mathematical proofs with Avi Wigderson. Gain insights into how mistakes contribute to advancing mathematical understanding and problem-solving techniques.

• YouTube
• 43 minutes
• On-Demand
• Free Online Course

Institute for Advanced Study

The Value of Errors in Proofs

Explore the significance of errors in mathematical proofs with Avi Wigderson, delving into their role in advancing quantum information and physics research.

• YouTube
• 1 hour 19 minutes
• On-Demand
• Free Online Course

Wrath of Math

Where This Deadly Proof Falls Apart - Analyzing the Irrationality of sqrt(2)

Explore the classic proof of sqrt(2)'s irrationality and discover its limitations when applied to rational numbers in this insightful mathematical analysis.

• YouTube
• 20 minutes
• On-Demand
• Free Online Course

Hausdorff Center for Mathematics

Diagrams and Proofs in Mathematics

Explore the intersection of visual reasoning and mathematical proofs, examining how diagrams enhance understanding and facilitate logical arguments in mathematics.

• YouTube
• 37 minutes
• On-Demand
• Free Online Course

Hausdorff Center for Mathematics

Formalizing Post-Rigorous Mathematics

Explore post-rigorous mathematics and its formalization with Emily Riehl, delving into advanced concepts and their applications in modern mathematical research.

• YouTube
• 38 minutes
• On-Demand
• Free Online Course