Formal & Physical Sciences MathematicsENRepresentations of GL2Richard E BorcherdsJuly 16, 2024 34 min★ ★ ★ ★ ★ 5/5Representation TheoryGL2Langlands Program
Formal & Physical Sciences MathematicsENGeometrized arithmetic and the unity of mathematicsColin McLartyJuly 16, 2024 111 min★ ★ ★ ★ ☆ 4/5Philosophy of MathematicsAlgebraic GeometryArithmetic
Formal & Physical Sciences MathematicsENUndefinability and Absolute Undefinability in ArithmeticRoman KossakJuly 11, 2024 87 min★ ★ ★ ★ ☆ 4/5Model TheoryDefinabilityArithmetic
Formal & Physical Sciences MathematicsENVignette 21 - Continuous time Markov chainsJulien AJune 13, 2024 83 min★ ★ ★ ★ ☆ 4/5Markov ChainsR ProgrammingGillespie Algorithm
Formal & Physical Sciences MathematicsENMilestones and Small Steps in Model Theory of ArithmeticRoman KossakJune 2, 2024 97 min★ ★ ★ ★ ☆ 4/5Model TheoryArithmeticNonstandard Models
Formal & Physical Sciences MathematicsENMordell-Weil theoremRichard E BorcherdsMay 5, 2024 21 min★ ★ ★ ★ ★ 5/5Mordell-Weil TheoremElliptic CurvesAbelian Varieties
Formal & Physical Sciences MathematicsEN6.8210 Spring 2024 Lecture 19: Stochastic dynamicsunderactuatedApril 29, 2024 78 min★ ★ ★ ★ ☆ 4/5Stochastic DynamicsDifferential EquationsProbability
Applied Sciences & Engineering MathematicsEN6.8210 Spring 2024 Lecture 17: Mixed-discrete (combinatorial) and continuous optimizationRuss TedrakeApril 29, 2024 81 min★ ★ ★ ★ ★ 5/5OptimizationMixed-Integer ProgrammingRobotics
Formal & Physical Sciences MathematicsENReverse mathematics over a weak base theoryLeszek KołodziejczykApril 25, 2024 110 min★ ★ ★ ★ ☆ 4/5Reverse MathematicsSecond-Order ArithmeticProof Theory
Formal & Physical Sciences MathematicsENSelberg trace formulaRichard E BorcherdsApril 16, 2024 27 min★ ★ ★ ★ ★ 5/5Selberg Trace FormulaSL2(R)Representation Theory
Formal & Physical Sciences MathematicsENRiemann mapping theoremRichard E BorcherdsMarch 19, 2024 26 min★ ★ ★ ★ ★ 5/5Complex AnalysisRiemann Mapping TheoremConformal Mapping
Formal & Physical Sciences MathematicsENVinberg lecture part 4. Automorphic formsRichard E BorcherdsMarch 10, 2024 36 min★ ★ ★ ★ ★ 5/5Automorphic FormsHyperbolic Reflection GroupsKac-Moody Algebras
Formal & Physical Sciences MathematicsENThe Oldest Unsolved Problem in MathVeritasiumMarch 8, 2024 31 min★ ★ ★ ★ ★ 5/5Perfect NumbersNumber TheoryMersenne Primes
Formal & Physical Sciences MathematicsENVinberg lecture part 3. Kac-Moody algebrasRichard E BorcherdsMarch 6, 2024 50 min★ ★ ★ ★ ★ 5/5Kac-Moody AlgebrasVinberg GroupsRoot Multiplicities
Formal & Physical Sciences MathematicsEN6.8210 Spring 2024 Lecture 4: Dynamic Programming IIunderactuatedMarch 2, 2024 82 min★ ★ ★ ★ ☆ 4/5Dynamic ProgrammingOptimal ControlHamilton-Jacobi-Bellman
Formal & Physical Sciences MathematicsENVinberg lecture part 2. The reflection group of II25,1Richard E BorcherdsMarch 1, 2024 62 min★ ★ ★ ★ ★ 5/5Vinberg AlgorithmReflection GroupsLorentzian Lattices
Formal & Physical Sciences MathematicsENVinberg lecture part 1.Vinberg's algorithmRichard E BorcherdsFebruary 29, 2024 61 min★ ★ ★ ★ ★ 5/5Vinberg's AlgorithmReflection GroupsLorentzian Lattices
Formal & Physical Sciences MathematicsENElliptic functions lecture 4. The sigma functionRichard E BorcherdsFebruary 24, 2024 24 min★ ★ ★ ★ ★ 5/5Elliptic FunctionsSigma FunctionTheta Functions
Formal & Physical Sciences MathematicsENBorwein integralsRichard E BorcherdsFebruary 22, 2024 13 min★ ★ ★ ★ ★ 5/5Borwein IntegralsSinc FunctionFourier Transform
Formal & Physical Sciences MathematicsENElliptic functions lecture 3. Jacobi functionsRichard E BorcherdsFebruary 21, 2024 32 min★ ★ ★ ★ ☆ 4/5Elliptic FunctionsJacobi FunctionsLine Bundles
Formal & Physical Sciences MathematicsENElliptic functions lecture 2Richard E BorcherdsFebruary 19, 2024 35 min★ ★ ★ ★ ★ 5/5Elliptic FunctionsWeierstrass P FunctionAddition Formula
Formal & Physical Sciences MathematicsENElliptic functions 1. Weierstrass function.Richard E BorcherdsFebruary 18, 2024 32 min★ ★ ★ ★ ★ 5/5Elliptic FunctionsWeierstrass FunctionComplex Analysis
Formal & Physical Sciences MathematicsENHow to Use Math To Beat Roulette - The Martingale StrategyDr Ben MilesJanuary 21, 2024 13 min★ ★ ★ ★ ☆ 4/5MartingaleRouletteProbability
Humanities, Social Sciences & Thought MathematicsENWhat are consistency proofs and what should they beProf. Reinhard KahleJanuary 18, 2024 100 min★ ★ ★ ★ ☆ 4/5Consistency ProofsHilbert's ProgramGödel's Incompleteness Theorems
Formal & Physical Sciences MathematicsENReverse Mathematics: classifying theoremsKeita YokoyamaDecember 24, 2023 107 min★ ★ ★ ★ ☆ 4/5Reverse MathematicsSecond-Order ArithmeticBig Five
Humanities, Social Sciences & Thought MathematicsENThis game theory problem will change the way you see the worldVeritasiumDecember 23, 2023 27 min★ ★ ★ ★ ★ 5/5Game TheoryPrisoner's DilemmaCooperation
Formal & Physical Sciences MathematicsENChebyshev inequality (Eitan)EitanDecember 5, 2023 19 min★ ★ ★ ★ ☆ 4/5Chebyshev InequalityConcentration InequalitiesProbability
Formal & Physical Sciences MathematicsENMarkov's Inequality (Eitan)EitanNovember 20, 2023 18 min★ ★ ★ ★ ☆ 4/5Markov's InequalityConcentration InequalitiesProbability Theory
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 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