David Hilbert

Math's Fundamental Flaw

Veritasium

Leading formalist who sought rigorous foundations for mathematics.