ResolvedMath Physics·2025
Hilbert's Sixth Problem
Rigorously derived Euler and Navier-Stokes equations from hard-sphere particle dynamics.
Hilbert's 6th problem (1900) asks for the axiomatization of physics. Deng, Hani, and Ma rigorously derived the fundamental equations of fluid mechanics — compressible Euler and incompressible Navier-Stokes-Fourier — from Newtonian particle dynamics via the Boltzmann-Grad limit. A 125-year challenge.
Summary
Hilbert's 6th problem (1900) asks for the axiomatization of physics. Deng, Hani, and Ma rigorously derived the fundamental equations of fluid mechanics — compressible Euler and incompressible Navier-Stokes-Fourier — from Newtonian particle dynamics via the Boltzmann-Grad limit. A 125-year challenge.