F

Forcing

Tool / Product

Set-theoretic technique for constructing models; central to Cohen's independence results and multiverse projects.

Mentioned in 1 video

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

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

Lex Fridman

Set-theoretic technique for constructing models; central to Cohen's independence results and multiverse projects.