Cohen fue reconocido por inventar una técnica matemática llamada "forcing" y usarla para demostrar en 1963 que ni la hipótesis del continuo (HC) ni el axioma de elección (AC) pueden probarse a partir de los axiomas estándar en teoría de conjuntos, los axiomas de Zermelo-Fraenkel (ZF).