Matematico e logico matematico statunitense (Long Branch, New Jersey, 1934 - Stanford 2007), professore di matematica a Stanford dal 1964. Il suo più importante risultato (teorema di C., 1963) è la dimostrazione dell'indipendenza degli assiomi della teoria degli insiemi dall'ipotesi cantoriana del continuo ("non esistono cardinalità intermedie tra quella del numerabile e quella del continuo"); questa dimostrazione è stata realizzata col "metodo del forcing" ideato dallo stesso Cohen. Altre sue ricerche riguardano i gruppi topologici e l'analisi armonica. Fields Medal 1966. Tra le sue opere: The indipendence of the continuum hypothesis (1963); Set theory and the continuum hypothesis (1966).