Sciences du vivant & de la nature MathématiquesFRLe vivant défie-t-il les mathématiques ?Zebroloss18 août 2026 57 min★ ★ ★ ★ ☆ 4/5ComplexitéÉvolutionSélection Naturelle
Sciences formelles & physiques MathématiquesFRTowards a database of motivated proofsSir William Timothy Gowers7 avril 2026 68 min★ ★ ★ ★ ☆ 4/5Preuves MotivéesDémonstration AutomatiqueIA Pour Les Mathématiques
Sciences humaines, sociales & pensée MathématiquesFRLES BRANCHES DES MATHÉMATIQUES ONT-ELLES DES LIMITES ?Andrew Arana25 mars 2026 46 min★ ★ ★ ★ ☆ 4/5Philosophie Des MathématiquesBranchesLimites
Sciences formelles & physiques MathématiquesFRLa déraisonnable efficacité des mathématiques - Conférence d’Hugo Duminil-CopinHugo Duminil-Copin12 février 2026 92 min★ ★ ★ ★ ★ 5/5MathématiquesPhilosophie Des SciencesEfficacité
Sciences formelles & physiques MathématiquesFRLe paradoxe de Zénon expliqué simplementProfesseur Fabrizio Bucella19 janvier 2026 15 min★ ★ ★ ★ ★ 5/5Paradoxe De ZénonSéries InfiniesLongueur De Planck
Sciences formelles & physiques MathématiquesFRSir William Timothy Gowers | How do human mathematicians avoid big searches?Sir William Timothy Gowers15 décembre 2025 92 min★ ★ ★ ★ ★ 5/5Automatisation De PreuvesRecherche HeuristiqueIntelligence Artificielle
Sciences humaines, sociales & pensée MathématiquesFR4. "Frege in Context" Brandom's 2025 Seminar Week 4: "Grundlagen (1884) II" September 24, 2025Bob Brandom7 décembre 2025 149 min★ ★ ★ ★ ★ 5/5FregePhilosophie Des MathématiquesIdentité
Sciences humaines, sociales & pensée MathématiquesFR3. "Frege in Context" Brandom's 2025 Seminar Week 3: "Grundlagen (1884) I" September 17, 2025Bob Brandom7 décembre 2025 141 min★ ★ ★ ★ ★ 5/5FregePhilosophie Des MathématiquesGrundlagen
Sciences humaines, sociales & pensée MathématiquesFR11."Frege in Context" Brandom's 2025 Seminar Week 11: Grundgesetze der Arithmetik , Nov 19, 2025Bob Brandom7 décembre 2025 124 min★ ★ ★ ★ ★ 5/5FregeGrundgesetzeBrandom
Sciences formelles & physiques MathématiquesFRMartin Hairer: Do Mathematicians Need Computers?Martin Hairer4 décembre 2025 55 min★ ★ ★ ★ ★ 5/5MathématiquesOrdinateursPreuves Assistées
Sciences humaines, sociales & pensée MathématiquesFREst-il possible d'être objectif en mathématiques ?Société Mathématique de France - SMF29 septembre 2025 70 min★ ★ ★ ★ ☆ 4/5ObjectivitéSociologie Des MathématiquesEnseignement
Sciences humaines, sociales & pensée MathématiquesFRHigher-Dimensional Beings Are Staring at Us Outside Space-Time | Mathematical RealmBeeyond Ideas14 août 2025 23 min★ ★ ★ ★ ☆ 4/5MathématiquesUniversConscience
Sciences humaines, sociales & pensée MathématiquesFRWhat is Formalisation?Prof. Alexander Paseau11 juillet 2025 79 min★ ★ ★ ★ ☆ 4/5LogiqueFormalisationValidité
Sciences humaines, sociales & pensée MathématiquesFRThe long viewColin McLarty20 juillet 2024 111 min★ ★ ★ ★ ☆ 4/5Philosophie Des MathématiquesHistoire Des MathématiquesPlaton
Sciences humaines, sociales & pensée MathématiquesFRWhy three ways of doing mathematics became rival philosophiesColin McLarty16 juillet 2024 115 min★ ★ ★ ★ ☆ 4/5Philosophie Des MathématiquesLogicismeFormalisme
Sciences formelles & physiques MathématiquesFRGeometrized arithmetic and the unity of mathematicsColin McLarty16 juillet 2024 111 min★ ★ ★ ★ ☆ 4/5ArithmétiqueGéométrieAndré Weil
Sciences formelles & physiques MathématiquesFRMethodological frames: mathematical structuralism and proof theoryProf. Wilfried Sieg18 janvier 2022 162 min★ ★ ★ ★ ★ 5/5Structuralisme MathématiqueThéorie De La PreuveHilbert
Sciences formelles & physiques MathématiquesFRMichael Rathjen: Hilbert’s program and (semi) IntuitionismMichael Rathjen24 août 2021 50 min★ ★ ★ ★ ☆ 4/5HilbertIntuitionnismeThéorie De La Preuve
Sciences humaines, sociales & pensée MathématiquesFRStanislaw Krajewski: Can our understanding of numbers be programmed into a computer?Stanislaw Krajewski22 août 2021 64 min★ ★ ★ ★ ☆ 4/5GödelMécanismePhilosophie Des Mathématiques
Sciences formelles & physiques MathématiquesFRBalthasar Grabmayr:A Step Towards Absolute Versions of Metamathematical ResultsBalthasar Grabmayr22 août 2021 52 min★ ★ ★ ★ ☆ 4/5GödelTarskiMétamathématiques
Sciences humaines, sociales & pensée MathématiquesFRZeno's Paradoxes and Mathematics - Ep. 3.8: Zeno's paradoxes and non standard analysisGraham Priest25 novembre 2020 20 min★ ★ ★ ★ ☆ 4/5ZénonAnalyse Non StandardInfiniment Petits
Sciences humaines, sociales & pensée MathématiquesFRGödel's incompleteness theorems - Ep. 6.1: Russell's LogicismUFBA Philosophy Lectures9 septembre 2020 14 min★ ★ ★ ★ ☆ 4/5LogiquePhilosophie Des MathématiquesRussell
Sciences humaines, sociales & pensée MathématiquesFRZeno's Paradoxes and Mathematics - Ep. 3.7: The instant of changeGraham Priest4 juin 2020 13 min★ ★ ★ ★ ☆ 4/5Paradoxe De ZénonInstant Du ChangementDialéthéisme
Sciences humaines, sociales & pensée MathématiquesFRZeno's Paradoxes and Mathematics - Ep. 3.4: The Russellian account of motionGraham Priest4 juin 2020 24 min★ ★ ★ ★ ☆ 4/5Paradoxes De ZénonPhilosophie Du MouvementGraham Priest
Sciences humaines, sociales & pensée MathématiquesFRZeno's Paradoxes and Mathematics - Ep. 3.3: Why infinitesimals were banished from mathematicsGraham Priest, Emiliano Boccardi4 juin 2020 10 min★ ★ ★ ★ ☆ 4/5Paradoxes De ZénonInfinitésimauxCalcul Infinitésimal
Sciences formelles & physiques MathématiquesFRZeno's Paradoxes and Mathematics - Ep. 3.2: What is an infinitesimal?Graham Priest, Emiliano Boccardi4 juin 2020 12 min★ ★ ★ ★ ☆ 4/5InfinitésimauxParadoxes De ZénonCalcul Infinitésimal
Sciences humaines, sociales & pensée MathématiquesFRZeno's Paradoxes and Mathematics - Ep. 3.1: Zeno's paradoxesGraham Priest4 juin 2020 10 min★ ★ ★ ★ ☆ 4/5ZénonParadoxesMouvement