Formal & Physical Sciences MathematicsENProperties of expectation and varianceDr. Eitan FarchiFebruary 20, 2022 25 min★ ★ ★ ★ ☆ 4/5ExpectationVarianceProbability
Formal & Physical Sciences MathematicsENIntroduction to number theory lecture 21. Congruences modulo a prime.Richard E BorcherdsFebruary 19, 2022 38 min★ ★ ★ ★ ★ 5/5Number TheoryCongruencesPrime Numbers
Formal & Physical Sciences MathematicsENIntroduction to number theory lecture 20. p-adic numbers.Richard E BorcherdsFebruary 17, 2022 28 min★ ★ ★ ★ ★ 5/5Number TheoryP-Adic NumbersHensel's Lemma
Formal & Physical Sciences MathematicsENIntroduction to number theory lecture 19. Hensel and Newton's methodRichard E BorcherdsFebruary 15, 2022 31 min★ ★ ★ ★ ★ 5/5Number TheoryHensel's LemmaNewton's Method
Formal & Physical Sciences MathematicsENIntroduction to number theory lecture 18. CryptographyRichard E BorcherdsFebruary 13, 2022 37 min★ ★ ★ ★ ☆ 4/5Number TheoryCryptographyRSA
Formal & Physical Sciences MathematicsENIntroduction to number theory lecture 17. Factorization.Richard E BorcherdsFebruary 11, 2022 22 min★ ★ ★ ★ ★ 5/5Number TheoryFactorizationPollard's Rho
Formal & Physical Sciences MathematicsENIntroduction to number theory lecture 16. More numerical calculationRichard E BorcherdsFebruary 9, 2022 25 min★ ★ ★ ★ ☆ 4/5Number TheoryAlgorithmsModular Arithmetic
Formal & Physical Sciences MathematicsENUse of Bernoulli variable to empirically estimate a distributionDr. Eitan FarchiFebruary 8, 2022 22 min★ ★ ★ ☆ ☆ 3/5Bernoulli DistributionEmpirical DistributionNon-Parametric Statistics
Formal & Physical Sciences MathematicsENIntroduction to number theory lecture 15. Numerical calculationRichard E BorcherdsFebruary 7, 2022 40 min★ ★ ★ ★ ★ 5/5Number TheoryAlgorithmsComplexity
Formal & Physical Sciences MathematicsENIntroduction to number theory lecture 14. Euler's totient functionRichard E BorcherdsFebruary 5, 2022 48 min★ ★ ★ ★ ★ 5/5Euler's TotientNumber TheoryMultiplicative Function
Formal & Physical Sciences MathematicsENIntroduction to number theory lecture 13. The Chinese remainder theorem.Richard E BorcherdsFebruary 3, 2022 34 min★ ★ ★ ★ ★ 5/5Number TheoryChinese Remainder TheoremCongruences
Formal & Physical Sciences MathematicsENIntroduction to number theory lecture 12 Wilson's theoremRichard E BorcherdsFebruary 1, 2022 29 min★ ★ ★ ★ ★ 5/5Number TheoryWilson's TheoremModular Arithmetic
Formal & Physical Sciences MathematicsENIntroduction to number theory lecture 11. Euler's theoremRichard E BorcherdsJanuary 31, 2022 35 min★ ★ ★ ★ ★ 5/5Number TheoryEuler's TheoremFermat's Theorem
Formal & Physical Sciences MathematicsENIntroduction to number theory lecture 10. Fermat's theoremRichard E BorcherdsJanuary 30, 2022 28 min★ ★ ★ ★ ★ 5/5Number TheoryFermat's TheoremModular Arithmetic
Formal & Physical Sciences MathematicsENEmpirical distributionMachine Learning ConceptsJanuary 30, 2022 20 min★ ★ ★ ☆ ☆ 3/5Empirical DistributionStatisticsProbability
Formal & Physical Sciences MathematicsENIntroduction to number theory lecture 9: CongruencesRichard E BorcherdsJanuary 28, 2022 40 min★ ★ ★ ★ ★ 5/5Number TheoryCongruencesFermat's Theorem
Formal & Physical Sciences MathematicsENIntroduction to number theory lecture 8. Applications of binomial coefficientsRichard E BorcherdsJanuary 25, 2022 43 min★ ★ ★ ★ ★ 5/5Binomial CoefficientsNumber TheoryPrime Numbers
Formal & Physical Sciences MathematicsENIntroduction to number theory lecture 7. Binomial coefficients.Richard E BorcherdsJanuary 24, 2022 41 min★ ★ ★ ★ ★ 5/5Binomial CoefficientsNumber TheoryPascal's Triangle
Formal & Physical Sciences MathematicsENIntroduction to number theory lecture 6. Multiplicative functions.Richard E BorcherdsJanuary 22, 2022 32 min★ ★ ★ ★ ★ 5/5Number TheoryMultiplicative FunctionsPerfect Numbers
Formal & Physical Sciences MathematicsENIntroduction to number theory lecture 5. Primes.Richard E BorcherdsJanuary 20, 2022 44 min★ ★ ★ ★ ★ 5/5Number TheoryPrimesFundamental Theorem of Arithmetic
Formal & Physical Sciences MathematicsENThe Central Binomial Coefficient || @ CMU || Recitation 1 of CS Theory ToolkitRyan O'DonnellJanuary 19, 2022 60 min★ ★ ★ ★ ★ 5/5Central Binomial CoefficientAsymptoticsBig Theta
Formal & Physical Sciences MathematicsENMethodological frames: mathematical structuralism and proof theoryProf. Wilfried SiegJanuary 18, 2022 162 min★ ★ ★ ★ ★ 5/5Mathematical StructuralismProof TheoryHilbert
Formal & Physical Sciences MathematicsENIntroduction to number theory lecture 4. More on Euclid's algorithmRichard E BorcherdsJanuary 18, 2022 28 min★ ★ ★ ★ ★ 5/5Euclid's AlgorithmDiophantine EquationsNumber Theory
Formal & Physical Sciences MathematicsENIntroduction to number theory lecture 3: Divisibility and Euclid's algorithms.Richard E BorcherdsJanuary 17, 2022 42 min★ ★ ★ ★ ★ 5/5Number TheoryDivisibilityEuclid's Algorithm
Formal & Physical Sciences MathematicsENIntroduction to number theory lecture 2: Survey.Richard E BorcherdsJanuary 15, 2022 32 min★ ★ ★ ★ ★ 5/5Number TheoryCongruencesQuadratic Reciprocity
Formal & Physical Sciences MathematicsENIntroduction to number theory lecture 1Richard E BorcherdsJanuary 13, 2022 44 min★ ★ ★ ★ ★ 5/5Number TheoryPrimesRiemann Zeta Function
Formal & Physical Sciences MathematicsENGG ChiSquared OverviewOldProf-GeneticsDecember 28, 2021 16 min★ ★ ★ ★ ☆ 4/5Chi-SquaredGeneticsStatistics
Formal & Physical Sciences MathematicsENWhat is concrete incompleteness?Colin McLartyDecember 23, 2021 160 min★ ★ ★ ★ ☆ 4/5IncompletenessGödelHilbert
Formal & Physical Sciences MathematicsENZermelo Fraenkel ChoiceRichard E BorcherdsDecember 4, 2021 20 min★ ★ ★ ★ ★ 5/5Axiom of ChoiceSet TheoryZermelo-Fraenkel
Formal & Physical Sciences MathematicsENZermelo Fraenkel Separation and replacementRichard E BorcherdsDecember 2, 2021 17 min★ ★ ★ ★ ★ 5/5Set TheoryZermelo-FraenkelAxioms
Formal & Physical Sciences MathematicsENZermelo Fraenkel PowersetRichard E BorcherdsNovember 30, 2021 17 min★ ★ ★ ★ ★ 5/5Set TheoryPowerset AxiomZermelo-Fraenkel
Formal & Physical Sciences MathematicsENZermelo Fraenkel InfinityRichard E BorcherdsNovember 28, 2021 17 min★ ★ ★ ★ ★ 5/5Set TheoryAxiom of InfinityZermelo-Fraenkel
Formal & Physical Sciences MathematicsENZermelo Fraenkel Pairing and unionRichard E BorcherdsNovember 26, 2021 12 min★ ★ ★ ★ ★ 5/5Set TheoryZFCAxioms
Formal & Physical Sciences MathematicsENZermelo Fraenkel FoundationRichard E BorcherdsNovember 24, 2021 23 min★ ★ ★ ★ ★ 5/5Set TheoryAxiom of FoundationWell-Foundedness
Formal & Physical Sciences MathematicsENZermelo Fraenkel ExtensionalityRichard E BorcherdsNovember 22, 2021 15 min★ ★ ★ ★ ★ 5/5Set TheoryAxiom of ExtensionalityZermelo-Fraenkel
Formal & Physical Sciences MathematicsENZermelo Fraenkel IntroductionRichard E BorcherdsNovember 20, 2021 21 min★ ★ ★ ★ ★ 5/5Set TheoryZermelo-FraenkelAxioms
Formal & Physical Sciences MathematicsENCayley's tree formula (after Andre Joyal)Richard E BorcherdsNovember 14, 2021 11 min★ ★ ★ ★ ★ 5/5Cayley's FormulaCombinatoricsTree Counting
Formal & Physical Sciences MathematicsENCategories 7 Yoneda's lemmaRichard E BorcherdsNovember 12, 2021 25 min★ ★ ★ ★ ★ 5/5Yoneda's LemmaCategory TheoryRepresentable Functors
Formal & Physical Sciences MathematicsENA general numerical optimization pattern/algorithmDr. Eitan FarchiNovember 10, 2021 20 min★ ★ ★ ★ ☆ 4/5OptimizationNumerical MethodsMachine Learning
Formal & Physical Sciences MathematicsENHow Imaginary Numbers Were InventedVeritasiumNovember 1, 2021 23 min★ ★ ★ ★ ★ 5/5Imaginary NumbersHistory of MathematicsCubic Equations