Mathématiques

Proof, truth and verification

Preuve, vérité et vérification

🏃‍♀️ La modélisation mathématique, de la physique au sport | ENS-PSL

Solving problems by adding a dimension

Résoudre des problèmes en ajoutant une dimension

Bounded Differences Inequality (aka Azuma-Hoeffding Inequality)

Inégalité des différences bornées (aussi appelée inégalité d'Azuma-Hoeffding)

On These Math Problems, Smarter People Do Worse

Sur ces problèmes de maths, les personnes plus intelligentes font pire

Why Our Counting System is Biased

Pourquoi notre système de comptage est biaisé

Hypothesis Testing

Test d'hypothèses

The long view

La vision à long terme

Why three ways of doing mathematics became rival philosophies

Pourquoi trois façons de faire des mathématiques sont devenues des philosophies rivales

The continuing challenge of Poincare, Hilbert, and Gödel

Le défi continu de Poincare, Hilbert et Gödel

Representations of GL2

Représentations de GL2

Geometrized arithmetic and the unity of mathematics

Arithmétique géométrisée et l'unité des mathématiques

Undefinability and Absolute Undefinability in Arithmetic

Indéfinissabilité et indéfinissabilité absolue en arithmétique

Le système ELO, des échecs à l'e-sport

Vignette 21 - Continuous time Markov chains

Vignette 21 - Chaînes de Markov en temps continu

Milestones and Small Steps in Model Theory of Arithmetic

Jalons et petits pas dans la théorie des modèles de l'arithmétique

Mordell-Weil theorem

Théorème de Mordell-Weil

6.8210 Spring 2024 Lecture 19: Stochastic dynamics

6.8210 Printemps 2024 Cours 19 : Dynamique stochastique

6.8210 Spring 2024 Lecture 17: Mixed-discrete (combinatorial) and continuous optimization

6.8210 Printemps 2024 Cours 17 : Optimisation mixte discrète (combinatoire) et continue

Reverse mathematics over a weak base theory

Mathématiques inverses sur une théorie de base faible

Selberg trace formula

Formule des traces de Selberg

Riemann mapping theorem

Théorème de l'application de Riemann

Vinberg lecture part 4. Automorphic forms

Cours de Vinberg partie 4. Formes automorphes

The Oldest Unsolved Problem in Math

Le plus ancien problème non résolu en mathématiques

Vinberg lecture part 3. Kac-Moody algebras

Cours de Vinberg partie 3. Algèbres de Kac-Moody

6.8210 Spring 2024 Lecture 4: Dynamic Programming II

6.8210 Printemps 2024 Cours 4 : Programmation dynamique II

Vinberg lecture part 2. The reflection group of II25,1

Conférence Vinberg, partie 2. Le groupe de réflexion de II25,1

Vinberg lecture part 1.Vinberg's algorithm

Conférence de Vinberg partie 1. Algorithme de Vinberg

Elliptic functions lecture 4. The sigma function

Fonctions elliptiques conférence 4. La fonction sigma

Borwein integrals

Intégrales de Borwein

Elliptic functions lecture 3. Jacobi functions

Cours sur les fonctions elliptiques 3 : Les fonctions de Jacobi

Elliptic functions lecture 2

Fonctions elliptiques, cours 2

Elliptic functions 1. Weierstrass function.

Fonctions elliptiques 1. Fonction de Weierstrass

How to Use Math To Beat Roulette - The Martingale Strategy

Comment utiliser les mathématiques pour gagner à la roulette – La stratégie Martingale

What are consistency proofs and what should they be

Que sont les preuves de cohérence et que devraient-elles être ?

How a Hobbyist Created An Infinite Pattern That Never Repeats

Comment un amateur a créé un motif infini qui ne se répète jamais

Reverse Mathematics: classifying theorems

Mathématiques inverses : classification des théorèmes

This game theory problem will change the way you see the world

Ce problème de théorie des jeux changera la façon dont vous voyez le monde

Chebyshev inequality (Eitan)

Inégalité de Chebyshev (Eitan)

The SAT Question Everyone Got Wrong

La question du SAT que tout le monde a ratée