Cohen's independence result

Infinity, Paradoxes, Gödel Incompleteness & the Mathematical Multiverse | Lex Fridman Podcast #488

Lex Fridman

Paul Cohen's demonstration that CH is independent of ZFC via forcing models.