Formal & Physical Sciences MathematicsENNew results on incompleteness and ordinal analysisJames WalshNovember 11, 2023 103 min★ ★ ★ ★ ☆ 4/5Proof TheoryIncompletenessOrdinal Analysis
Formal & Physical Sciences MathematicsENGoodstein walks and Gödel incompletenessDavid Fernández-DuqueOctober 23, 2023 97 min★ ★ ★ ★ ☆ 4/5GoodsteinGödelIncompleteness
Formal & Physical Sciences MathematicsENGraph theory (1)Julien AOctober 20, 2023 76 min★ ★ ★ ★ ☆ 4/5Graph TheoryMathematicsTutorial
Formal & Physical Sciences MathematicsENFixed point theorem of contraction maps (Eitan)EitanOctober 11, 2023 26 min★ ★ ★ ★ ☆ 4/5Banach Fixed-Point TheoremContraction MappingMetric Space
Formal & Physical Sciences MathematicsEN25 Math explainers you may enjoy | SoME3 results3Blue1Brown (Grant Sanderson)October 7, 2023 22 min★ ★ ★ ★ ★ 5/5MathSoME3Education
Formal & Physical Sciences MathematicsENUofM - MATH 2740 - Lecture 19 - Graph theory (Graph measures 3)Julien ASeptember 19, 2023 72 min★ ★ ★ ★ ☆ 4/5Graph TheoryCentralityK-Core
Formal & Physical Sciences MathematicsENUofM - MATH 2740 - Lecture 15 - Graph theory (strong connectedness and matrices)Julien ASeptember 19, 2023 73 min★ ★ ★ ★ ☆ 4/5Graph TheoryDirected GraphsStrong Connectivity
Formal & Physical Sciences MathematicsENUofM - MATH 2740 - Lecture 11 - Part 1 - PCA (theory, continued)Julien ASeptember 19, 2023 20 min★ ★ ★ ★ ☆ 4/5PCAEigenvaluesCovariance Matrix
Formal & Physical Sciences MathematicsENUofM - MATH 2740 - Lecture 10 - PCA (theory)Julien ASeptember 19, 2023 72 min★ ★ ★ ★ ☆ 4/5PCADimensionality ReductionLinear Algebra
Formal & Physical Sciences MathematicsENUofM - MATH 2740 - Lecture 05 - Part 2 - Fitting Canada censusJulien ASeptember 19, 2023 25 min★ ★ ★ ★ ☆ 4/5Least SquaresR ProgrammingData Fitting
Formal & Physical Sciences MathematicsENThe Insane Math Of Knot TheoryVeritasiumSeptember 3, 2023 35 min★ ★ ★ ★ ★ 5/5Knot TheoryMathematicsTopology
Formal & Physical Sciences MathematicsENLecture series on concrete incompleteness-2: Proof theory of Peano ArithmeticProf. Andreas WeiermannAugust 5, 2023 131 min★ ★ ★ ★ ★ 5/5Proof TheoryPeano ArithmeticTransfinite Induction
Formal & Physical Sciences MathematicsENOn concrete incompleteness-4: Friedman style independence results for ordinals and finite treesAndreas WeiermannAugust 4, 2023 111 min★ ★ ★ ★ ☆ 4/5IncompletenessOrdinalsFinite Trees
Formal & Physical Sciences MathematicsENLecture series on concrete incompleteness-5: Phase transitionsAndreas WeiermannAugust 4, 2023 145 min★ ★ ★ ★ ☆ 4/5Concrete IncompletenessPhase TransitionsProof Theory
Formal & Physical Sciences MathematicsENLecture series on concrete incompleteness-3: Paris Harrington theoremProf. Andreas WeiermannAugust 4, 2023 109 min★ ★ ★ ★ ☆ 4/5Paris-Harrington TheoremIncompletenessRamsey Theory
Formal & Physical Sciences MathematicsENLecture series on concrete incompleteness-1: Cut elimination theoremAndreas WeiermannAugust 4, 2023 104 min★ ★ ★ ★ ☆ 4/5Proof TheoryCut EliminationSequent Calculus
Formal & Physical Sciences MathematicsENA pretty reason why Gaussian + Gaussian = Gaussian3Blue1BrownJuly 11, 2023 13 min★ ★ ★ ★ ★ 5/5GaussianConvolutionCentral Limit Theorem
Formal & Physical Sciences MathematicsENThis pattern breaks, but for a good reason | Moser's circle problem3Blue1BrownJuly 2, 2023 16 min★ ★ ★ ★ ★ 5/5Moser's Circle ProblemCombinatoricsEuler's Formula
Formal & Physical Sciences MathematicsENConvolutions | Why X+Y in probability is a beautiful mess3Blue1BrownJune 27, 2023 27 min★ ★ ★ ★ ★ 5/5ConvolutionProbabilityCentral Limit Theorem
Formal & Physical Sciences MathematicsENSoundness SpectraJuan P. AguileraJune 17, 2023 121 min★ ★ ★ ★ ☆ 4/5Proof TheoryOrdinal AnalysisDilators
Formal & Physical Sciences MathematicsENWhat happens if you just keep squaring?Veritasium (Derek Muller, with Alex Kontorovich)June 6, 2023 33 min★ ★ ★ ★ ★ 5/5P-Adic NumbersNumber TheoryFermat's Last Theorem
Formal & Physical Sciences MathematicsENOn the (non)existence of proof sytems in universal proof theoryRosalie IemhoffMay 2, 2023 120 min★ ★ ★ ★ ☆ 4/5Proof TheorySequent CalculusUniversal Proof Theory
Formal & Physical Sciences MathematicsEN6.8210 Spring 2023 Lecture 20: Stochastic dynamicsunderactuatedApril 29, 2023 74 min★ ★ ★ ★ ☆ 4/5Stochastic DynamicsProbability DistributionsMarkov Processes
Formal & Physical Sciences MathematicsENEstimation d'un paramètreEstimating a parameterThierry AncelleApril 25, 2023 38 min★ ★ ★ ★ ☆ 4/5StatisticsConfidence IntervalEpidemiology
Formal & Physical Sciences MathematicsENWhy π is in the normal distribution (beyond integral tricks)3Blue1Brown (Grant Sanderson)April 2, 2023 24 min★ ★ ★ ★ ★ 5/5Distribution NormaleIntégrale De GaussΠ
Formal & Physical Sciences MathematicsENBut what is the Central Limit Theorem?3Blue1BrownMarch 14, 2023 31 min★ ★ ★ ★ ★ 5/5Théorème Central LimiteDistribution NormaleProbabilités
Formal & Physical Sciences MathematicsENCours 18 - Modèles en chaînes de MarkovCours 18 - Modèles en chaînes de MarkovJulien AFebruary 11, 2023 65 min★ ★ ★ ★ ☆ 4/5Markov ChainsStochastic ProcessesTransition Matrix
Formal & Physical Sciences MathematicsENSpring 2023 6.8210 Lecture 2: Nonlinear DynamicsunderactuatedFebruary 10, 2023 72 min★ ★ ★ ★ ☆ 4/5Nonlinear DynamicsPendulumStability
Life & Natural Systems MathematicsENCours 13 - Modèles de groupesCours 13 - Modèles de groupesJulien AFebruary 10, 2023 52 min★ ★ ★ ★ ☆ 4/5ÉpidémiologieModèles MathématiquesGroupes
Life & Natural Systems MathematicsENCours 12 - Hétérogénéité de groupe et spatialeCours 12 - Hétérogénéité de groupe et spatialeJulien AFebruary 10, 2023 63 min★ ★ ★ ★ ☆ 4/5EpidemiologyHeterogeneitySpatial Spread
Formal & Physical Sciences MathematicsENCours 11 - Quelques curiosités et modèles en plusCours 11 - Quelques curiosités et modèles en plusJulien AFebruary 10, 2023 66 min★ ★ ★ ★ ☆ 4/5Mathematical EpidemiologyNext-Generation MatrixTuberculosis Model
Formal & Physical Sciences MathematicsENCours 10 - Plus de modèles épidémiquesCours 10 - Plus de modèles épidémiquesJulien AFebruary 8, 2023 42 min★ ★ ★ ★ ☆ 4/5EpidemiologyMathematical ModelingSIR Model
Formal & Physical Sciences MathematicsENParameter identification (fitting a model) and identifiabilityJulien AJanuary 26, 2023 56 min★ ★ ★ ★ ☆ 4/5Parameter FittingIdentifiabilityLogistic Equation
Formal & Physical Sciences MathematicsENNumerics with models for ETPJulien AJanuary 20, 2023 57 min★ ★ ★ ★ ☆ 4/5EpidemiologyMathematical ModelingNumerical Simulation
Formal & Physical Sciences MathematicsENThe Art of Ordinal AnalysisProf. Michael RathjenDecember 21, 2022 109 min★ ★ ★ ★ ★ 5/5Proof TheoryOrdinal AnalysisMathematical Logic
Formal & Physical Sciences MathematicsENRégression logistique. 1 ) PrincipeLogistic Regression. 1) PrincipleThierry AncelleDecember 21, 2022 25 min★ ★ ★ ★ ☆ 4/5Logistic RegressionEpidemiologyStatistics
Life & Natural Systems MathematicsENRégression logistique. 2) PratiqueLogistic Regression. 2) Practical ApplicationThierry AncelleDecember 21, 2022 29 min★ ★ ★ ★ ☆ 4/5Logistic RegressionEpidemiologyStatistics
Formal & Physical Sciences MathematicsENEssential Hereditary UndecidabilityAlbert VisserDecember 18, 2022 106 min★ ★ ★ ★ ☆ 4/5LogicUndecidabilityGödel
Formal & Physical Sciences MathematicsENPermutations and Combinations - BSc Physics Series - by Shilpy Bhullar (Hindi/English)Shilpy BhullarDecember 17, 2022 31 min★ ★ ★ ☆ ☆ 3/5PermutationsCombinationsMathematics
Formal & Physical Sciences MathematicsENGreen's Theorem - BSc Physics Series - by Shilpy Bhullar (Hindi/English)Shilpy BhullarDecember 17, 2022 57 min★ ★ ★ ★ ☆ 4/5Green's TheoremVector CalculusLine Integral