Logique des mathématiques

Prof. Albert Atserias | Separating theories by consistency statements, revisited

Prof. Albert Atserias | Séparer les théories par des énoncés de cohérence, revisité

Prof. Arnold Beckmann | On Propositional Translations from Theories for Log-space Computation

Prof. Arnold Beckmann | Sur les traductions propositionnelles de théories pour le calcul en espace logarithmique

Dr. Raheleh Jalali | Formalizing the LLL algorithm in bounded arithmetic

Dr. Raheleh Jalali | Formalisation de l'algorithme LLL en arithmétique bornée

Dr. Amirhossein Akbar Tabatabai | Affine QBF-Frege: games, strategies, and lower bounds

Dr. Amirhossein Akbar Tabatabai | QBF-Frege affine : jeux, stratégies et bornes inférieures

Dr. Neil Thapen | Quantified propositional calculi and narrow implicit proofs

Dr. Neil Thapen | Calculs propositionnels quantifiés et preuves implicites étroites

Prof. Anupam Das | A monotone version of Cook's correspondence

Prof. Anupam Das | Une version monotone de la correspondance de Cook

Dr. Susanna de Rezende | The Proof Analysis Problem for Constant-Depth Frege

Dr Susanna de Rezende | Le problème d'analyse de preuve pour Frege à profondeur constante

Dr. Ondřej Ježil | Ultrapowers, Boolean Valued Models and Forcing in Bounded Arithmetic

Dr. Ondřej Ježil | Ultrapuissances, modèles booléens et forcing en arithmétique bornée

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

Tianqi Yang | Un oracle d'évitement de plage aide-t-il à résoudre des problèmes de décision ?

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

Amar Hadzihasanovic --- Sur l'oméga-équivalence auto-duale cohérente.

Dimitrios Tsintsilidas | Witnessing theorems for unprovability of circuit upper bounds

Dimitrios Tsintsilidas | Théorèmes de témoignage pour l'improbabilité des bornes supérieures de circuits

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

Sridhar Ramesh --- Structures catégoriques pour l'incomplétude de Gödel et le théorème de Löb

Stefan Grosser | Understanding Strong Proof Systems.

Stefan Grosser | Comprendre les systèmes de preuve forts

Prof. Iddo Tzameret | Algebraic Proof Complexity: Past, Present, and Future

Prof. Iddo Tzameret | Complexité des preuves algébriques : passé, présent et futur

Lec 27: CTL: Syntax and Semantics

Lec 27: CTL: Syntaxe et Sémantique

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

The Proof in the Code: A Conversation with Kevin Hartnett

La preuve par le code : Une conversation avec Kevin Hartnett

Something strange happens when you "bump the base"

Il se passe quelque chose d'étrange quand vous « augmentez la base »

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

ALGÈBRE BOOLÉENNE | STRUCTURES DISCRÈTES ET THÉORIE DE LA LOGIQUE | COURS 05 PAR MS. ARPITA AGARWAL | AKGEC

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

Apprenez la logique à partir de zéro. Cours avec 50 exercices résolus

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

Tutoriel sur les axiomes de Peano et les preuves | Tutoriel 2 d'analyse mathématique 1 | Nge Kie Seng 260424

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

Dr Laura Monk | Formalisation des mathématiques et de la géométrie spectrale dans le Lean

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

Axiomes de Peano | Analyse mathématique 1 Leçon 3 | Nge Kie Seng 260410

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

Logique des prédicats | Analyse mathématique 1, Leçon 2 | Nge Kie Seng, 26/04/09

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

Logique propositionnelle | Analyse mathématique 1 Conférence 1 | Nge Kie Seng 26.04.08

Prof. Kevin Buzzard | Formalizing mathematics today

Professeur Kevin Buzzard | Formaliser les mathématiques aujourd'hui

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

Morgan Rogers-Ultrarings: une unification catégorique booléenne et complexité descriptive algébrique

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

Nicholas Rescher, entretien de midi : Leibniz avait-il anticipé la preuve d'incomplétude de Gödel ?

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

The Biggest Flaw In Mathematics (For Sleep)

Le plus grand défaut des mathématiques (pour dormir)

Sergei Artemov --- Non-compact proofs.

Sergei Artemov --- Preuves non compactes

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

Scott Sheffield - 1 + 1 = 2 et (si le temps le permet) 2 + 2 = 4 - IPAM à UCLA

The algebra of logic (X² = X)

L'algèbre de la logique (X² = X)

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

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

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

Aristotelis Panagiotopoulos - Incompleteness theorems for observables - QISS 2025 Conference

Aristotelis Panagiotopoulos - Théorèmes d'incomplétude pour les observables - Conférence QISS 2025

Lecture 4 OFCM2025

Conférence 4 OFCM2025

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

Traduire et combiner les logiques - Hercules Marcelo SPLogIC 2023 15 février (Cours 5-Troisième partie)

Lecture 3: Casework and Strong Induction

Cours 3 : Étude de cas et intégration réussie