Mathematical logic

Tianqi Yang | Does a Range Avoidance Oracle Help Solve Decision Problems?

Amar Hadzihasanovic --- On the coherent self-dual omega-equivalence.

Dimitrios Tsintsilidas | Witnessing theorems for unprovability of circuit upper bounds

Sridhar Ramesh --- Categorical structures for Gödel incompleteness and Löb’s theorem

Stefan Grosser | Understanding Strong Proof Systems.

Lec 27: CTL: Syntax and Semantics

École d'été | 9 juin 2026 : Formalization of belief change par Florence Dupin de Saint-Cyr

Summer School | June 9, 2026: Formalization of belief change by Florence Dupin de Saint-Cyr

The Proof in the Code: A Conversation with Kevin Hartnett

Something strange happens when you "bump the base"

BOOLEAN ALGEBRA | DISCRETE STRUCTURES & THEORY OF LOGIC | LECTURE 05 BY MS. ARPITA AGARWAL | AKGEC

Aprende Lógica Desde Cero. Clase con 50 Ejercicios Resueltos

Learn Logic From Scratch. Lesson with 50 Solved Exercises

Tutorial on Peano Axioms and Proofs | Mathematical Analysis 1 Tutorial 2 | Nge Kie Seng 260424

Dr. Laura Monk | Formalising mathematics and spectral geometry in Lean

Peano Axioms | Mathematical Analysis 1 Lecture 3 | Nge Kie Seng 260410

Predicate Logic | Mathematical Analysis 1 Lecture 2 | Nge Kie Seng 26.04.09

Propositional Logic | Mathematical Analysis 1 Lecture 1 | Nge Kie Seng 26.04.08

Prof. Kevin Buzzard | Formalizing mathematics today

Morgan Rogers-Ultrarings: A categorical unification boolean and alg. descriptive complexity

Nicholas Rescher Lunchtime Talk Did Leibniz Anticipate Gödel’s Incompleteness Proof

Pourquoi NOUS ne saurons JAMAIS TOUT (Gödel l’a prouvé)

Why WE will NEVER know EVERYTHING (Gödel proved it)

The Biggest Flaw In Mathematics (For Sleep)

Sergei Artemov --- Non-compact proofs.

Scott Sheffield - 1 + 1 = 2 and (time permitting) 2 + 2 = 4 - IPAM at UCLA

The algebra of logic (X² = X)

Séance 4 L'incomplétude en logique auhourd'hui l'incomplétude mathématique des formalismes

Session 4 Incompleteness in logic today mathematical incompleteness of formalisms

Séance 3 L'aléatoire comme imprédictibilité dynamique

Session 3 Randomness as dynamic unpredictability

Séance 2 Gödel déduction formelle et indécidabilité

Session 2 Gödel formal deduction and undecidability

Aristotelis Panagiotopoulos - Incompleteness theorems for observables - QISS 2025 Conference

Lecture 4 OFCM2025

Translating and Combining Logics - Hercules Marcelo SPLogIC 2023 February 15th (Course 5-Third Part)

Lecture 3: Casework and Strong Induction

Lecture 2: Contradiction and Induction

Lecture 1: Predicates, Sets, and Proofs

The Logic of Quantified Statements (Predicate Logic)

Proof, truth and verification

The continuing challenge of Poincare, Hilbert, and Gödel

Undefinability and Absolute Undefinability in Arithmetic

Milestones and Small Steps in Model Theory of Arithmetic

Reverse mathematics over a weak base theory

What are consistency proofs and what should they be