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…

This is an interactive string simulator that uses basic Fourier math to generate audio & visuals according to where on the string you pluck from. The audio math is done on the GPU in WebGL

Einstein turned the world on its head in November of 1919, when data collected during a solar eclipse matched the predictions of his Theory of General Relativity. But Einstein’s path to discovering his theory traces back much further, to when he was 12 years…

Computer Science/Discrete Mathematics Seminar I

Topic: Additive Combinatorics Without Groups
Speaker: Huy Tuan Pham
Affiliation: Stanford University
Date: April 22, 2024

Subsets A of an abelian group with a small doubling |A+A|/|A| have been extensively…

Slides for this talk: https://drive.google.com/file/d/1PromxQ9hL4k5MrQMOsB1_nRpGS8efQmV/view?usp=sharing


Terence Tao (UCLA) 2017-06-16
Finite time blowup constructions for supercritical equations

Abstract : Many basic PDE of physical interest, such as…

We discuss how the concept of equality is used by mathematicians (including Grothendieck), and what effect this has when trying to formalise mathematics. We challenge various reasonable-sounding...