Mathematician who proved the independence of the Continuum Hypothesis via forcing.
Mentioned in 1 video
Lex Fridman