Reverse mathematics is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. Its defining method can briefly be described as "going backwards from the theorems to the axioms", in contrast to the…

at Napoleonic hall of Brera palace

After a few more examples of counting problems, Lecture 2 (of six we are showing) turns to the general axiomatic setup of probability theory, which gives rise to the notion of a probability space.

You can watch many other student lectures via our main Student…

The Abel Prize is awarded by The Norwegian Academy of Science and Letters, on behalf of the Ministry of Education. The President at The Academy, Lise Øvreås, will announce The Abel Prize laureate 2024.

Who will be this year's recipient(s) of The Abel Prize?…

Lecture by professor Michel Talagrand, recipient of the 2022 Stefan Banach Medal of the Polish Academy of Sciences, 8th September 2022, Warsaw.

Resources for book introduction to optimization on smooth manifolds

The Mandelbrot set is a special shape, with a fractal outline. Use a computer to zoom in on the set’s jagged boundary and no matter how deep you explore, you’ll always see near-copies of the original set — an infinite, dizzying cascade of self-similarity…

Solve national-level math challenges using artificial intelligence models

Quick math-personality quiz: What is seven-and-one-fourth minus three-fourths, expressed as a mixed number (a whole number plus a proper fraction)? What matters isn’t what answer you get but how yo…

human-face shaped display of data

Topologists prove two new results that bring some order to the confoundingly difficult study of four-dimensional shapes.

Kevin Buzzard discusses the project to prove Fermat's Last Theorem in Lean.

Introduction
Fermat's Last Theorem (FLT) is the claim that some abstract equation has no solutions in positive integers.
Th

Name: James Simons
Title: Origin of Chern-Simons
Date: 2011-07-28 @ 10:00 AM

For more videos from the Simons Center for Geometry and Physics, please visit http://scgp.stonybrook.edu/video

An online interactive introduction to the study of complex analysis.

Boost this channel to help it unlock additional features.

Computer Science/Discrete Mathematics Seminar II

Topic: A Brief Tour of Proof Complexity: Lower Bounds and Open Problems
Speaker: Toniann Pitassi
Affiliation: University of Toronto; Visiting Professor, School of Mathematics
Date: March 19, 2019

For more…

I read recently on this site that the growth mindset seems not to be real. I did not know that (I admit that I don't follow research into learning as closely as I would like). Can I turn that expe...

Mathematicians are celebrating a 1000-page proof of the geometric Langlands conjecture, a problem so complicated that even other mathematicians struggle to understand it. Despite that, it is hoped the proof can provide key insights across maths and physics

This video is an introduction to geometric algebra, a severely underrated mathematical language that can be used to describe almost all of physics. This video was made as a presentation for my lab that I work in. While I had the people there foremost in…

There has been a remarkable breakthrough towards the Riemann hypothesis (though still very far from fully resolving this conjecture) by Guth and Maynard making the first substantial improvement to a classical 1940 bound of Ingham regarding the zeroes of the…