Applied Sciences & Engineering AI — Models & ResearchENMachine Learning Practice: CoLab InterfaceMachine Learning PracticeAugust 25, 2021 13 min★ ★ ★ ☆ ☆ 3/5Google ColabJupyter NotebookPython
Formal & Physical Sciences PhysicsENBeyond the Atom: Remodelling Particle PhysicsPerimeter Institute for Theoretical PhysicsAugust 25, 2021 26 min★ ★ ★ ★ ★ 5/5Particle PhysicsStandard ModelHiggs Boson
Formal & Physical Sciences PhysicsENAu-delà de l'atome : La physique des particules remodeléePerimeter Institute for Theoretical PhysicsAugust 25, 2021 26 min★ ★ ★ ★ ☆ 4/5Particle PhysicsStandard ModelHiggs Boson
Humanities, Social Sciences & Thought Economics & FinanceEN¿Qué está pasando con la seguridad en el sector petrolero? - Corto Circuito Ep. 27 T2Energía a DebateAugust 25, 2021 90 min★ ★ ★ ★ ☆ 4/5PemexOil SafetyBudget Cuts
Formal & Physical Sciences MathematicsENUlrich Kohlenbach: From the Foundations of Mathematics to Applications in Core MathematicsUlrich KohlenbachAugust 24, 2021 118 min★ ★ ★ ★ ★ 5/5Proof TheoryProof MiningFunctional Interpretation
Applied Sciences & Engineering Engineering & TechnologyENSTARSHIP: Les coulisses du MONSTRE qui va conquérir l'Espace - Journal de la Starbase #4Quentin (Le Journal de l'Espace)August 24, 2021 13 min★ ★ ★ ★ ☆ 4/5StarshipSpaceXBoca Chica
Formal & Physical Sciences MathematicsENPavel Pudlák: Incompleteness theorems for weak theories of arithmetic and some stronger versionsPavel PudlákAugust 24, 2021 60 min★ ★ ★ ★ ☆ 4/5Gödel's Incompleteness TheoremsWeak ArithmeticProof Theory
Formal & Physical Sciences MathematicsENMichael Rathjen: Hilbert’s program and (semi) IntuitionismMichael RathjenAugust 24, 2021 50 min★ ★ ★ ★ ☆ 4/5Hilbert's ProgramSemi-IntuitionismConstructive Set Theory
Formal & Physical Sciences MathematicsENLev D. Beklemishev: Reflection Algebras and ProgressionsLev D. BeklemishevAugust 24, 2021 138 min★ ★ ★ ★ ☆ 4/5Proof TheoryReflection PrinciplesOrdinal Analysis
Humanities, Social Sciences & Thought Science — General & HistoryENLESSON 53 - RESEARCH PROPOSAL: PURPOSE OF THE STUDY, OBJECTIVES OF THE STUDY, RESEARCH QUESTIONSDr. Lydia WambuguAugust 24, 2021 14 min★ ★ ★ ★ ☆ 4/5Research ProposalPurpose of StudyObjectives
Formal & Physical Sciences MathematicsENAli Enayat: Tight TheoriesAli EnayatAugust 24, 2021 55 min★ ★ ★ ★ ☆ 4/5Mathematical LogicInterpretabilityPeano Arithmetic
Formal & Physical Sciences MathematicsENSam Sanders: Some theorems are more equal than others: a slow introduction to Reverse MathematicsSam SandersAugust 23, 2021 94 min★ ★ ★ ★ ☆ 4/5Reverse MathematicsMathematical LogicComputability Theory
Formal & Physical Sciences MathematicsENRalf Schindler: How many real numbers are there?Ralf SchindlerAugust 23, 2021 83 min★ ★ ★ ★ ★ 5/5Set TheoryContinuum HypothesisCardinality
Humanities, Social Sciences & Thought MathematicsENMatthias Baaz: Kurt Gödel and Alfred Tarski: The Extremes of LogicMatthias BaazAugust 23, 2021 57 min★ ★ ★ ★ ☆ 4/5Kurt GödelAlfred TarskiMathematical Logic
Formal & Physical Sciences MathematicsENMatthias Baaz: Incompleteness and attempted proofs of consistencyMatthias BaazAugust 23, 2021 65 min★ ★ ★ ★ ☆ 4/5GödelIncompletenessConsistency
Humanities, Social Sciences & Thought Science — General & HistoryENLESSON 52 - RESEARCH PROPOSAL: BACKGROUND TO THE STUDY & STATEMENT OF THE PROBLEMProf. Lydia WambuguAugust 23, 2021 16 min★ ★ ★ ★ ☆ 4/5Research ProposalBackground to the StudyStatement of the Problem
Formal & Physical Sciences MathematicsENJoost J. Joosten: Iterated consistency, reflection and foundations of mathematicsJoost J. JoostenAugust 23, 2021 100 min★ ★ ★ ★ ☆ 4/5Gödel's Incompleteness TheoremsTuring ProgressionsProvability Logic
Humanities, Social Sciences & Thought Foresight & Science FictionENIsaac Asimov's Vision of Humanity's Future | Foundation Ending ExplainedQuinn's IdeasAugust 23, 2021 11 min★ ★ ★ ★ ☆ 4/5AsimovFoundationScience Fiction
Formal & Physical Sciences MathematicsENFedor Pakhomov: Kripke-Platek set theoryFedor PakhomovAugust 23, 2021 102 min★ ★ ★ ★ ☆ 4/5Set TheoryKripke-PlatekComputability
Formal & Physical Sciences MathematicsENDavid Fernandez-Duque: When Ackermann meets GoodsteinDavid Fernandez-DuqueAugust 23, 2021 62 min★ ★ ★ ★ ☆ 4/5Ackermann FunctionGoodstein's TheoremProof Theory
Formal & Physical Sciences MathematicsENAnton Freund: Independence without computational strengthAnton FreundAugust 23, 2021 54 min★ ★ ★ ★ ☆ 4/5IndependenceProof TheoryOrdinal Analysis
Formal & Physical Sciences MathematicsENAndreas Weiermann: Cut elimination and provably recursive functionsAndreas WeiermannAugust 23, 2021 111 min★ ★ ★ ★ ☆ 4/5Proof TheoryCut EliminationProvably Recursive Functions
Formal & Physical Sciences MathematicsENWilfried Sieg: Gödel in AProSWilfried SiegAugust 22, 2021 58 min★ ★ ★ ★ ☆ 4/5GödelAProSLogic
Humanities, Social Sciences & Thought MathematicsENStanislaw Krajewski: Can our understanding of numbers be programmed into a computer?Stanislaw KrajewskiAugust 22, 2021 64 min★ ★ ★ ★ ☆ 4/5GödelIncompletenessPhilosophy of Mathematics
Applied Sciences & Engineering Engineering & TechnologyENSlew Rate of IC Op-Amp (1): Rated Output Voltage SimulatedVincent ChangAugust 22, 2021 10 min★ ★ ★ ★ ☆ 4/5Op-AmpSlew RateRated Output Voltage
Formal & Physical Sciences MathematicsENSam Sanders: On two topics dear to Kurt GödelSam SandersAugust 22, 2021 55 min★ ★ ★ ★ ☆ 4/5Reverse MathematicsHigher-Order ArithmeticCoding
Formal & Physical Sciences MathematicsENSaeed Salehi: Some Fairies in the Incompleteness WonderlandSaeed SalehiAugust 22, 2021 42 min★ ★ ★ ★ ☆ 4/5GödelIncompletenessMathematical Logic
Formal & Physical Sciences MathematicsENMinimal Logics for IncompletenessJoost J. JoostenAugust 22, 2021 65 min★ ★ ★ ★ ☆ 4/5GödelIncompletenessModal Logic
Formal & Physical Sciences MathematicsENLev D. Beklemishev: Strictly positive provability logics: recent progress and open questionsLev D. BeklemishevAugust 22, 2021 57 min★ ★ ★ ★ ☆ 4/5Provability LogicModal LogicGödel
Humanities, Social Sciences & Thought Science — General & HistoryENLESSON 51 - INTRODUCTION TO RESEARCH PROPOSAL: MEANING, PURPOSE & STRUCTUREProf. Lydiah WambuguAugust 22, 2021 17 min★ ★ ★ ☆ ☆ 3/5Research ProposalAcademic WritingResearch Methods
Humanities, Social Sciences & Thought Philosophy & EthicsENJuliet Floyd: Truth in Early Wittgenstein and GödelJuliet FloydAugust 22, 2021 22 min★ ★ ★ ★ ☆ 4/5WittgensteinGödelRussell
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 MathematicsENGödel and the Scope Problem: From Incompleteness to Extended ConstructibilityJuliette C. KennedyAugust 22, 2021 49 min★ ★ ★ ★ ☆ 4/5GödelSet TheoryConstructibility
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 MathematicsENCompletions of PA and ω-models of KPJulia F. KnightAugust 22, 2021 44 min★ ★ ★ ★ ☆ 4/5Mathematical LogicPeano ArithmeticKripke-Platek Set 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 MathematicsENWell ordering principles and a uniform Kruskal theoremAnton FreundAugust 21, 2021 124 min★ ★ ★ ★ ★ 5/5Ordinal AnalysisReverse MathematicsKruskal's Theorem
Formal & Physical Sciences MathematicsENVolker Halbach: Self-reference and intensionality in metamathematicsVolker HalbachAugust 21, 2021 59 min★ ★ ★ ★ ☆ 4/5Self-ReferenceIntensionalityMetamathematics