Formal & Physical Sciences MathematicsENJoost J. Joosten: Minimal Logics for IncompletenessJoost J. JoostenAugust 22, 2021 65 min★ ★ ★ ★ ☆ 4/5GödelIncompletenessModal Logic
Formal & Physical Sciences MathematicsENJames Walsh: On the hierarchy of natural theoriesJames WalshAugust 22, 2021 55 min★ ★ ★ ★ ☆ 4/5Mathematical LogicConsistency StrengthReflection Principles
Formal & Physical Sciences MathematicsENHarvey Friedman: Aspects of Gödel incompletenessHarvey FriedmanAugust 22, 2021 74 min★ ★ ★ ★ ☆ 4/5Gödel IncompletenessMathematical LogicInterpretability
Formal & Physical Sciences MathematicsENFedor Pakhomov: Could we make second-incompleteness theoremside condition free?Fedor PakhomovAugust 22, 2021 45 min★ ★ ★ ☆ ☆ 3/5Gödel's Incompleteness TheoremsMathematical LogicProof Theory
Formal & Physical Sciences MathematicsENEmil Jerábek: Hereditarily bounded setsEmil JerábekAugust 22, 2021 56 min★ ★ ★ ★ ☆ 4/5Set TheoryDecidabilityModel Theory
Formal & Physical Sciences MathematicsENBalthasar Grabmayr:A Step Towards Absolute Versions of Metamathematical ResultsBalthasar GrabmayrAugust 22, 2021 52 min★ ★ ★ ★ ☆ 4/5Gödel's Incompleteness TheoremsTarski's TheoremFormalization
Formal & Physical Sciences MathematicsENVolker Halbach: Self-reference, truth, and provabilityVolker HalbachAugust 21, 2021 123 min★ ★ ★ ★ ☆ 4/5Self-ReferenceTruthProvability
Formal & Physical Sciences MathematicsENVolker Halbach: Self-reference and intensionality in metamathematicsVolker HalbachAugust 21, 2021 59 min★ ★ ★ ★ ☆ 4/5Self-ReferenceIntensionalityMetamathematics
Formal & Physical Sciences MathematicsENPavel Pudlák: The journey from Peano Arithmetic to proof complexityPavel PudlákAugust 21, 2021 114 min★ ★ ★ ★ ☆ 4/5Proof ComplexityPeano ArithmeticBounded Arithmetic
Formal & Physical Sciences MathematicsENMichael Rathjen: Proof Theory: From Arithmetic to Set TheoryMichael RathjenAugust 21, 2021 84 min★ ★ ★ ★ ★ 5/5Proof TheoryOrdinal AnalysisGentzen
Formal & Physical Sciences MathematicsENAnton Freund:Well ordering principles and a uniform Kruskal theoremAnton FreundAugust 21, 2021 124 min★ ★ ★ ★ ★ 5/5Ordinal AnalysisReverse MathematicsKruskal's Theorem
Formal & Physical Sciences MathematicsENAli Enayat: Flexible Turing MachinesAli EnayatAugust 21, 2021 119 min★ ★ ★ ★ ★ 5/5Turing MachinesModels of ArithmeticKripke
Formal & Physical Sciences MathematicsENAlbert Visser: Provability Logic and Modalised Fixed PointsAlbert VisserAugust 21, 2021 101 min★ ★ ★ ★ ☆ 4/5Provability LogicModal LogicFixed Points
Formal & Physical Sciences MathematicsENAlbert Visser: Cyclic Henkin Logic: Is there Life beyond Löb’s Third Condition?Albert VisserAugust 21, 2021 109 min★ ★ ★ ★ ☆ 4/5Modal LogicProvability LogicFixed Points
Formal & Physical Sciences MathematicsENThe nucleus of a cooperative game - can it be used the way Shapley was used in ML?Dr. Eitan Farchi (IBM)August 17, 2021 28 min★ ★ ★ ☆ ☆ 3/5Game TheoryNucleusShapley Value
Formal & Physical Sciences MathematicsENLESSON 50 - CHOOSING THE RIGHT STATISTICAL TESTS: FACTORS TO CONSIDER WHEN CHOOSING A TESTProf. Lydiah WambuguAugust 5, 2021 12 min★ ★ ★ ★ ☆ 4/5Statistical TestsResearch MethodsData Analysis
Formal & Physical Sciences MathematicsENLESSON 48 - INFERENTIAL STATISTICS: MEANING & USE OF HYPOTHESES IN INFERENTIAL STATISTICSProf. Lydiah WambuguAugust 2, 2021 11 min★ ★ ★ ☆ ☆ 3/5Inferential StatisticsHypothesis TestingNull Hypothesis
Humanities, Social Sciences & Thought MathematicsENLESSON 47 - DESCRIPTIVE STATISTICS: THE THREE METHODS OF ANALYSING DATA DESCRIPTIVELYProf. Lydia WambuguAugust 1, 2021 11 min★ ★ ★ ★ ☆ 4/5Descriptive StatisticsResearch MethodsData Analysis
Formal & Physical Sciences MathematicsENLESSON 46 - DATA ANALYSIS: BASIC CONCEPTS IN DATA ANALYSIS || TYPES OF STATISTICS & STATISTICAL TESTProf. Lydiah WambuguJuly 31, 2021 15 min★ ★ ★ ☆ ☆ 3/5Data AnalysisStatisticsDescriptive Statistics
Formal & Physical Sciences MathematicsENThe Simplest Math Problem No One Can Solve - Collatz ConjectureVeritasiumJuly 30, 2021 22 min★ ★ ★ ★ ★ 5/5Collatz Conjecture3x+1 ProblemNumber Theory
Formal & Physical Sciences MathematicsENStirling's Formula - BSc Physics Series - by Shilpy Bhullar (Hindi/English)Shilpy BhullarJuly 22, 2021 26 min★ ★ ★ ☆ ☆ 3/5Stirling's ApproximationFactorialStatistical Physics
Formal & Physical Sciences MathematicsENContinuous version of Bayes ruleDr. Eitan FarchiJuly 11, 2021 15 min★ ★ ★ ★ ☆ 4/5Bayes RuleContinuous ProbabilityProbability Density
Formal & Physical Sciences MathematicsENStoke's Theorem - BSc Physics Series - by Shilpy Bhullar (Hindi/English)Shilpy BhullarJune 19, 2021 38 min★ ★ ★ ★ ☆ 4/5Stokes TheoremVector CalculusLine Integral
Formal & Physical Sciences MathematicsENLESSON 32 - STRATIFIED RANDOM SAMPLING: DEFINITION & STEPS OF CONDUCTING STRATIFIED RANDOM SAMPLINGProf. Lydiah WambuguJune 6, 2021 17 min★ ★ ★ ☆ ☆ 3/5Stratified SamplingResearch MethodsSampling Techniques
Humanities, Social Sciences & Thought MathematicsENLESSON 30 - SAMPLING: RANDOM/ PROBABILITY SAMPLING TECHNIQUE & GENERATION OF RANDOM NUMBERSProf. Lydiah WambuguJune 5, 2021 16 min★ ★ ★ ☆ ☆ 3/5Probability SamplingRandom SamplingRandom Numbers
Humanities, Social Sciences & Thought MathematicsENLESSON 28 - SAMPLING: DEFINITION OF TERMS USED IN SAMPLING, PURPOSE & LIMITATIONS OF SAMPLINGProf. Lydiah WambuguMay 29, 2021 21 min★ ★ ★ ★ ☆ 4/5SamplingResearch MethodsSocial Science
Formal & Physical Sciences MathematicsENA Solution to the Stable Marriage Problem: Emily Riehl Public LectureEmily RiehlMay 12, 2021 45 min★ ★ ★ ★ ★ 5/5Stable MarriageGale-ShapleyAlgorithm
Formal & Physical Sciences MathematicsENA quick trick for computing eigenvalues | Chapter 15, Essence of linear algebra3Blue1BrownMay 7, 2021 13 min★ ★ ★ ★ ★ 5/5EigenvaluesLinear AlgebraMatrices
Formal & Physical Sciences MathematicsENAlgebraic topology: Fundamental group of a knotRichard E BorcherdsMay 2, 2021 22 min★ ★ ★ ★ ★ 5/5Algebraic TopologyFundamental GroupKnot Theory
Formal & Physical Sciences MathematicsENAlgebraic topology: Calculating the fundamental groupRichard E BorcherdsApril 23, 2021 29 min★ ★ ★ ★ ★ 5/5Algebraic TopologyFundamental GroupVan Kampen's Theorem
Formal & Physical Sciences MathematicsENGauss's Divergence Theorem - BSc Physics Series - by Shilpy Bhullar (Hindi/English)Shilpy BhullarApril 22, 2021 39 min★ ★ ★ ★ ☆ 4/5Gauss Divergence TheoremVector CalculusSurface Integral
Formal & Physical Sciences MathematicsENDivergence in terms of Cartesian Coordinates - BSc Physics Series - Shilpy Bhullar (Hindi/English)Shilpy BhullarApril 17, 2021 40 min★ ★ ★ ★ ☆ 4/5DivergenceVector CalculusCartesian Coordinates
Formal & Physical Sciences MathematicsENAlgebraic topology: Fundamental groupRichard E BorcherdsApril 17, 2021 29 min★ ★ ★ ★ ★ 5/5Algebraic TopologyFundamental GroupHomotopy
Formal & Physical Sciences MathematicsENThe basic idea of Bayesian NetworkDr. Eitan FarchiApril 16, 2021 20 min★ ★ ★ ★ ☆ 4/5Bayesian NetworksProbabilityMachine Learning
Formal & Physical Sciences MathematicsENAlgebraic topology: IntroductionRichard E BorcherdsApril 13, 2021 29 min★ ★ ★ ★ ★ 5/5Algebraic TopologyHomotopyHomology
Formal & Physical Sciences MathematicsENScience, Bayes & NLDr Eitan Farchi (IBM)April 6, 2021 18 min★ ★ ★ ☆ ☆ 3/5Bayes' TheoremScientific MethodMachine Learning
Formal & Physical Sciences MathematicsENLESSON 5- CLASSIFICATION OF VARIABLES AND SCALES OF MEASUREMENT (NOMINAL, ORDINAL, INTERVAL, RATIO)Prof. Lydiah WambuguApril 3, 2021 20 min★ ★ ★ ☆ ☆ 3/5VariablesMeasurement ScalesNominal
Formal & Physical Sciences MathematicsENModular forms: Petersson inner productRichard E BorcherdsApril 1, 2021 15 min★ ★ ★ ★ ★ 5/5Modular FormsPetersson Inner ProductHecke Operators
Formal & Physical Sciences MathematicsENHow (and why) to raise e to the power of a matrix | DE63Blue1BrownApril 1, 2021 27 min★ ★ ★ ★ ★ 5/5Matrix ExponentialDifferential EquationsLinear Algebra
Formal & Physical Sciences MathematicsENModular forms: Hecke operators for formsRichard E BorcherdsMarch 31, 2021 20 min★ ★ ★ ★ ★ 5/5Modular FormsHecke OperatorsRamanujan Tau Function