Mathématiques

Lecture 3: Casework and Strong Induction

Cours 3 : Étude de cas et intégration réussie

Lecture 2: Contradiction and Induction

Leçon 2 : Contradiction et induction

Lecture 1: Predicates, Sets, and Proofs

Leçon 1 : Prédicats, ensembles et preuves

What is Formalisation?

Qu'est-ce que la formalisation ?

The Obviously True Theorem No One Can Prove

Le Théorème Évidemment Vrai que Personne ne Peut Prouver

Tackling the Biggest Unsolved Problems in Math with 3Blue1Brown

S'attaquer aux plus grands problèmes mathématiques non résolus avec 3Blue1Brown

Optimising our world with mathematical models - with Jane Hillston

Optimiser notre monde avec des modèles mathématiques - avec Jane Hillston

The Most Controversial Idea In Math

L'idée la plus controversée en mathématiques

On set theoretic reflection principles

Sur les principes de réflexion en théorie des ensembles

F. Astronomie Fleurance 2024 : Combien y a-t-il d’infinis ?- par André DELEDICQ

The Four Fundamental Subspaces and Least Squares

Les quatre sous-espaces fondamentaux et les moindres carrés

Elimination and Factorization A = CR

Élimination et factorisation A = CR

The art and science of uncertainty - with David Spiegelhalter

L'art et la science de l'incertitude - avec David Spiegelhalter

F. Astronomie Fleurance 2024: Archimède et les très grands nombres- par Etienne GHYS

Linear Algebra for Machine Learning

Algèbre linéaire pour l'apprentissage automatique

The Logic of Quantified Statements (Predicate Logic)

La logique des énoncés quantifiés (logique des prédicats)

This open problem taught me what topology is

Ce problème ouvert m'a appris ce qu'est la topologie

La distribution des nombres premiers 3

La distribution des nombres premiers 2

La distribution des nombres premiers 1

Noyau de la chaleur fonction zheta de Riemann

Talk by Ali Kavis (UT Austin)

Conférence par Ali Kavis (UT Austin)

Proof, truth and verification

Preuve, vérité et vérification

The Power of Symmetry

🏃‍♀️ 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