Logique des mathématiques

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

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

Lecture 2: Contradiction and Induction

Leçon 2 : Contradiction et induction

Lecture 1: Predicates, Sets, and Proofs

Leçon 1 : Prédicats, ensembles et preuves

The Logic of Quantified Statements (Predicate Logic)

La logique des énoncés quantifiés (logique des prédicats)

Proof, truth and verification

Preuve, vérité et vérification

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

Le défi continu de Poincare, Hilbert et Gödel

Undefinability and Absolute Undefinability in Arithmetic

Indéfinissabilité et indéfinissabilité absolue en arithmétique

Milestones and Small Steps in Model Theory of Arithmetic

Jalons et petits pas dans la théorie des modèles de l'arithmétique

Reverse mathematics over a weak base theory

Mathématiques inverses sur une théorie de base faible

What are consistency proofs and what should they be

Que sont les preuves de cohérence et que devraient-elles être ?