Julia F. Knight: Completions of PA and ω-models of KP
Julia F. Knight : Complétions de PA et ω-modèles de KP
★
★
★
★
☆
4/5
Mathématiques
Joost J. Joosten: Minimal Logics for Incompleteness
Joost J. Joosten: Logiques minimales pour l'incomplétude
★
★
★
★
☆
4/5
James Walsh: On the hierarchy of natural theories
James Walsh: Sur la hiérarchie des théories naturelles
★
★
★
★
☆
4/5
Harvey Friedman: Aspects of Gödel incompleteness
Harvey Friedman: Aspects de l'incomplétude de Gödel
★
★
★
★
☆
4/5
Fedor Pakhomov: Could we make second-incompleteness theoremside condition free?
Fedor Pakhomov: Pourrions-nous rendre le théorème de seconde incomplétude sans condition latérale ?
★
★
★
☆
☆
3/5
Balthasar Grabmayr：A Step Towards Absolute Versions of Metamathematical Results
Balthasar Grabmayr : Un pas vers des versions absolues de résultats métamathématiques
★
★
★
★
☆
4/5
Volker Halbach: Self-reference, truth, and provability
Volker Halbach: Autoréférence, vérité et prouvabilité
★
★
★
★
★
5/5
Volker Halbach: Self-reference and intensionality in metamathematics
Volker Halbach: Autoréférence et intensionalité en métamathématiques
★
★
★
★
☆
4/5
Pavel Pudlák: The journey from Peano Arithmetic to proof complexity
Pavel Pudlák: Le voyage de l'arithmétique de Peano à la complexité des preuves
★
★
★
★
☆
4/5
Michael Rathjen: Proof Theory: From Arithmetic to Set Theory
Michael Rathjen: Théorie de la preuve: De l'arithmétique à la théorie des ensembles
★
★
★
★
★
5/5
Anton Freund：Well ordering principles and a uniform Kruskal theorem
Anton Freund : Principes de bon ordre et un théorème uniforme de Kruskal
★
★
★
★
☆
4/5
Albert Visser: Provability Logic and Modalised Fixed Points
Albert Visser: Logique de la prouvabilité et points fixes modalises
★
★
★
★
☆
4/5
Albert Visser: Cyclic Henkin Logic: Is there Life beyond Löb’s Third Condition?
Albert Visser: Logique de Henkin cyclique : y a-t-il une vie au-delà de la troisième condition de Löb ?
★
★
★
★
★
5/5
The nucleus of a cooperative game - can it be used the way Shapley was used in ML?
Le noyau d'un jeu coopératif - peut-il être utilisé de la même manière que Shapley l'a été en ML ?
★
★
★
★
☆
4/5
LESSON 50 - CHOOSING THE RIGHT STATISTICAL TESTS: FACTORS TO CONSIDER WHEN CHOOSING A TEST
LEÇON 50 - CHOISIR LES BONS TESTS STATISTIQUES : FACTEURS À CONSIDÉRER LORS DU CHOIX D'UN TEST
★
★
★
★
☆
4/5
LESSON 48 - INFERENTIAL STATISTICS: MEANING & USE OF HYPOTHESES IN INFERENTIAL STATISTICS
LEÇON 48 - STATISTIQUE INFÉRENTIELLE : SIGNIFICATION ET UTILISATION DES HYPOTHÈSES EN STATISTIQUE INFÉRENTIELLE
★
★
★
☆
☆
3/5
LESSON 47 - DESCRIPTIVE STATISTICS: THE THREE METHODS OF ANALYSING DATA DESCRIPTIVELY
LEÇON 47 - STATISTIQUES DESCRIPTIVES : LES TROIS MÉTHODES D'ANALYSE DES DONNÉES DE MANIÈRE DESCRIPTIVE
★
★
★
★
☆
4/5
LESSON 46 - DATA ANALYSIS: BASIC CONCEPTS IN DATA ANALYSIS || TYPES OF STATISTICS & STATISTICAL TEST
LEÇON 46 - ANALYSE DE DONNÉES : CONCEPTS DE BASE EN ANALYSE DE DONNÉES || TYPES DE STATISTIQUES ET TEST STATISTIQUE
★
★
★
☆
☆
3/5
The Simplest Math Problem No One Can Solve - Collatz Conjecture
Le problème mathématique le plus simple que personne ne peut résoudre - Conjecture de Collatz
★
★
★
★
★
5/5
Stirling's Formula - BSc Physics Series - by Shilpy Bhullar (Hindi/English)
Formule de Stirling - Série de Physique BSc - par Shilpy Bhullar (Hindi/Anglais)
★
★
★
★
☆
4/5
Stoke's Theorem - BSc Physics Series - by Shilpy Bhullar (Hindi/English)
Théorème de Stokes - Série de physique BSc - par Shilpy Bhullar (hindi/anglais)
★
★
★
★
☆
4/5
LESSON 32 - STRATIFIED RANDOM SAMPLING: DEFINITION & STEPS OF CONDUCTING STRATIFIED RANDOM SAMPLING
LEÇON 32 - ÉCHANTILLONNAGE ALÉATOIRE STRATIFIÉ : DÉFINITION ET ÉTAPES DE LA CONDUITE D'UN ÉCHANTILLONNAGE ALÉATOIRE STRATIFIÉ
★
★
★
★
☆
4/5
LESSON 30 - SAMPLING: RANDOM/ PROBABILITY SAMPLING TECHNIQUE & GENERATION OF RANDOM NUMBERS
LEÇON 30 - ÉCHANTILLONNAGE : TECHNIQUE D'ÉCHANTILLONNAGE ALÉATOIRE/DE PROBABILITÉ ET GÉNÉRATION DE NOMBRES ALÉATOIRES
★
★
☆
☆
☆
2/5
LESSON 28 - SAMPLING: DEFINITION OF TERMS USED IN SAMPLING, PURPOSE & LIMITATIONS OF SAMPLING
LEÇON 28 - ÉCHANTILLONNAGE : DÉFINITION DES TERMES UTILISÉS DANS L'ÉCHANTILLONNAGE, OBJECTIF ET LIMITES DE L'ÉCHANTILLONNAGE
★
★
★
★
☆
4/5
A Solution to the Stable Marriage Problem: Emily Riehl Public Lecture
Une solution au problème du mariage stable : Conférence publique d'Emily Riehl
★
★
★
★
☆
4/5
A quick trick for computing eigenvalues | Chapter 15, Essence of linear algebra
Une astuce pour calculer rapidement les valeurs propres | Chapitre 15, Essence de l'algèbre linéaire
★
★
★
★
★
5/5
Algebraic topology: Fundamental group of a knot
Topologie algébrique : Groupe fondamental d'un nœud
★
★
★
★
★
5/5
Algebraic topology: Calculating the fundamental group
Topologie algébrique : Calcul du groupe fondamental
★
★
★
★
★
5/5
Gauss's Divergence Theorem - BSc Physics Series - by Shilpy Bhullar (Hindi/English)
Théorème de divergence de Gauss - Série de physique BSc - par Shilpy Bhullar (hindi/anglais)
★
★
★
★
☆
4/5
Divergence in terms of Cartesian Coordinates - BSc Physics Series - Shilpy Bhullar (Hindi/English)
Divergence en termes de coordonnées cartésiennes - Série de physique BSc - Shilpy Bhullar (hindi/anglais)
★
★
★
☆
☆
3/5
LESSON 5- CLASSIFICATION OF VARIABLES AND SCALES OF MEASUREMENT (NOMINAL, ORDINAL, INTERVAL, RATIO)
LEÇON 5- CLASSIFICATION DES VARIABLES ET ÉCHELLES DE MESURE (NOMINALE, ORDINALE, INTERVALLE, RAPPORT)
★
★
★
★
☆
4/5
Modular forms: Petersson inner product
Formes modulaires : produit scalaire de Petersson
★
★
★
★
★
5/5
How (and why) to raise e to the power of a matrix | DE6
Comment (et pourquoi) élever e à la puissance d'une matrice | DE6
★
★
★
★
★
5/5