Sciences formelles & physiques MathématiquesFRRings and modules 2: Group ringsRichard E Borcherds28 septembre 2021 23 min★ ★ ★ ★ ★ 5/5AnneauxGroupesAlgèbre
Sciences formelles & physiques MathématiquesFRRings and modules 1 IntroductionRichard E Borcherds27 septembre 2021 30 min★ ★ ★ ★ ★ 5/5AnneauxModulesAlgèbre
Sciences formelles & physiques MathématiquesFRCategories 5 Limits and colimitsRichard E Borcherds24 septembre 2021 31 min★ ★ ★ ★ ★ 5/5Théorie Des CatégoriesLimitesColimites
Sciences formelles & physiques MathématiquesFRCategories 4 Adjoint functorsRichard E Borcherds23 septembre 2021 15 min★ ★ ★ ★ ☆ 4/5CatégorieFoncteur AdjointAlgèbre
Sciences formelles & physiques MathématiquesFRCategories 3 Natural transformationsRichard E Borcherds22 septembre 2021 15 min★ ★ ★ ★ ★ 5/5CatégorieFoncteurTransformation Naturelle
Sciences formelles & physiques MathématiquesFRCategories 2: FunctorsRichard E Borcherds21 septembre 2021 20 min★ ★ ★ ★ ★ 5/5Théorie Des CatégoriesFoncteursMathématiques
Sciences formelles & physiques MathématiquesFRCategories 1 IntroductionRichard E Borcherds20 septembre 2021 24 min★ ★ ★ ★ ★ 5/5Théorie Des CatégoriesMathématiquesCours
Sciences formelles & physiques MathématiquesFRJuan P. Aguilera: The Pi^1_2 Consequences of a theoryJuan P. Aguilera31 août 2021 40 min★ ★ ★ ★ ☆ 4/5Théorie Des PreuvesOrdinauxDilateurs
Sciences formelles & physiques MathématiquesFRSaul Aaron Kripke: A Model-Theoretic Approach to Gödel’s TheoremSaul Aaron Kripke30 août 2021 29 min★ ★ ★ ★ ★ 5/5Logique MathématiqueThéorème De GödelThéorie Des Modèles
Sciences formelles & physiques MathématiquesFRTaishi Kurahashi: Inclusions between quantified provability logicsTaishi Kurahashi26 août 2021 56 min★ ★ ★ ★ ☆ 4/5Logique ModaleLogique De La ProuvabilitéThéorèmes D'incomplétude
Sciences formelles & physiques MathématiquesFRUlrich Kohlenbach: From the Foundations of Mathematics to Applications in Core MathematicsUlrich Kohlenbach24 août 2021 118 min★ ★ ★ ★ ★ 5/5Théorie De La PreuveProof MiningAnalyse Non Linéaire
Sciences formelles & physiques MathématiquesFRPavel Pudlák: Incompleteness theorems for weak theories of arithmetic and some stronger versionsPavel Pudlák24 août 2021 60 min★ ★ ★ ★ ☆ 4/5Théorèmes D'incomplétudeArithmétique FaibleCoupures
Sciences formelles & physiques MathématiquesFRMichael Rathjen: Hilbert’s program and (semi) IntuitionismMichael Rathjen24 août 2021 50 min★ ★ ★ ★ ☆ 4/5HilbertIntuitionnismeThéorie De La Preuve
Sciences formelles & physiques MathématiquesFRLev D. Beklemishev: Reflection Algebras and ProgressionsLev D. Beklemishev24 août 2021 138 min★ ★ ★ ★ ★ 5/5PreuveArithmétiqueOrdinal
Sciences formelles & physiques MathématiquesFRAli Enayat: Tight TheoriesAli Enayat24 août 2021 55 min★ ★ ★ ★ ★ 5/5Théorie Des ModèlesInterprétabilitéArithmétique De Peano
Sciences formelles & physiques MathématiquesFRSam Sanders: Some theorems are more equal than others: a slow introduction to Reverse MathematicsSam Sanders23 août 2021 94 min★ ★ ★ ★ ☆ 4/5Mathématiques InversesLogique MathématiqueThéorie De La Calculabilité
Sciences formelles & physiques MathématiquesFRRalf Schindler: How many real numbers are there?Ralf Schindler23 août 2021 83 min★ ★ ★ ★ ★ 5/5Théorie Des EnsemblesHypothèse Du ContinuForcing
Sciences humaines, sociales & pensée MathématiquesFRMatthias Baaz: Kurt Gödel and Alfred Tarski:The Extremes of LogicMatthias Baaz23 août 2021 57 min★ ★ ★ ★ ☆ 4/5Kurt GödelAlfred TarskiLogique Mathématique
Sciences formelles & physiques MathématiquesFRMatthias Baaz: Incompleteness and attempted proofs of consistencyMatthias Baaz23 août 2021 65 min★ ★ ★ ★ ☆ 4/5GödelIncomplétudeConsistance
Sciences formelles & physiques MathématiquesFRJoost J. Joosten: Iterated consistency, reflection and foundations of mathematicsJoost J. Joosten23 août 2021 100 min★ ★ ★ ★ ☆ 4/5Logique MathématiqueThéorèmes D'incomplétudeProgressions De Turing
Sciences formelles & physiques MathématiquesFRFedor Pakhomov: Kripke-Platek set theoryFedor Pakhomov23 août 2021 102 min★ ★ ★ ★ ☆ 4/5Théorie Des EnsemblesKripke-PlatekLogique Mathématique
Sciences formelles & physiques MathématiquesFRDavid Fernandez-Duque: When Ackermann meets GoodsteinDavid Fernandez-Duque23 août 2021 62 min★ ★ ★ ★ ☆ 4/5AckermannGoodsteinThéorie De La Preuve
Sciences formelles & physiques MathématiquesFRAnton Freund: Independence without computational strengthAnton Freund23 août 2021 54 min★ ★ ★ ★ ☆ 4/5IndépendanceArithmétique De PeanoThéorème De Kruskal
Sciences formelles & physiques MathématiquesFRAndreas Weiermann: Cut elimination and provably recursive functionsAndreas Weiermann23 août 2021 111 min★ ★ ★ ★ ☆ 4/5Élimination Des CoupuresArithmétique De PeanoFonctions Récursives
Sciences formelles & physiques MathématiquesFRWilfried Sieg: Gödel in AProSWilfried Sieg22 août 2021 58 min★ ★ ★ ★ ☆ 4/5GödelAProSLogique Mathématique
Sciences humaines, sociales & pensée MathématiquesFRStanislaw Krajewski: Can our understanding of numbers be programmed into a computer?Stanislaw Krajewski22 août 2021 64 min★ ★ ★ ★ ☆ 4/5GödelMécanismePhilosophie Des Mathématiques
Sciences formelles & physiques MathématiquesFRSam Sanders: On two topics dear to Kurt GödelSam Sanders22 août 2021 55 min★ ★ ★ ★ ☆ 4/5GödelMathématiques InversesThéorie Des Ensembles
Sciences formelles & physiques MathématiquesFRSaeed Salehi: Some Fairies in the Incompleteness WonderlandSaeed Salehi22 août 2021 42 min★ ★ ★ ★ ★ 5/5Théorème D'incomplétudeGödelLogique Mathématique
Sciences formelles & physiques MathématiquesFRMinimal Logics for IncompletenessJoost J. Joosten22 août 2021 65 min★ ★ ★ ★ ☆ 4/5Logique ModaleThéorèmes D'incomplétudeLogique De La Prouvabilité
Sciences formelles & physiques MathématiquesFRLev D. Beklemishev: Strictly positive provability logics: recent progress and open questionsLev D. Beklemishev22 août 2021 57 min★ ★ ★ ★ ★ 5/5Logique ModaleLogique De La ProuvabilitéThéorème D'incomplétude
Sciences formelles & physiques MathématiquesFRJuliette C. Kennedy: Gödel and the Scope Problem: From Incompleteness to Extended ConstructibilityJuliette C. Kennedy22 août 2021 49 min★ ★ ★ ★ ☆ 4/5GödelConstructibilitéLogique Du Second Ordre
Sciences formelles & physiques MathématiquesFRJulia F. Knight: Completions of PA and ω-models of KPJulia F. Knight22 août 2021 44 min★ ★ ★ ★ ☆ 4/5Logique MathématiqueArithmétique De PeanoThéorie Des Ensembles
Sciences formelles & physiques MathématiquesFRJames Walsh: On the hierarchy of natural theoriesJames Walsh22 août 2021 55 min★ ★ ★ ★ ☆ 4/5Logique MathématiqueThéorèmes D'incomplétudeForce De Cohérence
Sciences formelles & physiques MathématiquesFRHarvey Friedman: Aspects of Gödel incompletenessHarvey Friedman22 août 2021 74 min★ ★ ★ ★ ☆ 4/5Logique MathématiqueThéorèmes De GödelIncomplétude
Sciences formelles & physiques MathématiquesFRFedor Pakhomov: Could we make second-incompleteness theoremside condition free?Fedor Pakhomov22 août 2021 45 min★ ★ ★ ☆ ☆ 3/5Théorèmes D'incomplétudeLogique MathématiqueGödel
Sciences formelles & physiques MathématiquesFREmil Jerábek: Hereditarily bounded setsEmil Jerábek22 août 2021 56 min★ ★ ★ ★ ☆ 4/5Logique MathématiqueThéorie Des EnsemblesIndécidabilité
Sciences formelles & physiques MathématiquesFRBalthasar Grabmayr:A Step Towards Absolute Versions of Metamathematical ResultsBalthasar Grabmayr22 août 2021 52 min★ ★ ★ ★ ☆ 4/5GödelTarskiMétamathématiques
Sciences formelles & physiques MathématiquesFRVolker Halbach: Self-reference, truth, and provabilityVolker Halbach21 août 2021 123 min★ ★ ★ ★ ★ 5/5Auto-RéférenceVéritéProuvabilité
Sciences formelles & physiques MathématiquesFRVolker Halbach: Self-reference and intensionality in metamathematicsVolker Halbach21 août 2021 59 min★ ★ ★ ★ ☆ 4/5Auto-RéférenceIntensionalitéMétamathématique
Sciences formelles & physiques MathématiquesFRPavel Pudlák: The journey from Peano Arithmetic to proof complexityPavel Pudlák21 août 2021 114 min★ ★ ★ ★ ☆ 4/5Arithmétique De PeanoComplexité Des PreuvesLogique Mathématique