Mathematics

Lecture 3: Casework and Strong Induction

Lecture 2: Contradiction and Induction

Lecture 1: Predicates, Sets, and Proofs

What is Formalisation?

The Obviously True Theorem No One Can Prove

Tackling the Biggest Unsolved Problems in Math with 3Blue1Brown

Optimising our world with mathematical models - with Jane Hillston

The Most Controversial Idea In Math

On set theoretic reflection principles

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

F. Astronomy Fleurance 2024: How many infinities are there? - by André DELEDICQ

The Four Fundamental Subspaces and Least Squares

Elimination and Factorization A = CR

The art and science of uncertainty - with David Spiegelhalter

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

F. Astronomie Fleurance 2024: Archimedes and very large numbers - by Etienne GHYS

Linear Algebra for Machine Learning

The Logic of Quantified Statements (Predicate Logic)

This open problem taught me what topology is

La distribution des nombres premiers 3

The distribution of prime numbers 3

La distribution des nombres premiers 2

The distribution of prime numbers 2

La distribution des nombres premiers 1

The distribution of prime numbers 1

Noyau de la chaleur fonction zheta de Riemann

Nucleus of the heat function zheta of Riemann

Talk by Ali Kavis (UT Austin)

Proof, truth and verification

The Power of Symmetry

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

🏃‍♀️ Mathematical modeling, from physics to sport | ENS-PSL

Solving problems by adding a dimension

Bounded Differences Inequality (aka Azuma-Hoeffding Inequality)

On These Math Problems, Smarter People Do Worse

Why Our Counting System is Biased

Hypothesis Testing

The long view

Why three ways of doing mathematics became rival philosophies

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

Representations of GL2

Geometrized arithmetic and the unity of mathematics

Undefinability and Absolute Undefinability in Arithmetic

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

The ELO system, from chess to e-sport

Vignette 21 - Continuous time Markov chains

Milestones and Small Steps in Model Theory of Arithmetic

Mordell-Weil theorem